small improvements in lifting assignments for core
tests are green
major refactorings to better modularize the CBMC analyses
separating the pluginSolutions for components and statemachines analyses
refactoring the linking between CProverAnalysisBase and concrete analyzers
cleaning up the "loadPersistentResults"
fixing the analyses build
big refactorings in analyses
small fix for the build
major modularization of CBMC analyses - now analyzing core, components or statemachines is independent of each other
CBMC analyses are now much more modular
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
added icons
using the extension points from MPS
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the build