projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
floatingpoint: Use unique_ptr for FloatingPointLiteral pointer. (#5503)
[cvc5.git]
/
proofs
/
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
tree
|
commitdiff
2014-09-30
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-27
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-26
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-22
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-22
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-20
ajreynol
Update bv proof signature and example, after discussion...
tree
|
commitdiff
2014-08-19
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-18
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-08
ajreynol
Add draft of BV proof signature (incomplete) and exampl...
tree
|
commitdiff
2014-05-23
Andrew Reynolds
Fix bug in E-matching Real/Int terms.
tree
|
commitdiff
2014-05-17
Kshitij Bansal
Merge pull request #26 from kbansal/sets
tree
|
commitdiff
2014-05-16
Kshitij Bansal
lfsc_checker: fix some warnings reported by _both_...
tree
|
commitdiff
2014-04-06
Tim King
Merge pull request #21 from pcc/ite-fix
tree
|
commitdiff
2014-04-01
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-26
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
tree
|
commitdiff
2014-03-19
Morgan Deters
Fix proof signatures makefile
tree
|
commitdiff
2014-03-19
Andrew Reynolds
Fix a memory leak in LFSC proof checker. Largest QF_UF...
tree
|
commitdiff
2014-03-17
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-03-14
Morgan Deters
dos2unix on the proof signatures, and fix the makefile.
tree
|
commitdiff
2014-03-13
Andrew Reynolds
Add working example of LFSC proof with quantifiers...
tree
|
commitdiff
2014-03-12
Andrew Reynolds
Work on array pf signature, add working example. Add...
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-19
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-18
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-17
Kshitij Bansal
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-09
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-08
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-03
Andrew Reynolds
Added support for proof production in Equality Engine...
tree
|
commitdiff
2014-01-02
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-23
Morgan Deters
Proof-checking code; fixups of segfaults and missing...
tree
|
commitdiff
2013-12-22
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-19
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-12-18
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-18
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-18
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-18
Morgan Deters
Reduce autoconf version for dependence (should fix...
tree
|
commitdiff
2013-12-17
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-17
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-12-17
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-17
Morgan Deters
First attempt at incorporating LFSC proof checker into...
tree
|
commitdiff
2013-10-07
Liana Hadarean
merged golden
tree
|
commitdiff
2013-10-03
Andrew Reynolds
Adding example proof signatures for LFSC.
tree
|
commitdiff
2013-10-03
Andrew Reynolds
Adding example proof signatures for LFSC.
tree
|
commitdiff