Enable submit PO commands when only when available.
Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Corrected error on Type invariant translations in TP Visitor
Merge commit '81e4aed642d7b170f20fb19582b1c46e33fc6225' into rjp
Merge remote-tracking branch 'origin/rjp' into sdf
Added example of Insiel case study.
Updated example of Insiel case study for verification of fault
tolerance.
Added CSP version to check integrity of the model-checker.
Updated fault tolerance examples.
Added case to add channels when left or right expression is of type
MCAIdentifierVarsetExpression.
Added small optimisation of fault-tolerance verification.
The Enterprise Architect project file containing the diagrams of the interpreter
The generalised parallelism begin transtion allowed time to pass, this is now fixed so it does not.
Added small optimisation of fault-tolerance verification.
corrected som daigrams
Merge branch 'origin/akm'
Cleanup and refactoring along with an update of the interpreter design doc
Updates diagrams
Shift to depending on Overture from maven central repos, and clean up
the root pom.xml a bit too.