kill empty type
Merge pull request #10 from densh/topic/kill-empty-type

kill empty type
upgrades the build to use 2.11.0-RC3
Merge pull request #11 from xeno-by/master

upgrades the build to use 2.11.0-RC3
consistently updates scala version to RC3, enables openjdk8 build
looks like openjdk8 is no longer supported
Merge pull request #12 from xeno-by/master

consistently updates scala version to RC3, enables openjdk8 build
heartbleed update
Merge pull request #13 from xeno-by/master

heartbleed update
another shot at heartbleed update
Merge pull request #14 from xeno-by/master

another shot at heartbleed update
okay this should do the trick
palladium hackathon 15 Apr 2014
Merge pull request #15 from xeno-by/master

palladium hackathon 15 Apr 2014
Hackathon Apr 15, 2014
Merge pull request #16 from densh/hackathon/15-apr-2014

Hackathon Apr 15, 2014
refine stmt
simple type
existential stmt
stmt object