removing the yices and nusmv from analyses, builds and examples
add mps.ide.devkit to analyses tests
debugging the tests build - taking out the variability tests
debugging the tests build - taking out the variability tests
debugging the tests build
trying to fix the tests
started fixing debugger's state machine tests
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed generation problem of Stephan
Merge remote-tracking branch 'origin/master'
fixed build script
added variability tests
Merge remote-tracking branch 'origin/master'
optiized imports and updated build script
removed ide devkit dependency
imporoved error message
Merge remote-tracking branch 'origin/master'