svn propset ignore edits
Fixed single predicate invariant bug, fixed refine button on re-Parse, tweaked styles, added coarsening button (unimplemented), etc.
Moved invariant mining code into invariants.miners. Rewrote optimized
linear trace miner to eliminate reverse traversal stage for AFby
counts.
Abstracted event types from String to their own type. Refactored and gave more apt names to invariant miners.
Expanded EventType, cleaned up its API, and added tests.
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