Updated gwt code that depended on recent changes to synoptic.jar.
Expanded ant bulid to generat MANIFEST and jar file, deleted files associated with eclipse-specific ways of doing same.
gwt jars
ant script for gwt project
Added synoptic.jar dep to gwt project, removed jar dep from EmbeddedGwt.
Initial code for invariant mining over DAGs. Untested.
Fixed bugs in DAG invariant miner, and added comments. It now passes all existing linear trace tests.
Fixed bugs in DAG invariant miners (both DAG walking and transitive-closure). Added new tests.
Added 3-column event invariants JS graphic. Updated Raphael lib to latest version.
initial progress wheel code
Added animation between refinement graphs, including customizing dracula a bit.
gwt coarsening button implementation
gwt add final model button implementation
Fixed gwt representation of partition graph, added refined node id to refinement call back
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