Small update to C-100-Requirements, C-110-ProductLineVariability added.
fixing some tests
merged
Merge branch 'pzenden-tutorialUpdate'
Merge branch 'master' of github.com:mbeddr/mbeddr.core
cleaning-up
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixed a bug in the search result viewer
updated demo favourites list
removed the optimizations for GDE; not necessary anymore in 3.1RC2
removed useless empty req in tutorial.
added James' script
 Merge branch 'master' of github.com:mbeddr/mbeddr.core
...
better editor for states in the table view
clean-up and new tests for literals lifting in counterexamples
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
a lifter for assignments for components implemented using nodes tracing (and not naming conventions)
lifting closures
improved lifter for loops