fix meentype helper for TypeWithUnit
added the possibility to inhibit counterexamples projection
wiring the components dynamically - now the code generates successfully
improving the counterexamples lifting of statemachines
small fixes
small fix
small fix of the textgen by making new-lines explicit
cleanup on the datalogger stuff.
added a missing return.
fixed 1021
fxied 1023
Merge branch 'master' of github.com:mbeddr/mbeddr.core
reverted tsc change
Merge remote-tracking branch 'origin/master'
fixing the build
small fix
updated MPS version to 3.1.1
fixed build server.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
a few changes.