Merge remote-tracking branch 'origin/test' into akm
Fixed Isabelle launch config for Windows - needed Cygwin loc. Mac launch bug has been temporarily fixed.
Merge commit '4501bd43debe77e5fc32c233fd3ccbc0225903ec' into rjp
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.
Merge commit '5fdff585f0756a830b3cb6d466c841e5c82822ee' into rjp
Completing TPUnsupportedCollector and fixing some visitors to reflect this.
added unsupported check back in when calling THY gen
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.