fixed Kolja's FP bug
big improvements in lifting the counterexample and major rewrites of testing
Merge remote-tracking branch 'origin/master'
better names for the synthetic program elements
temporary debug help to see what happens on the server
making the order of VCs explicit to the user
improvements in harness
added analyses to the tutorial
flag for displaying or not additional assumptions for nondeterministic assignments
debugging component instances was broken after a change in the component generator
fixed #647 in Everything generator
updated .gitignore for class files in ant-task workspace
deleted compiled class files
added analyses to the tutorial
Merge remote-tracking branch 'origin/master'
regenerated anaysis' plugin build scripts
Merge branch 'master' of github.com:mbeddr/mbeddr.core
regenerated cc's plugin build scripts
added an additional constraint in the document config
Merge branch 'master' of github.com:mbeddr/mbeddr.core