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
Divide basic tests into contexts and POs.
Override Overtur's Op Context processing.
Pog prefix to visitor.
Implicit Op Context only collects frame variables.
Parse error now leads to test failure rather than stack trace dump.
Add tests for Ctxt Collection of Implicit Ops.
Sat PO now takes frames into account (although rd and wr are treated equally).
Add console and errors to pog perspective.
Rename test so it runs with maven.
Cope with more Overture renames.
Merge branch 'development' into acf
Small changes in ActionDefinition conversion.