fix meentype helper for TypeWithUnit
refactorings in the concepts generator
test for bit-field outside of struct
fixing the use of InitExpression (only from within IDataflowAssignment); added tests
fixing the type of testsExecutionExpression; added a new solution for type-system tests for languages from com.mbeddr.core-extended
added typesystems checks for referencing/dereferencing literals and NullExpression; added tests that reflect these checks
added -D__CYGWIN__ to the arguments list of cbmc
a new action for pushing editor hints and hence switch projection modes
added module for TSC
added dataflow analyses for dead code and missing return statements
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed dependencies
deleted old actions
extracted a runtime solution
Merge branch 'master' of github.com:mbeddr/mbeddr.core
small changes
Versions of MPS added
fixed utils tests
Merge remote-tracking branch 'origin/master'
fixed things