Age | Commit message (Expand) | Author |
2020-05-12 | Agnostic to num premises | ajreynol |
2020-05-12 | Fix disequality issue with constants | ajreynol |
2020-05-12 | Minor | ajreynol |
2020-05-12 | Minor | ajreynol |
2020-05-12 | isRev for flat forms | ajreynol |
2020-05-12 | Fix | ajreynol |
2020-05-12 | Fixes | ajreynol |
2020-05-12 | Flip | ajreynol |
2020-05-11 | Format | ajreynol |
2020-05-11 | Regexp inter include now working | ajreynol |
2020-05-11 | Format | ajreynol |
2020-05-11 | Working on regexp intersection conflicts | ajreynol |
2020-05-11 | Merge pull request #31 from HanielB/fix-eqproof3 | Andrew Reynolds |
2020-05-11 | handling MERGED_THROUGH_CONSTANTS | Haniel Barbosa |
2020-05-11 | Fix null check, working on REGEXP rules | ajreynol |
2020-05-11 | Skolem cache purify | ajreynol |
2020-05-11 | Fixes for strings rules | ajreynol |
2020-05-11 | Merge branch 'stringsPf' into fix-eqproof3 | Haniel Barbosa |
2020-05-11 | Eliminate fresh skolems from REG_UNFOLD_POS | ajreynol |
2020-05-11 | Merge branch 'stringsPf' into fix-eqproof3 | Haniel Barbosa |
2020-05-11 | transient | Haniel Barbosa |
2020-05-10 | Format | ajreynol |
2020-05-10 | Working on regular expression positive unfolding, make STAR two steps | ajreynol |
2020-05-10 | Improve | ajreynol |
2020-05-10 | Format | ajreynol |
2020-05-10 | Prefix conflicts working | ajreynol |
2020-05-09 | Format | ajreynol |
2020-05-09 | Remove old explain, working on prefix conflicts | ajreynol |
2020-05-09 | Fix assertions | ajreynol |
2020-05-09 | Reorg, fix unit, fix CTN_POS | ajreynol |
2020-05-09 | Fix | ajreynol |
2020-05-09 | Working on more rules | ajreynol |
2020-05-09 | Format | ajreynol |
2020-05-09 | Strings explain via propagate, fix proofs instead of fixing lemma | ajreynol |
2020-05-09 | Pedantic check option | ajreynol |
2020-05-09 | Format | ajreynol |
2020-05-09 | Revert clone, flatten assumptions | ajreynol |
2020-05-09 | Fix lazy proof, change clone policy | ajreynol |
2020-05-08 | Format | ajreynol |
2020-05-08 | Avoiding more cyclic proofs | ajreynol |
2020-05-08 | Predicate conflict EXTF | ajreynol |
2020-05-08 | More | ajreynol |
2020-05-08 | Fix | ajreynol |
2020-05-08 | Fix | ajreynol |
2020-05-08 | Format | ajreynol |
2020-05-08 | PRef gen | ajreynol |
2020-05-08 | Towards temporary proofs for lemma steps. | ajreynol |
2020-05-08 | Handle null in convert | ajreynol |
2020-05-08 | Fix, independent proofs for facts, fix sexpr cyclic check | ajreynol |
2020-05-07 | Identifies, fixes | ajreynol |