small fix
improving conceptswitch
new tests
minor improvements
small improvement of debugging of lifters
small improvement in lifting of nodes
renaming the "__failures" variable into "___failures" such that by convention it is ignored while building the lifted CBMC counterexample
small logging improvements
improving the counterexamples lifting
fixing the build
moved to the new tables implementation
some features of the new tables are now used (header groups, vertical/horizontal alignments)
- added assert.h to stdimports of files containing asserts
- adding calls originating from block-expressions to be noise in function-calls lifter core
Merge branch 'master' into markusCommentingChanges
moved sl-all plugins to build/artifacts folder in platform build
added zips to sl-all build
fixed dependency error
next try on fixing dependencies
next try on fixing dependencies
next try on fixing dependencies