summaryrefslogtreecommitdiff
path: root/src/theory/builtin/proof_checker.cpp
AgeCommit message (Expand)Author
2020-05-19Addres commentsAndres Noetzli
2020-05-18Instrument rewriter for proof generationAndres Noetzli
2020-05-18Moreajreynol
2020-05-18Formatajreynol
2020-05-18Configurable substitution, working on TheoryEngine.ajreynol
2020-05-14Formatajreynol
2020-05-13More fixesajreynol
2020-05-12Formatajreynol
2020-05-12Update interfaceajreynol
2020-05-12Minorajreynol
2020-05-11Working on regexp intersection conflictsajreynol
2020-05-11Fix null check, working on REGEXP rulesajreynol
2020-05-08Formatajreynol
2020-05-08Fix, independent proofs for facts, fix sexpr cyclic checkajreynol
2020-05-04Formatajreynol
2020-05-04Simple length reproving workingajreynol
2020-05-04Improvementsajreynol
2020-05-03Predicate transformationajreynol
2020-05-03Formatajreynol
2020-05-03Move eager proof generator, revise strings interfaces, eager reduction formal...ajreynol
2020-05-02Towards core, fixesajreynol
2020-05-02Fixes, witness form rewrite policyajreynol
2020-05-02Formatajreynol
2020-05-02Revise core builtin rulesajreynol
2020-05-02Moreajreynol
2020-05-02Moreajreynol
2020-05-02Revisingajreynol
2020-05-02Formatajreynol
2020-05-02More, substitution rewrite predicate versionajreynol
2020-05-02Working towards core rules, fixesajreynol
2020-05-01More, for reduceajreynol
2020-05-01Formatajreynol
2020-05-01Incorporate witness formsajreynol
2020-05-01Formatajreynol
2020-05-01Moreajreynol
2020-05-01Incorporatingajreynol
2020-05-01Moreajreynol
2020-04-28Fixajreynol
2020-04-28Connect checkers to strings inference managerajreynol
2020-04-17Moreajreynol
2020-04-17Moreajreynol
2020-04-17Formatajreynol
2020-04-17Moreajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback