- 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