Add caching of isFinal to partition
Some fsmcheck toString instances / commented out debugging printfs.
Various refactoring, mostly of core refinement code; added random seed cmd line arg; cleaned up stdout messages
Add run-experiment code / make use of fsmchecker without bitset checker.
Renamed remaining interfaces to have an 'I' as the first letter of their name. Created VectorTime unit tests, and fixed bugs in VectorTime.
Refactored ktails, added numerous parser unit tests and worked on other unit tests.
Added a few invariant mining tests, some code cleaning and FingBugs debugging throughout.
Removed edge label 0.0 from initial graph
Actually removes edge label 0.0 from initial graphs
Expanded invariant tests, refactored TemporalInvariantSet.
Expanded invariant set unit tests, some more refactoring.
Fixed issue 15, changed RuntimeException instances in synoptic/ to InternalSynopticException, did some other refactoring.
Added Apache trace
Added a menagerie which only now contains a few examples.
Converted tabs to spaces, and performed code formatting throughout.
Refactoring, changed graph type hierarchy, simplified parser, initial work on global terminal state, initial work on fixing ltl bug.
Fixes Issue 6 (start\end nodes proposal) and Issue 18 (LTL checker AFby bug). Adds option to show/hide start/end nodes, filtering code to remove tautological invariants based on start/end nodes.
Simplified LTL counter-example shortening routines. Fixed LTL's AP formula. Added better exceptions wrapping.
Added tautological invariant checking, simplified filtering of these invariants.
Added counter-example shortening tests, added a unit test base class.