summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2020-05-19MinorAndres Noetzli
2020-05-19MinorAndres Noetzli
2020-05-19Addres commentsAndres Noetzli
2020-05-18Instrument rewriter for proof generationAndres Noetzli
2020-05-18Formatajreynol
2020-05-18Use standard interface to mkScope in pfeeajreynol
2020-05-18Merge pull request #37 from HanielB/cnf-rulesAndrew Reynolds
2020-05-18Docajreynol
2020-05-18fixesHaniel Barbosa
2020-05-18adding cnf rules and their checkersHaniel Barbosa
2020-05-18Minorajreynol
2020-05-18Formatajreynol
2020-05-18Sketch nextajreynol
2020-05-18fixesHaniel Barbosa
2020-05-18Merge branch 'stringsPf' into fix-eqproof4Haniel Barbosa
2020-05-18Connect explained conflictsajreynol
2020-05-18reverting unnecessary for fixHaniel Barbosa
2020-05-18fixing cycle due to macro_sr_pred_transformHaniel Barbosa
2020-05-18adding resolutionHaniel Barbosa
2020-05-18Formatajreynol
2020-05-18Merge proof engine output channel into engine output channelajreynol
2020-05-18TheoryEngineProofGenerator, proper explanations for getExplantaionajreynol
2020-05-18Proofs for getExplanationajreynol
2020-05-18Moreajreynol
2020-05-18Formatajreynol
2020-05-18Configurable substitution, working on TheoryEngine.ajreynol
2020-05-16Comments sketchingajreynol
2020-05-16Formatajreynol
2020-05-16Moreajreynol
2020-05-16Clarifying trust node interface, working on TheoryEngineajreynol
2020-05-15Formatajreynol
2020-05-15Fix formatajreynol
2020-05-15TrustNode throughout TheoryEngineajreynol
2020-05-15Merge branch 'stringsPf' into fix-eqproof3Haniel Barbosa
2020-05-15introducing search for building better transitivity proofsHaniel Barbosa
2020-05-15Shared term database is proof producing. Simplifications to TheoryEngine in p...ajreynol
2020-05-15Address review for pscajreynol
2020-05-15Do VSplit length conclusionajreynol
2020-05-15Unify checker for constant splitajreynol
2020-05-15Merge branch 'stringsPf' into fix-eqproof3Haniel Barbosa
2020-05-15Ipc robust to sym (do not overwrite first explanations)ajreynol
2020-05-15Fixajreynol
2020-05-15fixing cyclic proof issue with congruence + transitivityHaniel Barbosa
2020-05-15Formatajreynol
2020-05-15Equality engine interfaceajreynol
2020-05-15Formatajreynol
2020-05-15Normal form equality conflictsajreynol
2020-05-14Conflict case of N_UNIFYajreynol
2020-05-14fixing double substitution in disequality issueHaniel Barbosa
2020-05-14Merge branch 'stringsPf' into fix-eqproof3Haniel Barbosa
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback