summaryrefslogtreecommitdiff
path: root/src/proof/theory_proof.h
AgeCommit message (Expand)Author
2016-07-26Fix warnings in src/proofAndres Notzli
2016-07-25Propagate the usage of proof let maps into constant disequality proofsGuy
2016-07-24Use letification for the aliasing declarations as well (consequently, print t...Guy
2016-06-20Addressed a bug that occurs when proof production is triggered via text flags...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-01Merge from proof branchGuy
2016-06-01Revert "Merging proof branch"Guy
2016-06-01Merging proof branchGuy
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-28Adding listeners to Options.Tim King
2016-01-26Merged bit-vector and uf proof branch.Liana Hadarean
2015-12-24Miscellaneous fixesTim King
2014-07-01Update copyrights.Morgan Deters
2013-12-24Java datatype API fixups, datatype API examplesMorgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-11-13Add virtual destructors where missingMorgan Deters
2013-10-09cleaned up proof codelianah
2013-10-08added currying for uf proofs; still needs debugginglianah
2013-10-07first draft implementation of uf proofs with holesLiana Hadarean
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback