summaryrefslogtreecommitdiff
path: root/src/proof/bitvector_proof.cpp
AgeCommit message (Expand)Author
2018-08-27Resolution proof: separate printing from proof (#1964)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2018-04-25Refactor array-proofs and uf-proofs (#1655)yoni206
2018-04-02Reorganize bitblaster code. (#1695)Mathias Preiner
2017-11-15Initializes BitVectorProof::d_isAssumptionConflict. Resolves CID 1362898. (#1...Tim King
2017-07-07Update copyright headers.Mathias Preiner
2017-03-23support incremental unsat coresguykatzz
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-08-24Merge remote-tracking branch 'origin/master'PaulMeng
2016-08-09Fix missing/redundant spaces in proofsfix_proof_spacesAndres Notzli
2016-07-26Fix warnings in src/proofAndres Notzli
2016-07-26Letification of BV constantsGuy
2016-07-24Use letification for the aliasing declarations as well (consequently, print t...Guy
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-07-01Handle bitvector lemmas where a literal gets rewritten into false, and conseq...Guy
2016-06-08Support for printing a global let map in LFSC proofs.Guy
2016-06-03Better infrastructure for proving constant disequality.Guy
2016-06-03A better mechanism for handling BV terms with aliases: inject the alias at th...Guy
2016-06-02Fixed a magical bug that only appears when compiling with clang:Guy
2016-06-02FixGuy
2016-06-01Merge from proof branchGuy
2016-06-01Revert "Merging proof branch"Guy
2016-06-01Merging proof branchGuy
2016-04-20update from the masterPaulMeng
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