Small update to C-100-Requirements, C-110-ProductLineVariability added.
my commenting changes
Merge branch 'master' into markusCommentingChanges
Merge branch 'master' into markusCommentingChanges
Merge branch 'master' into markusCommentingChanges
added returns.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
- added analyses.core and analyses.components devkits to the cbmc folder
- small fixes of the lantest
time thingy is back to original.
finished debugger documentation
Merge branch 'master' of github.com:mbeddr/mbeddr.core
added relative info too
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge branch 'master' into markusCommentingChanges
updated build script
cleaning-up and fixing the code
removing magic strings from raw noise filtering of CBMC counterexamples
small fix
improving the handling of the initialization noise from CBMC raw counterexamples
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core