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
small changes
Versions of MPS added
fixed utils tests
Merge remote-tracking branch 'origin/master'
fixed things
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed test
fixed closures.
fixing the type-system check for accessing the low/high register half
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixes in the typesystem rules for the pre-/post- increment unary operators
fixes of the AND-list expression
fixes in the typesystem rules for the volatile-cast