- added assert.h to stdimports of files containing asserts
- adding calls originating from block-expressions to be noise in function-calls lifter core
added test.analyses.base to the build
new tests for nodes tracing; improved debugging utilities
added module coverage to the concepts coverage assessment
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the build script
fix generator error with inline functions
Merge branch 'master' of github.com:mbeddr/mbeddr.core
small fix
Merge remote-tracking branch 'origin/master'
added the dummy test model
started writing debugger guide
deleted the language d.s.m.tables.styles
different fixes in lifters of the counterexample
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the tests