initial commit to typesystem tracing
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge branch 'master' of github.com:mbeddr/mbeddr.core
loading model via module+model ID
using another model loader inside analyses test
loading model by string-based name
added debug traces in analyses tests
loading model via ID with persistence provider
regen. analyses build scripts
dummy model in analyses.dectab
analyses' test models weren't loaded by MPS
small cleaning
Merge remote-tracking branch 'origin/master'
fixed yices tests
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Updated notation for verification stuff
Merge branch 'master' of github.com:mbeddr/mbeddr.core
more syntax improvements