Updates in dependencies visitor of the model checker.
Created an initial version of the Maude-based refinement engine. We can now check for applicable laws via Maude and apply those refinements. Much more work to be done here though.
Added FT plugin example.
Improvements to handle process and actions with parameters.
Added example with basic concepts of fault-tolerance verification as
shown in D33.3.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
Fixed exception handling on the model-checker integration.
Clean up cmlc option descriptions a bit
related to #282 added delayed contexts to the child behaiours instead of the root node of []
Added some corrections to Maude output and support for guarded actions to the visitor.
Adjustments to parameters manipulation. working for BEOAVDeviceDiscovery.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
removed unused imports
added implementation for action: alphabetised parallel and its replicated version
change test case to display interpreter state when failing
Adjustments to formula script generation.
removed unessary context
Small fixes to formula script generation.
Merge remote-tracking branch 'origin/kel/base' into jwc/base
close #268 fixed this again. It was broken due to a fix for #282

#268 should be manually check to confirm that the test result is correct (issue-268-pos.result) @JeremyBryans

close #282 this should be done now