projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix bugs 605 and 667.
[cvc5.git]
/
test
/
unit
/
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-04-27
Tim King
Updating failing unit tests.
tree
|
commitdiff
2015-02-16
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2015-02-14
ajreynol
Fix unit tests.
tree
|
commitdiff
2015-02-13
ajreynol
Handle recursive singleton case for codatatypes, add...
tree
|
commitdiff
2014-12-04
Martin Brain
Floating point infrastructure.
tree
|
commitdiff
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-17
Liana Hadarean
Resource-limiting work.
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-05
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-17
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-17
Morgan Deters
Remove a bad (unstable, timing-dependent) test.
tree
|
commitdiff
2014-10-16
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-14
Morgan Deters
Merge pull request #58 from mdeters/smt-attributes
tree
|
commitdiff
2014-10-14
Morgan Deters
Context-dependent expr attributes are now attached...
tree
|
commitdiff
2014-10-11
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
tree
|
commitdiff
2014-10-09
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-07
Morgan Deters
Fix unit test that was broken with last commit.
tree
|
commitdiff
2014-10-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
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-03
Morgan Deters
Fix unit test for ArrayStoreAll.
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-25
Morgan Deters
fix unit test for new fair datatype enumeration
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-23
Morgan Deters
Unit test fix.
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-19
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-18
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-04
Morgan Deters
Better support for resource-limiting when there aren...
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
tree
|
commitdiff
2014-06-25
Morgan Deters
BinaryHeap unit test and some usability/build fixes...
tree
|
commitdiff
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
tree
|
commitdiff
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
tree
|
commitdiff
2014-06-21
Morgan Deters
Some minor cleanup and documentation.
tree
|
commitdiff
2014-06-21
lianah
fixed build failure
tree
|
commitdiff
2014-06-19
lianah
fixed merge conflict
tree
|
commitdiff
2014-06-19
lianah
added model generation to eager bit-blasting and turned...
tree
|
commitdiff
2014-06-19
Kshitij Bansal
disable unate lemmas when using incremental mode
tree
|
commitdiff
2014-06-18
Kshitij Bansal
disable unate lemmas when using incremental mode
tree
|
commitdiff
2014-06-11
Kshitij Bansal
Merge pull request #31 from kbansal/sets
tree
|
commitdiff
2014-06-11
lianah
fixed unit tests failures
tree
|
commitdiff
2014-06-11
Kshitij Bansal
disable failing test
tree
|
commitdiff
2014-05-27
Kshitij Bansal
Merge pull request #27 from kbansal/statistics
tree
|
commitdiff
2014-05-27
Kshitij Bansal
update stats_black
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-04-01
Tim King
Fixing bug 552. There was a bug when integers are...
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-12
Morgan Deters
Fix LogicInfo unit test.
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-03-07
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-03-04
Morgan Deters
Don't theory-preprocess under quantifiers; but DO theor...
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-21
Kshitij Bansal
Merge pull request #10 from kbansal/sets-for-merge
tree
|
commitdiff
2014-02-21
Kshitij Bansal
add new theory (sets)
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-22
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-01-22
Morgan Deters
Delay QuantifiersEngine and UF strong solver initializa...
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
Better automatic handling of output language setting.
tree
|
commitdiff
2013-12-15
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-12-11
Morgan Deters
Fix timer statistics to report correct time even on...
tree
|
commitdiff
2013-12-11
Morgan Deters
Fix timer statistics to report correct time even on...
tree
|
commitdiff
2013-12-05
Morgan Deters
Update copyrights, add missing file-level documentation...
tree
|
commitdiff
2013-12-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-12-03
Morgan Deters
Support for parametric datatype subtyping, so that...
tree
|
commitdiff
2013-11-21
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-11-20
Tim King
Changing the number of bits allocated per field in...
tree
|
commitdiff
2013-11-11
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-11-07
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
2013-09-13
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-09-11
Tianyi Liang
Theory of strings.
tree
|
commitdiff
2013-09-09
Morgan Deters
Add support for check-sat with argument.
tree
|
commitdiff
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-27
Morgan Deters
Remove output.h from public space, to avoid clashes...
tree
|
commitdiff
next