Made a few GUI changes:
* Menu bar is now visible
* Layouts are available as an option from the menu bar and identified by classname
* Help and refine buttons moved to menu bar
* Graph manipulation panel moved to top of the panel
Implemented mapping of vector timestamped log events to totally ordered per-node lists of local events, with tests.
Updated MANIFEST for release 0.0.4 and made tests be quiet.
Implemented Warshall's transitive closure alg -- more amenable to optimizations. Disabled extra correctness check that had a 15% perf penalty.
Added some GUI features:
* When users right-click on a node, they can select "View log lines" to see which events belong to that partition
* Removed the broken right-click create/delete options
* Graph layout menu changed to radio button group (a more appropriate representation)
Removed unnecessary data structures in invariant mining and some code cleaning.
*added panel at the bottom of the gui that displays log lines when users double click on a node
*removed the mode combo box, mapped transforming to right mouse clicks and picking to left mouse clicks (via ModalMousePlugin class)
Fixed issue 37:
Added line numbers to log line display, and changed filename to display just the local name rather than including the file's full path.
Refactored TraceParser inter-LogEvent transition generation out to LogEvent and special-cased/optimized totally-ordered transition generation. Factored out invariant mining tests into a parametrized junit test. Implemented the specialized invariant mining algorithm, with unit tests and peformance tests. Added specialized VectorTime exceptions. Factored out invariant mining algorithms into their own classes.
Added support for floating point time (FTIME) to support rtraceroute logs. Created a time-type class hierarchy.
Added DTIME format for 64bit double-typed time fields.
Fixed a bug in specialized invariant miner, fixed a small bug in listed properties handling, made specialized invariant miner the default for totally ordered traces.
Removed action interning code (log line, line number, filename make them unique), squeezed LogEvent and Action space usage.
Added adjacent partitions caching to partition graph. Restructured weighted transitions tracking, and cleaned up transition class hierarchy. Factored out transition weight calculation from the critical path.
Added common strings interning option for interning log filename, and event types. Removed partitionsMap from Graph, made TraceParser stateful, modified invariant miners to rely exclusively on the input graph.
Fix miner performance tests bug.
Removed some needless data structures. Added smarter partition-transitions caching invalidation. Made candidate split generation fast. Added some gc null-based hints.
Fixed Issue 41. Added a sample of revtr logs with synoptic args file. Deleted redundant logs. Added initial results for 10k-500k samples. Made fsmchecker default and by default enabled interning of common strings.
Added more revtr results. Added comments to key split computation code.
Added a horizontal scrollbar to the partition events window