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
resolved merge conflicts
fixed a bug leading to wron analysis results of the value Prop analysis when analysing structs