projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fixes to theoryof-mode; no longer static in Theory class.
[cvc5.git]
/
test
/
2013-09-13
Morgan Deters
Move some regress benchmarks around that took too long...
tree
|
commitdiff
2013-09-13
Morgan Deters
Documentation fixes, some code typo fixes, file perms...
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
Andrew Reynolds
Another minor fix for datatypes to repair my previous...
tree
|
commitdiff
2013-09-09
Morgan Deters
Add support for check-sat with argument.
tree
|
commitdiff
2013-09-09
Morgan Deters
Support empty (and 1-ary) tuples and records.
tree
|
commitdiff
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
tree
|
commitdiff
2013-08-26
Kshitij Bansal
bug 374 fix: assert litVal=desiredVal only for leaf...
tree
|
commitdiff
2013-08-26
Kshitij Bansal
Bug 374 benchmarks
tree
|
commitdiff
2013-07-30
Morgan Deters
Minor fixes to build system.
tree
|
commitdiff
2013-07-29
Morgan Deters
Fix numerous compiler warnings on various platforms
tree
|
commitdiff
2013-07-24
Morgan Deters
Regressions now checking models on unknown too. But...
tree
|
commitdiff
2013-07-20
Morgan Deters
enable bug521 regression tests
tree
|
commitdiff
2013-07-17
Morgan Deters
Fix bug 516; include some bug testcases.
tree
|
commitdiff
2013-07-11
Morgan Deters
Support for TPTP's TFF0 (with arithmetic)
tree
|
commitdiff
2013-07-10
Morgan Deters
Fix for bug 519; don't involve ITESimplifier in model...
tree
|
commitdiff
2013-06-27
Morgan Deters
Remove output.h from public space, to avoid clashes...
tree
|
commitdiff
2013-06-25
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-25
Morgan Deters
Support for abs, to_int, is_int, divisible in SMT-LIB...
tree
|
commitdiff
2013-06-19
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-04
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-04
Morgan Deters
Fix clang static initialization order issue; fixes...
tree
|
commitdiff
2013-06-03
Morgan Deters
Merge tag 'casc24'
tree
|
commitdiff
2013-05-29
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-28
Morgan Deters
Standardize SMT-LIBv2 set of logics to use LogicInfo.
tree
|
commitdiff
2013-05-23
Andrew Reynolds
Refactoring to prepare for MBQI with integer quantifica...
tree
|
commitdiff
2013-05-22
Andrew Reynolds
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-05-22
Andrew Reynolds
Add regressions for finite model finding
tree
|
commitdiff
2013-05-21
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-21
Morgan Deters
Fix bug 512: an assertion failure only appearing with...
tree
|
commitdiff
2013-05-21
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-21
Morgan Deters
Fix incremental bug in symmetry breaker.
tree
|
commitdiff
2013-05-20
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-05-20
Morgan Deters
Fix for equality-chaining of Booleans in SMT-LIBv2.
tree
|
commitdiff
2013-05-17
Morgan Deters
Fix for equality-chaining of Booleans in SMT-LIBv2.
tree
|
commitdiff
2013-05-09
Kshitij Bansal
Merge branch 'master' of ssh://github.com/CVC4/CVC4
tree
|
commitdiff
2013-05-09
Tim King
Changing the integer normal form to increase matching.
tree
|
commitdiff
2013-05-07
Dejan Jovanović
fix for bug500
tree
|
commitdiff
2013-05-03
Tim King
Fixing compilation of unit tests. These problems were...
tree
|
commitdiff
2013-05-03
Tim King
Merging branch 'soiquickexplain'.
tree
|
commitdiff
2013-05-03
Tim King
Merge branch 'fcexplanations'
tree
|
commitdiff
2013-05-02
lianah
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-05-01
Morgan Deters
Fix to boolean-terms; resolves bug #507
tree
|
commitdiff
2013-05-01
Morgan Deters
Adding a missing makefile to the dist (fixes distcheck)
tree
|
commitdiff
2013-04-30
lianah
fixed merge conflicts
tree
|
commitdiff
2013-04-30
Kshitij Bansal
add decision_attributes.h for make dist
tree
|
commitdiff
2013-04-29
Morgan Deters
Some fixes for GCC 4.2, and for Java on Mac
tree
|
commitdiff
2013-04-29
Kshitij Bansal
Merge pull request #9 from kbansal/master
tree
|
commitdiff
2013-04-26
Kshitij Bansal
Merge experimental decisionweight branch
tree
|
commitdiff
2013-04-26
Tim King
FCSimplex branch merge
tree
|
commitdiff
2013-04-25
Morgan Deters
Add ability to run different regression levels with...
tree
|
commitdiff
2013-04-18
lianah
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-04-17
Kshitij Bansal
boolean flatten: bug fix in dfs search
tree
|
commitdiff
2013-04-17
Kshitij Bansal
generalize to handle and
tree
|
commitdiff
2013-04-16
Kshitij Bansal
flatten or nodes
tree
|
commitdiff
2013-04-05
Morgan Deters
Fix unit test (compile error) for new SatSolver interface
tree
|
commitdiff
2013-04-03
Morgan Deters
Some final minor changes before cutting 1.1.
tree
|
commitdiff
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
tree
|
commitdiff
2013-04-02
Morgan Deters
update copyrights
tree
|
commitdiff
2013-04-02
Morgan Deters
Fixes for two bugs:
tree
|
commitdiff
2013-04-01
Tim King
Adding tests for the previous commit.
tree
|
commitdiff
2013-04-01
Morgan Deters
Merging some cleanup work:
tree
|
commitdiff
2013-04-01
Tim King
Fix for iff terms over equalities between the same...
tree
|
commitdiff
2013-04-01
Morgan Deters
Fix bug 491 and related issues with checkModel() and...
tree
|
commitdiff
2013-04-01
lianah
fixed TheoryBool rewriter bug
tree
|
commitdiff
2013-03-29
Dejan Jovanović
Merge branch 'master' of github.com:CVC4/CVC4
tree
|
commitdiff
2013-03-27
lianah
Merge branch 'master' into bv-core
tree
|
commitdiff
2013-03-27
lianah
added model generation for bv subtheories and bv-inequa...
tree
|
commitdiff
2013-03-23
lianah
non-incremental inequality solver seems to be bug-free...
tree
|
commitdiff
2013-03-23
Dejan Jovanović
Merge remote-tracking branch 'dddejan/c++11'
tree
|
commitdiff
2013-03-22
Morgan Deters
Support for Boolean term conversion in datatypes.
tree
|
commitdiff
2013-03-22
lianah
Merge branch 'master' into bv-core
tree
|
commitdiff
2013-03-21
lianah
Merge branch 'master' into bv-core
tree
|
commitdiff
2013-03-21
lianah
Merge branch 'master' into bv-core
tree
|
commitdiff
2013-03-21
Dejan Jovanović
Merge branch 'master' of github.com:CVC4/CVC4
tree
|
commitdiff
2013-03-21
Morgan Deters
Some model and printing fixes for defined functions...
tree
|
commitdiff
2013-03-21
lianah
added regression test for constant eval
tree
|
commitdiff
2013-03-21
lianah
Merge branch 'master' into bv-core
tree
|
commitdiff
2013-03-21
lianah
added more tests
tree
|
commitdiff
2013-03-21
lianah
generalized bv inequality reasoning to handle both...
tree
|
commitdiff
2013-03-21
Morgan Deters
Fix to bug 497: make justification heuristic's ITE...
tree
|
commitdiff
2013-03-20
Morgan Deters
Interactive mode support for multiline input
tree
|
commitdiff
2013-03-20
Morgan Deters
Properly |quote| symbols in SMT-LIBv2 output.
tree
|
commitdiff
2013-03-20
Liana Hadarean
one more ineq regression
tree
|
commitdiff
2013-03-20
Liana Hadarean
fixed reversed concat in core theory
tree
|
commitdiff
2013-03-20
Liana Hadarean
merged master with dejan's constant evaluating equality...
tree
|
commitdiff
2013-03-20
Liana Hadarean
inequality reasoning works on small examples added...
tree
|
commitdiff
2013-03-19
Morgan Deters
Fixes for miplib-trick application (and a new testcase)
tree
|
commitdiff
2013-03-16
lianah
started work on the inequality bv subtheory
tree
|
commitdiff
2013-03-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
fix to build system: #include the proper file when...
tree
|
commitdiff
2013-03-13
lianah
post failed attempts at getting the incremental solver...
tree
|
commitdiff
2013-03-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-01
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-26
lianah
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-26
lianah
Merge branch '1.0.x' of https://github.com/CVC4/CVC4...
tree
|
commitdiff
2013-02-26
lianah
fix for bv crash in incremental mode; this is a tempora...
tree
|
commitdiff
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
next