small fixes.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
moved 'com.mbeddr.core.debugging' from 'solutions' to 'tests'
debugger.test's build.xml didn't have library entries for the other mbeddr projects
users of the debugger testing DSL can now speciy how often a stepping commadn should be executed
deleted migration script for init. times attribute in IStepCommand's
adding implies expression
requirements exporter to HTML
more work in the requirements
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed bug
big improvement in the UI of the CBMC counterexample (adding a text filter + resizing the pane)
Merge remote-tracking branch 'origin/master'
small fix
initial import of the verified version of the pacemaker
added debugger tests for ForStatement
added debugger tests for WhileStatement
added debugger tests for DoWhile
added debugger tests for external modules
added debugger tests for global variables