projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
More array constants and parsing: better error messages, extend to CVC presentation...
[cvc5.git]
/
test
/
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-24
ajreynol
Fix infinite loop in datatypes enumerator. Minor work...
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-09-17
ajreynol
Fix soundness bug for quantifier macros involving Int...
tree
|
commitdiff
2014-09-03
Kshitij Bansal
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2014-09-03
ajreynol
Implement and enable --dt-var-exp-quant, cleanup trace...
tree
|
commitdiff
2014-08-28
lianah
fixing bug580 caused by bad bv inequality explanation
tree
|
commitdiff
2014-08-28
lianah
fixing bug580 caused by bad bv inequality explanation
tree
|
commitdiff
2014-08-23
Morgan Deters
Unit test fix.
tree
|
commitdiff
2014-08-22
Morgan Deters
Unsat core infrastruture and API (SMT-LIB compliance...
tree
|
commitdiff
2014-08-22
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-22
Morgan Deters
Fix incorrectly-labeled test.
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-18
Morgan Deters
Revert a8e0ce67 and add test case (resolves bug #578).
tree
|
commitdiff
2014-08-04
Morgan Deters
Some fixes to symmetry breaker (resolves bug 576).
tree
|
commitdiff
2014-08-04
Morgan Deters
Some fixes to symmetry breaker (resolves bug 576).
tree
|
commitdiff
2014-08-04
Morgan Deters
Better support for resource-limiting when there aren...
tree
|
commitdiff
2014-07-25
Tianyi Liang
patch for regular expression intersection caching
tree
|
commitdiff
2014-07-21
Kshitij Bansal
run_regression using valgrind by setting VALGRIND=1
tree
|
commitdiff
2014-07-13
Morgan Deters
Status for new bug testcase.
tree
|
commitdiff
2014-07-13
Morgan Deters
Fix a bug in Boolean terms and arrays. Thanks to Jean...
tree
|
commitdiff
2014-07-11
Kshitij Bansal
Merge pull request #48 from kbansal/segfaultfix
tree
|
commitdiff
2014-07-11
Kshitij Bansal
Merge pull request #49 from kbansal/cvcparser
tree
|
commitdiff
2014-07-10
Kshitij Bansal
membership cvc token changed to `IS_IN' to avoid confli...
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-09
Kshitij Bansal
sets cvc parser
tree
|
commitdiff
2014-07-09
Kshitij Bansal
sets cvc printer
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-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Use FS as the set-logic string for theory of sets
tree
|
commitdiff
2014-06-29
Kshitij Bansal
sets: "insert" operator
tree
|
commitdiff
2014-06-27
Clark Barrett
Fix for bug543
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
Turn strings-exp off by default (for the release)
tree
|
commitdiff
2014-06-25
Kshitij Bansal
rename subseteq to subset in smtlib, all kinds and...
tree
|
commitdiff
2014-06-25
Morgan Deters
BinaryHeap unit test and some usability/build fixes...
tree
|
commitdiff
2014-06-23
Morgan Deters
Fatal error if --unconstrained-simp and --produce-model...
tree
|
commitdiff
2014-06-22
Kshitij Bansal
Renaming of SMT2 operator names, kinds for set theory
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
forgot to add the test with fix
tree
|
commitdiff
2014-06-19
Kshitij Bansal
disable unate lemmas when using incremental mode
tree
|
commitdiff
2014-06-18
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-06-18
Kshitij Bansal
forgot to add the test with fix
tree
|
commitdiff
2014-06-18
Kshitij Bansal
disable unate lemmas when using incremental mode
tree
|
commitdiff
2014-06-13
lianah
fixed BVMinisat bug due to not clearing seen properly
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 another test, after recent merges taking too...
tree
|
commitdiff
2014-06-11
Kshitij Bansal
disable failing test
tree
|
commitdiff
2014-06-11
Kshitij Bansal
sets: comment out an assertion too strong
tree
|
commitdiff
2014-06-11
Kshitij Bansal
user/sat context issue in sets
tree
|
commitdiff
2014-06-11
Kshitij Bansal
fix in sets rewriter
tree
|
commitdiff
2014-06-10
lianah
Merging CAV14 paper bit-vector work.
tree
|
commitdiff
2014-06-09
Kshitij Bansal
Merge pull request #29 from kbansal/alternatefix
tree
|
commitdiff
2014-06-09
Kshitij Bansal
test for prvs commit (tokenize emptyset)
tree
|
commitdiff
2014-06-06
Kshitij Bansal
Merge pull request #28 from kbansal/sets
tree
|
commitdiff
2014-06-06
Tim King
Patch for the subtype theoryof mode to make the equalit...
tree
|
commitdiff
2014-06-06
Kshitij Bansal
sets: fix equality propagation
tree
|
commitdiff
2014-05-30
Morgan Deters
Update submission make rules.
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-05-25
Andrew Reynolds
Improve quantifier instantiation: always use original...
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
sets: fix a bug in model building, another in handling...
tree
|
commitdiff
2014-05-13
ajreynol
Add lazy strategy for bounded integers to avoid non...
tree
|
commitdiff
2014-05-12
Tim King
Merge remote-tracking branch 'timothy-king/master'
tree
|
commitdiff
2014-05-12
Tianyi Liang
Add a benchmark that detects a bug in parsing. Thank...
tree
|
commitdiff
2014-05-12
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-05-10
Andrew Reynolds
Bug fixes to CBQI. Add first draft of CASC j7 TFF...
tree
|
commitdiff
2014-05-01
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-04-30
Tim King
T-entailment work, and QCF (quant conflict find) work...
tree
|
commitdiff
2014-04-29
Kshitij Bansal
fix was compiler warning in antlr_input, crashing test...
tree
|
commitdiff
2014-04-29
Tianyi Liang
add leading zeros support for str.to.int
tree
|
commitdiff
2014-04-28
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-04-28
Kshitij Bansal
Merge pull request #25 from kbansal/sets
tree
|
commitdiff
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-04-28
Kshitij Bansal
travis, please!
tree
|
commitdiff
2014-04-27
Kshitij Bansal
attempt to improve CVC4's "parse error" message
tree
|
commitdiff
2014-04-14
Andrew Reynolds
Fix bug in mbqi=fmc handling theory symbols. Fix mbqi...
tree
|
commitdiff
2014-04-10
Andrew Reynolds
Expand definitions in theory datatypes, now has the...
tree
|
commitdiff
next