summaryrefslogtreecommitdiff
path: root/src/proof/sat_proof_implementation.h
AgeCommit message (Expand)Author
2020-06-16Update copyright headers.Aina Niemetz
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-08-27Resolution proof: separate printing from proof (#1964)Andres Noetzli
2018-07-13Properly clean up assertion stack in CnfProof (#2147)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-23Remove ProofProxy (#1965)Andres Noetzli
2017-08-09Fix compiler warning in sat_proof_implementationAndres Noetzli
2017-07-07Update copyright headers.Mathias Preiner
2017-06-30Fix use-after-free with unsat cores/proofs (#174)Andres Nötzli
2017-06-16Fix segfault by making unit conflict CDMaybeAndres Nötzli
2017-05-26Fix use-after-free with ResChainsAndres Noetzli
2017-03-23support incremental unsat coresguykatzz
2016-08-09Fix missing/redundant spaces in proofsfix_proof_spacesAndres Notzli
2016-08-03Fixed an issue where arrays proofs would sometimes have an extra ")" at the end.Guy
2016-07-26Added functionality to retrieve a lemma's "weakest implicant" in the unsat co...Guy
2016-07-19Allow a caller to query whether an unsat core is available or notGuy
2016-06-01Merge from proof branchGuy
2016-06-01Revert "Merging proof branch"Guy
2016-06-01Merging proof branchGuy
2016-04-30Reviewed Tim's Asan changes and improved SatProof comments.Liana Hadarean
2016-04-26Fixing memory leaks for garbage collection of ResChains in the sat proof impl...Tim King
2016-04-03Updating the copyright headers and scripts.Tim King
2016-03-23squash-merge from proof branchGuy
2016-02-24Unifying the definitions of ClauseId to a single source of truth.Tim King
2016-01-26Merged bit-vector and uf proof branch.Liana Hadarean
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback