First adjustments to graph builder to handle time constructs.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Removing pog as a required bundle.
Changes in the graph builder to handle tock events.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Implemented CML files creation to activate the model-checker.
Updated messages file and files management job.
Merge remote-tracking branch 'origin/development' into alrd
Small modification in cml examples.
Updated process selection.
Getting some issues sorted on fault-tolerance plugin.
Updated template for fault tolerance file generation.
Improvements to graph builder.
placeholder for Isabelle reserved words message
Minor TP tidy up.
Changes towards analysis of the first version of insiel's case study.
Merge remote-tracking branch 'origin/acf' into alrd
Merged with origin/development. Fized small problems in graph builder.
Added support for addition expressions