some renamings - hope that the tests run now
added devkit for statemachine analyses
added CBMC specific configuration to components
Merge remote-tracking branch 'origin/master'
new config attributes for CBMC
small fix
fixed two small bugs
Merge branch 'master' of github.com:mbeddr/mbeddr.core
added CBMC analyses for the nightly build
Merge remote-tracking branch 'origin/master'
added analysis delay and save results to html
improved the HTML-based saving of analysis results
CBMC support for counterexamples with state machines + reachability analyses (states and transitions) based on CBMC
added dependency to statemachine.behaviour - hopefully teh build will run now through
small change to fix the build
hope that the nightly build is fixed now
hope again that the build works
yet another tryy to make the build work
yet another tryy to make the build work
fixed a bug in protocol state machines