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 'acf' into alrd