Added ability to query last split from PartitionGraph
Added a stable layout to the dracula library, which stabilizes the position of un-refined nodes during refinement and anchors the initial and terminal nodes on the left and right sides (respectively) of the graph.
Added LogLineRequest callback for nodes in the graph, which retrieves a list of all log lines represented by that Partition. Also implemented double click functionality for graph nodes. Still to do: call the Java LogLineRequest from JS when a node is double-clicked
Files forgotten in last commit
Updated PartitionGraph to better access refined node in view
Added viewing log line functionality, error messages on RPC failure, addressed Ivan's code review
Fixed classpath
Added code attributions to Clemens Hammacher.
more recent revtr 10k sample
Changed JungGui.java as outlined in Issue 88
slaml11 evaluation scripts, synoptic input, and synoptic output files
Colors in invariants tab changed from Red and Green to Red and Blue to be easier to see (for color blind).
Added ticket reservation example used in SLAML'11 as an abstract trace.
Added NeverConcurrent and AlwaysConccurrent invariant mining to DAGWalkingPOInvMiner. Updated VTIME parsing to infer process ids (PIDs) and optionally to parse these from the log file. Propagated these changes to the test suite.
Resolved Issue 91 and Issue 73. Slight improvement to PO mining.
Improved vtime parsing, added/refactored parsing tests.
Removed jar-export desc file (use build.xml instead). Made SynopticGWT compile by updating its use of Synoptic class names.
cleaned up revtr models
Import of svn r427 (a.w.davies.vio@gmail.com): Allows user to specify invariants for removal from "Invariants" tab.
Import of svn r428 and r429 (i3az0kimchi@gmail.com): Added Export/Download button to model tab for SynopticGWT.