fixed a small bug for Bastian
Merge branch 'master' of github.com:mbeddr/mbeddr.core
added support for multiple incomplete parens editing
optimized analyses.cbmc imports
Merge remote-tracking branch 'origin/master'
fixed build scripts (hopefully)
fixed analyses build scripts
removed unnecessary depencency from build script
adding language testing
fixing the analyses tests
fixing some tests
fixed a bad comment
fixed a bug in the task demo generator
added generator for extension point hook to interpreter language; changed InterpreterCreator to search only local Java Class scope
updated build script
fixed InlineInterpreterEvaluation to use extension point interpreter discovery
making counterexample lifters more generic
Merge remote-tracking branch 'origin/master'
fixed interpreter performance tests
fixing the tests