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
Refactoring/restructuring of the GWT project to eliminate bloat in SynopticGWT.java.
Refactoring of GWT client-side, added comments, and solved a few bugs introduced in previous commit.
Removed generic types to GWTInvariant, initial refactoring of grid click handler.