JRE: Added tests for simple.
JRE: Added tests for simple.
JRE: Added tests for simple.
JRE: Added tests for simple.
JRE: Added tests for simple.
excluding exceptions_07.simple from tests
Fixed error messages that were longer than 80 chars
Merge branch 'master' of https://github.com/kframework/k
change GlobalSetting name for java backend from matchingLogic to javaBackend
fix some typos, some reformatting
added new builtin
update to int32.k
replace array copying with Arrays.copyOfRange
remove redundant throws declaration
move kpp main actions to else branch so that no ArrayOutOfBounds exceptions thrown after help msg printed
added builtin support for set membership check
Merge pull request #42 from osa1/refactor

fix some types, minor refactoring
String2Float hooked and Gappa prove added
Merge branch 'master' of https://github.com/kframework/k
First proof using Gappa.