Merge remote-tracking branch 'origin/newpog' into sdf
Merge remote-tracking branch 'origin/vb' into sdf
Test for invariant POs on state assignments.
Theorem prover now capable of detecting a theorem failed to parse
Added supoprt for locale calculation.
Merge remote-tracking branch 'origin/newpog' into sdf
Added new code to deal with failing POs and to deal with process locality
Update locale test to test POs and not model nodes.
Add locale extract test for global defition.
Lock POG column sizes.
Add CML version of invariant extractor.
Add PO name to detail view as a comment.
Some fixes to generation of thy
Import cml examples.
Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/sdf' into newpog
Update test results for invariant and state scoping changes.
Merge commit 'f96aaaf4cda073643fed9d41801405f5e82fa1ca' into test
Add test for all examples.
Commented out line of Seive example that did not parse.