small fixes.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
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
implementing the assert statement for CBMC
initial import of the verified version of the pacemaker
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
initial import of the verified version of the pacemaker
Missing header folder.
Merge branch 'master' into updatingSpawner