Translation and analysis of Bit register working. Values needed to be restricted due to performance issues.
Merge branch 'test' of ssh://git.code.sf.net/p/compassresearch/code into acf_
Model checker running the simpler-register with simplification ( run the simpler-register.cml file in the test/resources folder of /modelchecker project).
Merge commit 'f6af4242a2411759070c3a8c267d789440711e7d' into jwc
Small changes to save formula facts and fix the graph builder.
Merge commit '9f92588e76c1eb4e24ebd4f4aa8897130b4e350b' into jwc
Merge commit 'b603624383d45bc6ce9afa78969f8ec54056efa9' into jwc
Merge remote-tracking branch 'origin/development' into akm