summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
2020-05-12Formatajreynol
2020-05-12Update interfaceajreynol
2020-05-12Minorajreynol
2020-05-11Formatajreynol
2020-05-11Merge pull request #31 from HanielB/fix-eqproof3Andrew Reynolds
2020-05-11Fix null check, working on REGEXP rulesajreynol
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-10Prefix conflicts workingajreynol
2020-05-09Working on more rulesajreynol
2020-05-09Formatajreynol
2020-05-09Strings explain via propagate, fix proofs instead of fixing lemmaajreynol
2020-05-09Formatajreynol
2020-05-09Revert clone, flatten assumptionsajreynol
2020-05-09Fix lazy proof, change clone policyajreynol
2020-05-08Formatajreynol
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-07Formatajreynol
2020-05-07TrustNode for explainajreynol
2020-05-07Avoiding cyclic redundant stepsajreynol
2020-05-07Reorg pfnew regressions, coarse grained theory lemma steps, length positive l...ajreynol
2020-05-07Some fixesajreynol
2020-05-06InferProofCons as lazy genreator, lazy proof is context-dependent, rec explai...ajreynol
2020-05-06Refactor no-explain tracking in strings, eliminate ProofInferInfo in favor of...ajreynol
2020-05-06Formatajreynol
2020-05-06Commentajreynol
2020-05-06More robustajreynol
2020-05-06Better traceajreynol
2020-05-06Symmetric assumptionsajreynol
2020-05-06Improve user-facing mkProof for CDProofajreynol
2020-05-06Formatajreynol
2020-05-06Moreajreynol
2020-05-06Cyclic check, towards proper symm, disable recursive explainajreynol
2020-05-06Minor, revertajreynol
2020-05-06Fixajreynol
2020-05-06Minorajreynol
2020-05-06More work on symmajreynol
2020-05-06Working on SYMMajreynol
2020-05-05Fixajreynol
2020-05-05Fixesajreynol
2020-05-05Formatajreynol
2020-05-05addProofTo interface for generators, working on proper SCOPEajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback