fixed small bug
Merge branch 'master' of github.com:mbeddr/mbeddr.core
different CBMC fixes and adding test data for protocol checking
Merge remote-tracking branch 'origin/master'
added junit tests for protocol test data, example created to show C code generation error in case one component extends another.
added junit tests for protocol test data, example created to show C code generation error in case one component extends another.
deleting the problematic protocol definition
fixed a bug for Dan
fixed a bug for Dan
fixed #532
removed the labels in printf
small changes
adding external headers for NFM
added name mangling for enum literals
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed 535
extracted cmbc test code into separate solution
Merge branch 'master' of github.com:mbeddr/mbeddr.core
added missing TestInfo in cmbc protocol test
improved layout of editor for init expressions