Merge remote-tracking branch 'origin/test' into akm
Translation and analysis of Bit register working. Values needed to be restricted due to performance issues.
* changed the cml parser to add typequalifier to the name on a
  AActionDefinition. This was nesacasry to make i fit into overture.
4 skipped and 10 failures
3 skipped 8 failures
1 skipped and 6 failures
Merge branch 'test' of ssh://git.code.sf.net/p/compassresearch/code into acf_
* Modified the WeedingUnresolvedPathReplacement to preserve the old on
  a name, this get lost before
Model checker running the simpler-register with simplification ( run the simpler-register.cml file in the test/resources folder of /modelchecker project).
Down to 3 failures
Merge commit '26857d2206748db0f584e3da8c41322a9540798e' into jwc
Down to 2 failures
Merge commit 'e3c0950c6f00babc1dba3985d3c165ae0f7ec598' into jwc
Merge commit 'f6af4242a2411759070c3a8c267d789440711e7d' into jwc
Small changes to save formula facts and fix the graph builder.
Merge commit '9f92588e76c1eb4e24ebd4f4aa8897130b4e350b' into jwc
Corrected an incorrect CML typechecker test which tried to get the pre state of a parameter
Fized a syntax error in a cml interpreter test
Removed the CmlOperationValue and instead uses the VDM OperationValue class
Down to 1 error