More PO mining tests and bug fixes. Updated performance scripts with new paths.
New benchmarking results for slaml'11 paper (with correcty algorithms) --tc-based and counting-based algorithms for PO log invariant mining.
Refactoring of graph exporter logic. Added GML export option. Minor fix in process_results.py.
Partition and PartitionGraph refactoring. Added notion of initialization to Partition for use by Timothy. Added a few key assertions to Partition.
Removed undocumented menagerie traces, and run_experiment.py to run them.
Updated doc_usage.sh script to work with hg.
Various refactoring, especially in graph exporting classes.
Updated GWT code to use the new GraphExporter interface. And a few other minor fixes.
Added canonical edge sorting via edge comparator, fixed an export-related bug in gwt.
Specialized Graph<EventNode> to TraceGraph. Cleaned up IGraph interface, and PartitionGraph.
Comments for and refactoring of concurrency invariant classes.
More robust coloring of multiple relations in graph export.
Added trace identifiers to trace graphs for PO trace input.
Add commented-out -Xlint:unchecked
Make use of JComboBox generic, not raw.
Experiment to test Hudson job.
Revert changeset 8f10cea63c7a: JComboBox is generic in Java 7 but not in Java 6
Another Hudson experiment
Hopefully fixed the "inconvertible types" error. Applied bug fix for Java 1.6 from here:
http://bugs.sun.com/view_bug.do?bug_id=6932571
Added method to extract all possible paths from the
partition graph.