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.
Merged with tip
Removed dummy log messages
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.
Specialized GWTTriplet as GWTEdge.
Simplified invariant grid code.
Some refactoring and implementation of issues 99 and 100.