more details about robustness properties checked by CBMC
minor layout improvements for presenting analyses results
substantial improvement in the projection of counterexamples
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the build
fixed the build
deleted analyses config in order to make the tutorial run again
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
added language engaged on generation to make sensor_analyses generate without errors
huge performance improvement
Merge branch 'master' into refactor/scrollhead
updated build script
added hierarchical structure as combination of ITreeViewable and IBreadcrumb