Assertion is not checked
added sat4j-based analysis of feature models
added tests for sat4j-based analyses
Merge remote-tracking branch 'origin/master'
Querylist: If an inline editor is specified for the list elements, the original concept editor can be embedded with the new cell "default editor".
improvement to the live querylists
fixes
further variability analyses tests
check the instantiability of individual features; add new tests
Merge remote-tracking branch 'origin/master'
small fix
checks for consistency of programs in presence of variability, improvements in FM checks and new tests
improved error handling for failed FM analyses
fixed mps build number for rcp build
drastic improvement in the module consistency analysis
Merge remote-tracking branch 'origin/master'
improvements in displaying the results
Deleted vcs problem
sm lifting fix
introduced language concept for retrieving mangeledName of nodes that don't implement IModuleContent