small fixes in analysis of DecTab
added sliceFormula to the preferences page of CProver
make the use of sliceFormula in one-click core-analyses consistent
draft of the decision tables checks is ready
improving the menus consistency for state-machines and decision tables verification
new content in the tutorial documentation - a first draft of decision tables and statemachines robustness verification is now available
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the build script
Merge remote-tracking branch 'origin/master'