Factored out counting to invariant type computation into separate methods. Optimized path and concurrency invariant merging.
Added simpler algorithm that does not mine \nparallel invariant. Removed path and concurrency invariant merging in favor of more optimized online filtering approach -- counting-based inv mining only.
Minor updates. More robust hash code functions in DistEventType and EventType. Updated arg in args.txt. More comments, and slight fix in ChainWalkingTOInvMiner.
Fixed online invariant subsumption bug in counting-based alg, added PO mining tests to check for inv subsumption.
Improvements to TC-based algorithm to perform online invariant subsumption computation, and some refactoring.
Added smarter filtering of tautological invariants, removed the obsolete code/tests.
Expose the mining of NeverConcurrentWith as a command line option.
Fixed counting-based mining without NeverConcurrentWith invariant, added it to the parametrized PO mining tests, and a few other minor fixes.
Fixed optimization where event instances from diff. traces are not considered for reachability in TC alg.
Further optimization to only consider event instances from same trace for reachability, and an optimization to stop considering traces when no further ordering information can change invariant mining outcome.
Added code to initialize large global counts maps, slight perf improvement and better code clarity.
Removed code replaced by prior commit.
More optimizations, mostly small stuff -- removed a few iterators, etc.
Specialized IGraph<NodeType> to TraceGraph for invariant mining. Simplified transitive closure's internal data structure, and updated tests.
Updates to TraceGraph -- removed unused methods, and added a method used by miners to identify trace dags.
Refactored data structures to class level in DAGWalkingPOInvMiner.
Specialized transitive closure computation to TraceGraph.
Removed non-ASCII chars to fix build.
Added code to highlight GWT model node as "blue" when clicked/double-clicked.
Changed SynopticGWT.html to fix error.