Age | Commit message (Expand) | Author |
---|---|---|
2020-05-18 | Sketch next | ajreynol |
2020-05-18 | Configurable substitution, working on TheoryEngine. | ajreynol |
2020-05-12 | Minor | ajreynol |
2020-05-07 | Reorg pfnew regressions, coarse grained theory lemma steps, length positive l... | ajreynol |
2020-05-05 | Doc, rec explain for assertFact | ajreynol |
2020-05-04 | More doc | ajreynol |
2020-05-04 | Improvements | ajreynol |
2020-05-03 | Predicate transformation | ajreynol |
2020-05-02 | Revise core builtin rules | ajreynol |
2020-05-02 | More | ajreynol |
2020-05-02 | More, substitution rewrite predicate version | ajreynol |
2020-05-01 | More | ajreynol |
2020-04-17 | More | ajreynol |
2020-04-17 | More | ajreynol |
2020-04-17 | More | ajreynol |
2020-04-17 | More | ajreynol |