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
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.
Revert "reverted tsc change"

This reverts commit fe1d1257808c9d0d1d0bc756e68aa7361d010ab6.
Revert "Revert "reverted tsc change""

This reverts commit aa6218afd6cb43069a15c2fe3c8b2d7245b40570.
fixed 1053
small change.
fixed 1055
commented out the struct init assertions, relative to https://accent.myjetbrains.com/youtrack/issue/accent-1060
we explicitly save the model and module now
added TSC for tutorial