a lifter for assignments for components implemented using nodes tracing (and not naming conventions)
lifting closures
improved lifter for loops
improving the concept-switch generator
added if, else-if and switch to counterexample lifting test-cases
test-cases for gotos, global constants and macros
fixing the unary pre-/post modification expressions to be with side effects (NOT side effects free)
update to rc2
major improvement of advanced verification conditions
removing SM-cex tests that fail; adding robustness-config to testdata;
blutil: dataflow for log statement
removing componentes-cex tests that fail; fixing SM tests
added type-system tests
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
different improvements in editors and typesystem rules
fixing the tests
update to rc3
fix download xml
models are not rebuild before execution
Usability: A primitive type can now be replaced by typing over the alias. You can for example replace an uint8 with an uint16 by deleting the 8 an typing a 16. Before, you had to delete the type and write the whole name of the new type.