improved editing experience for req summary
Merge branch 'master' of github.com:mbeddr/mbeddr.core
merged
check for reexport of modules containing interfaces for provided ports
fixed transformation for val expression
fixed the build
Implemented saving and loading of cbmc analysis results
Merge remote-tracking branch 'origin/master'
smaller changes in the data flow analyses
resolved merge comflicts
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
TODOs are blue again
merged
fixed all the broken refs and other small thigns
traces can now also be set from within documentation comments
started better comments for BL
migrated instance of BL comments
reasonable documentation comments in base language
small changes
small changes