papers for bytecode verification added
Merge remote-tracking branch 'origin/master' into typeAnalysis
Literal Type Analysis
Merge branch 'master' of https://github.com/tudelft-mdsd/spoofax-jasmin into typeAnalysis
First attempt at stack-size checks. Really more a stack-limit calculation that fails when the current stack size goes below 0. Unfinished, and the method needs work..
changed module prefixes because of windows specific build error. Hope this helps
project builds again
Basic setup for setting properties of instructions
Made a Type kind of term
Example of some static push-type info
Some of the pop-type files. Others are pending
Merge branch 'typeAnalysis' of https://github.com/tudelft-mdsd/spoofax-jasmin into typeAnalysis
incorrect stack sizes fixed
More push types
The rest of the push-types
Added initial next-instr property for control-flow instructions.
Last three files added (WITH TODOs)
Modified gitignore to ignore generated files.
Desugaring instructions to uniquely named NamedInstructions
Removed unique naming of instructions again