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.
made tau transitions more readable and improved assert message when result file is missing in the interpreter
fixes #235 setting the rightchild to stop. It is unclear to what extend this might have side effects but non have been discovered by the tests present in the interpreter.
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