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.
small fix
fixed dependencies
adding working directory configuration when CBMC analyses are run
Merge remote-tracking branch 'origin/master'
added +/- to expand / collapse requirements
Merge branch 'master' of github.com:mbeddr/mbeddr.core
improved collapsing behavior
removed some operators for enums
Added phase trigger for stub components
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixing the progress bar for div-by-zero and assertion checks, creating test facade and jUnit test for Analysis Configuration
fixing freezing bug
merged master into dataflow