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.
Improvements to handle process and actions with parameters.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
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
improved formatting of error results in the test of the interpreter + added expected status
Added a configuration view for Maude. Made the refinement law detail view update with law text.
Merge remote-tracking branches 'origin/kel/base' and 'origin/acf' into jwc/base
Added support for processing parametric refinement laws in Maude