Age | Commit message (Expand) | Author |
2020-05-19 | Addres comments | Andres Noetzli |
2020-05-18 | Instrument rewriter for proof generation | Andres Noetzli |
2020-05-18 | More | ajreynol |
2020-05-18 | Format | ajreynol |
2020-05-18 | Configurable substitution, working on TheoryEngine. | ajreynol |
2020-05-14 | Format | ajreynol |
2020-05-13 | More fixes | ajreynol |
2020-05-12 | Format | ajreynol |
2020-05-12 | Update interface | ajreynol |
2020-05-12 | Minor | ajreynol |
2020-05-11 | Working on regexp intersection conflicts | ajreynol |
2020-05-11 | Fix null check, working on REGEXP rules | ajreynol |
2020-05-08 | Format | ajreynol |
2020-05-08 | Fix, independent proofs for facts, fix sexpr cyclic check | ajreynol |
2020-05-04 | Format | ajreynol |
2020-05-04 | Simple length reproving working | ajreynol |
2020-05-04 | Improvements | ajreynol |
2020-05-03 | Predicate transformation | ajreynol |
2020-05-03 | Format | ajreynol |
2020-05-03 | Move eager proof generator, revise strings interfaces, eager reduction formal... | ajreynol |
2020-05-02 | Towards core, fixes | ajreynol |
2020-05-02 | Fixes, witness form rewrite policy | ajreynol |
2020-05-02 | Format | ajreynol |
2020-05-02 | Revise core builtin rules | ajreynol |
2020-05-02 | More | ajreynol |
2020-05-02 | More | ajreynol |
2020-05-02 | Revising | ajreynol |
2020-05-02 | Format | ajreynol |
2020-05-02 | More, substitution rewrite predicate version | ajreynol |
2020-05-02 | Working towards core rules, fixes | ajreynol |
2020-05-01 | More, for reduce | ajreynol |
2020-05-01 | Format | ajreynol |
2020-05-01 | Incorporate witness forms | ajreynol |
2020-05-01 | Format | ajreynol |
2020-05-01 | More | ajreynol |
2020-05-01 | Incorporating | ajreynol |
2020-05-01 | More | ajreynol |
2020-04-28 | Fix | ajreynol |
2020-04-28 | Connect checkers to strings inference manager | ajreynol |
2020-04-17 | More | ajreynol |
2020-04-17 | More | ajreynol |
2020-04-17 | Format | ajreynol |
2020-04-17 | More | ajreynol |