projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix make install-examples.
[cvc5.git] / proofs /
2014-05-23 Andrew ReynoldsFix bug in E-matching Real/Int terms. tree | commitdiff
2014-05-17 Kshitij BansalMerge pull request #26 from kbansal/sets tree | commitdiff
2014-05-16 Kshitij Bansallfsc_checker: fix some warnings reported by _both_... tree | commitdiff
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model tree | commitdiff
2014-03-19 Morgan DetersFix proof signatures makefile tree | commitdiff
2014-03-19 Andrew ReynoldsFix a memory leak in LFSC proof checker. Largest QF_UF... tree | commitdiff
2014-03-17 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-03-14 Morgan Detersdos2unix on the proof signatures, and fix the makefile. tree | commitdiff
2014-03-13 Andrew ReynoldsAdd working example of LFSC proof with quantifiers... tree | commitdiff
2014-03-12 Andrew ReynoldsWork on array pf signature, add working example. Add... tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-19 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-01-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-17 Kshitij BansalMerge branch '1.3.x' tree | commitdiff
2014-01-09 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-08 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-03 Andrew ReynoldsAdded support for proof production in Equality Engine... tree | commitdiff
2014-01-02 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... tree | commitdiff
2013-12-22 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-19 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-18 Morgan DetersReduce autoconf version for dependence (should fix... tree | commitdiff
2013-12-17 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-17 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into... tree | commitdiff
2013-10-07 Liana Hadareanmerged golden tree | commitdiff
2013-10-03 Andrew ReynoldsAdding example proof signatures for LFSC. tree | commitdiff
2013-10-03 Andrew ReynoldsAdding example proof signatures for LFSC. tree | commitdiff