fixed mock components
Merge branch 'master' of github.com:mbeddr/mbeddr.core
SubComponents callable from test cases
- code cleaning
Merge remote-tracking branch 'origin/master'
making local tests green again
Merge branch 'master' of github.com:mbeddr/mbeddr.core
so far we lost const and volatile in text gen. fixed now
Merge remote-tracking branch 'origin/master'
fixed paste action for component fields
const fields are now transformed into global variables
name of the executable is now the same as the name of the minimal test
fixed ts tests
some code cleaning for lifting counterexamples
Merge remote-tracking branch 'origin/master'
refactored pre/post and protocols into seperate generator
Merge remote-tracking branch 'origin/master'
fixed ex tests
fixed executable tests
fixed build script