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.
Merged Andrew's changes into tip.
Moved finding all traces to PartitionGraph. Added methods for finding the input traces and synthetic traces.
Merged changes.
Changed the method for getInitialLogTraces to return a Set<List<Partition>>. Also added correction to main in setting inputGraph to null.
Changed getInitialLogTracesFromCurrentPartition to use EventNode.getSuccessors("t") instead of EventNode.getDirectSuccessors