Age | Commit message (Expand) | Author |
2020-05-12 | Format | ajreynol |
2020-05-12 | Update interface | ajreynol |
2020-05-12 | Minor | ajreynol |
2020-05-11 | Format | ajreynol |
2020-05-11 | Merge pull request #31 from HanielB/fix-eqproof3 | Andrew Reynolds |
2020-05-11 | Fix null check, working on REGEXP rules | 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 | Prefix conflicts working | 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 | 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 | 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 | Format | ajreynol |
2020-05-07 | TrustNode for explain | ajreynol |
2020-05-07 | Avoiding cyclic redundant steps | ajreynol |
2020-05-07 | Reorg pfnew regressions, coarse grained theory lemma steps, length positive l... | ajreynol |
2020-05-07 | Some fixes | ajreynol |
2020-05-06 | InferProofCons as lazy genreator, lazy proof is context-dependent, rec explai... | ajreynol |
2020-05-06 | Refactor no-explain tracking in strings, eliminate ProofInferInfo in favor of... | ajreynol |
2020-05-06 | Format | ajreynol |
2020-05-06 | Comment | ajreynol |
2020-05-06 | More robust | ajreynol |
2020-05-06 | Better trace | ajreynol |
2020-05-06 | Symmetric assumptions | ajreynol |
2020-05-06 | Improve user-facing mkProof for CDProof | ajreynol |
2020-05-06 | Format | ajreynol |
2020-05-06 | More | ajreynol |
2020-05-06 | Cyclic check, towards proper symm, disable recursive explain | ajreynol |
2020-05-06 | Minor, revert | ajreynol |
2020-05-06 | Fix | ajreynol |
2020-05-06 | Minor | ajreynol |
2020-05-06 | More work on symm | ajreynol |
2020-05-06 | Working on SYMM | ajreynol |
2020-05-05 | Fix | ajreynol |
2020-05-05 | Fixes | ajreynol |
2020-05-05 | Format | ajreynol |
2020-05-05 | addProofTo interface for generators, working on proper SCOPE | ajreynol |