migrated test-data
small fix
disabled the choice of SatAbs
added float-overflow-check
integrated the --refinement option of CBMC
tweaked the staticEvalExample
Merge remote-tracking branch 'origin/master'
improvement in robustness analyses
finished the concepts section
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
moved code
Merge remote-tracking branch 'origin/master'
added a chapter for Concepts.
Merge branch 'master' of github.com:mbeddr/mbeddr.core