Small update to C-100-Requirements, C-110-ProductLineVariability added.
- added analyses.core and analyses.components devkits to the cbmc folder
- small fixes of the lantest
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
fixing the build
added a devkit for commenting
Merge branch 'master' of github.com:mbeddr/mbeddr.core
build.xml in the submodules are now ignored, because they caused a dirty working copy after running the mbeddr build and prevented the update of the submodules
merged
Merge branch 'pzenden-tutorialUpdate'
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed a bug in the search result viewer
updated demo favourites list
removed the optimizations for GDE; not necessary anymore in 3.1RC2
removed useless empty req in tutorial.
added James' script
 Merge branch 'master' of github.com:mbeddr/mbeddr.core