summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-05-12Agnostic to num premisesajreynol
2020-05-12Fix disequality issue with constantsajreynol
2020-05-12Minorajreynol
2020-05-12Minorajreynol
2020-05-12isRev for flat formsajreynol
2020-05-12Fixajreynol
2020-05-12Fixesajreynol
2020-05-12Flipajreynol
2020-05-11Formatajreynol
2020-05-11Regexp inter include now workingajreynol
2020-05-11Formatajreynol
2020-05-11Working on regexp intersection conflictsajreynol
2020-05-11Merge pull request #31 from HanielB/fix-eqproof3Andrew Reynolds
2020-05-11handling MERGED_THROUGH_CONSTANTSHaniel Barbosa
2020-05-11Fix null check, working on REGEXP rulesajreynol
2020-05-11Skolem cache purifyajreynol
2020-05-11Fixes for strings rulesajreynol
2020-05-11Merge branch 'stringsPf' into fix-eqproof3Haniel Barbosa
2020-05-11Eliminate fresh skolems from REG_UNFOLD_POSajreynol
2020-05-11Merge branch 'stringsPf' into fix-eqproof3Haniel Barbosa
2020-05-11transientHaniel Barbosa
2020-05-10Formatajreynol
2020-05-10Working on regular expression positive unfolding, make STAR two stepsajreynol
2020-05-10Improveajreynol
2020-05-10Formatajreynol
2020-05-10Prefix conflicts workingajreynol
2020-05-09Formatajreynol
2020-05-09Remove old explain, working on prefix conflictsajreynol
2020-05-09Fix assertionsajreynol
2020-05-09Reorg, fix unit, fix CTN_POSajreynol
2020-05-09Fixajreynol
2020-05-09Working on more rulesajreynol
2020-05-09Formatajreynol
2020-05-09Strings explain via propagate, fix proofs instead of fixing lemmaajreynol
2020-05-09Pedantic check optionajreynol
2020-05-09Formatajreynol
2020-05-09Revert clone, flatten assumptionsajreynol
2020-05-09Fix lazy proof, change clone policyajreynol
2020-05-08Formatajreynol
2020-05-08Avoiding more cyclic proofsajreynol
2020-05-08Predicate conflict EXTFajreynol
2020-05-08Moreajreynol
2020-05-08Fixajreynol
2020-05-08Fixajreynol
2020-05-08Formatajreynol
2020-05-08PRef genajreynol
2020-05-08Towards temporary proofs for lemma steps.ajreynol
2020-05-08Handle null in convertajreynol
2020-05-08Fix, independent proofs for facts, fix sexpr cyclic checkajreynol
2020-05-07Identifies, fixesajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback