verification of variability
improvement in analyses of variability
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the build
reviewed phys units
Merge remote-tracking branch 'origin/master'
Richtext: Selection and navigation bugfixes
updates units docs based on bernd's comments
fixing the one-click analysis of state-machines.
fixing the build
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core