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
Added ability to export with Graphviz from GUI
Changed refinement options:
* refine option accessible in one click
* added a total refine option
Fixed scrollbar issues
Removed invalid copyright lines from package.html files, fixed javadoc warnings, re-generated javadocs.
Fixed some features on the line display option (removed empty table for initial and terminal nodes, fixed horizontal and vertical scrollbar issues) and cleaned up the TableColumnAdjuster class