Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Merge branch 'development' into alrd
Working for Infinite communications example, beo device discovery (simple), beo streaming, beo cosimulation, simple register.
Some improvements to the progress view of the model checker. The user can now cancel the analysis and the underlying FORMULA process is re-started.
Improvements to formula script generation to handle infinite communications, dphils, bit register and B&O examples. Improvement to graph builder.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Merge branch 'development' into acf
Small changes in ActionDefinition conversion.
Merge branch 'development' into alrd
Merge branch 'acf' into alrd
Refactoring to improve formula script generation.
Merge remote-tracking branch 'origin/acf' into alrd
New changes to include OR expressions in guards and conditional statements.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
Changes requested by fault tolerance plugin.
Merge remote-tracking branch 'origin/development' into alrd
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Modified code generation to fit CML grammar.