Merge remote-tracking branch 'origin/newpog' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Some small fixes to TP
Optimizations in formula script to improve performance on Insiel's case study. Merge with origin/development.
Merge remote-tracking branch 'origin/sdf' into development
Merge remote-tracking branch 'origin/kel/base' into development
Merge remote-tracking branch 'origin/development' into alrd
Create README.md
Minor formatting changes.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Merge with origin/development. Included more supported constructors for processes. Small fixes for FT plugin.
Merge remote-tracking branch 'origin/acf' into alrd
Added more supported constructors for processes.
Merge commit '773b2e381fa672ca979655993ebecbd7f670742e' into development
Remove static init of assistant factories.
Merged with origin/development and added features do handle real numbers in the model checker.
Merge remote-tracking branch 'origin/acf' into alrd
Removed some logging messages.
Remove the `Chaos` basic action after a discussion with JCPWoodcock at
the June convergence workshop.
Kill an old (outdated) directory of the CML0 grammar in MediaWiki format