Add "-version" to javac command, temporarily, for Hudson debugging.
Fixed hudson-reported compile time errors for javac 1.6.0_23. Also some initial work on vector-time index set partitioning.
testing post-commit hook for hudson
Added junit lib, modified classpath and synoptic.sh to use it.
New ant build file with junit targets.
Passifying Hudson's stricter java runtime.
Testing fixes.
Selected different cycle graphs to fix failing model checking unit tests. Disabled loop removal from counter-examples as there's a difficult to fix bug. Fixed bug in main bisimulation loop where it would fail to terminate; this led to some restructuring of bisimulation loop and gui code.
Fixed all the trace parser unit tests, expanded the test suite, implemented various parser features in Issue 13.
Implemented fsm checker unit tests, fixed a bug in fsm checker AP fsm. Fixed bug in bisimulation term. condition with partially-ordered traces and unsatisfiable invs. Fixed --runAllTests option. Implemented some basic partition graph and bisimulation tests. Renamed some test files. Added an advanced mining test. Fixed up performance tests. Added more comments throughout the code. Unit tests should all pass now.
fix ant build file
tweak timed task test
Update usage, added another bisimulation end-to-end test.
Updated gui with new features, and some refactoring.
Fixed Issue 35, added a log of 100 2pc txns, refactored PerformanceTests.
Fixed Issue 34.
Made a few GUI changes:
* Menu bar is now visible
* Layouts are available as an option from the menu bar and identified by classname
* Help and refine buttons moved to menu bar
* Graph manipulation panel moved to top of the panel
Implemented mapping of vector timestamped log events to totally ordered per-node lists of local events, with tests.
Updated MANIFEST for release 0.0.4 and made tests be quiet.
Implemented Warshall's transitive closure alg -- more amenable to optimizations. Disabled extra correctness check that had a 15% perf penalty.