mAarnos / Serkr / 111

Builds Branch Commit Type Ran Committer Via Coverage
111 proof-output Switched to the Fowler-Noll-Vo hash function push mAarnos travis-ci pending completion
110 proof-output Fixed clippy lints etc. push mAarnos travis-ci pending completion
109 performance-improvement Fixed clippy lints etc. push mAarnos travis-ci pending completion
108 performance-improvement Fixed rewriting incompleteness We now restrict rewriting in the maximal terms of maximal positive literals. Might be ever so slightly slower but must be done. push mAarnos travis-ci pending completion
107 performance-improvement Simplified stuff, added more comments and tests Not exactly performance improvement, but whatever. push mAarnos travis-ci pending completion
106 proof-output Merge pull request #21 from mAarnos/indexing Added perfect discrimination trees push web-flow travis-ci pending completion
105 master Merge pull request #21 from mAarnos/indexing Added perfect discrimination trees push web-flow travis-ci pending completion
104 master Fixed an inefficiency with hashing Probably should have a custom HashMap with Fowler–Noll–Vo instead of SipHash 2-4 Pull #21 web-flow travis-ci pending completion
103 indexing Fixed an inefficiency with hashing Probably should have a custom HashMap with Fowler–Noll–Vo instead of SipHash 2-4 push mAarnos travis-ci pending completion
102 indexing Fixed bugs and simplified things push mAarnos travis-ci pending completion
101 indexing Fixed LALRPOP grammar push mAarnos travis-ci pending completion
99 indexing Fixed one more bug with PDTree push mAarnos travis-ci pending completion
98 indexing Fixed several problems with PDTree push mAarnos travis-ci pending completion
96 indexing Relocated indexing push mAarnos travis-ci pending completion
95 indexing Now uses standard clause selection heuristic push mAarnos travis-ci pending completion