summaryrefslogtreecommitdiff
path: root/src/prop/proof_cnf_stream.cpp
AgeCommit message (Expand)Author
2021-05-24More precise includes of `Node` constant classesAndres Noetzli
2021-04-14[unsat-cores] Improving new unsat cores (#6356)Haniel Barbosa
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-02-23[proof-new] Fix handling of removable clauses in proof cnf stream (#5961)Haniel Barbosa
2021-02-11[proof-new] Adding a proof-producing ensure literal method (#5889)Haniel Barbosa
2020-12-02Update copyright headers.Aina Niemetz
2020-10-20(proof-new) Update add lazy step interface in LazyCDProof (#5299)Andrew Reynolds
2020-10-19[proof-new] Fixing resolution proof checker (#5262)Haniel Barbosa
2020-10-13using NOT_NOT_ELIM rather than macros to do double-neg elimination (#5261)Haniel Barbosa
2020-09-29[proof-new] Adds a proof-producing CNF converter (#5137)Haniel Barbosa
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback