Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
updated s2c translator to create a output folder and write classes, global types and the state machine in seperate files
added s2c to cmlc
possible fix for #275 i'm unable to check this since it doesnt happen on windows. @pglvdm please check when build
Fixed the interlevel transition, which can now convert all the examples. The insiel example still has one errors, which is the parameter x I have added for debugging. We need to put the state machine inside a block, but artisan does not allow dropping the state machine in a block.
Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branches 'origin/kel/s2c', 'origin/kel/base' and 'origin/alrd' into test
Update bundled examples to internal project svn r7057
Bump to version 0.3.4 for release
Bump to version 0.3.5-SNAPSHOT for development
Improvements to expression evaluation for model checking purposes. Improvements to type handling.