Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/clausbn' into newpog
Initial batch of micro-models base tests.
Initial version of new pog test framework.
Removing debug printlns. They muck up test outputs.
Tweaked test printing.
Cleaned up code comments.
Graph builder working for the dining philosophers. Creation of different visitors to follow the idea used in other plugins.
Renamed test input provider.
Fixed implementation of Satisfiability Obligation for Implicit CML operations.
Initial work on adding process state definitions to Operation Contexts, etc.
Merge remote-tracking branch 'origin/development' into newpog
Initial implementation of SatisfiabilityPO with process state.
Improved handling of process state in operation contexts.
Reduced cloned code.
Added guard for state added from Cml Classes.
Standardizing test inputs.
Standardizing Input.
Fixed some memory issues with the state merge which also increased the interpretation speed
Fixed some memory issues with the state merge which also increased the interpretation speed