Small changes in parameterised processes.
Translation of Insiel's case study working.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
New changes in the model checker visitor.
Model checker dealing with minimal example of Insiel. Changed the output file name of Formula script.
Merge remote-tracking branch 'origin/development' into alrd
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Model checker handling Insiel's case study. More changes in the way the plugin generates the FORMULA and graph files.
Merge remote-tracking branch 'origin/acf' into alrd
Final adjustments in Insiel's case study. Modelchecker analysing and models put into SVN as well.
Merge commit 'e527ddf5d1a81b283b213c408b9ea288ca599f9c' into development
Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
refactoring and code cleanup
more refactoring
more refactoring
Removed the abstractLabelledTransion class since it really wasnt used
More cleanup and refactoring
playing around with a filter method on the CmlTransitionSet which takes a filter interface so you can do general stuff without adding any specific methods
Corrected error on Type invariant translations in TP Visitor