projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix memory leak in unit test (#3068)
2019-04-24
Clark Barrett
Dco fix (#2973)
commit
|
commitdiff
|
tree
2018-04-02
Clark Barrett
Remove references to nyu (#1721)
commit
|
commitdiff
|
tree
2017-10-17
Clark Barrett
Fix for issue 1247 (#1257)
commit
|
commitdiff
|
tree
2017-10-05
Clark Barrett
Fix typo in comment.
commit
|
commitdiff
|
tree
2017-09-29
Clark Barrett
A few updates to license files.
commit
|
commitdiff
|
tree
2017-08-22
Clark Barrett
Updated NYU -> Stanford
commit
|
commitdiff
|
tree
2017-06-30
Clark Barrett
Updates to AUTHORS and THANKS for 1.5 (mostly done...
commit
|
commitdiff
|
tree
2017-06-30
Clark Barrett
Updated NEWS, README, RELEASE-NOTES.
commit
|
commitdiff
|
tree
2017-06-16
Clark Barrett
Merge pull request #170 from CVC4/fix_2_6_parser3
commit
|
commitdiff
|
tree
2017-06-16
Clark Barrett
Fix for bug 639.
commit
|
commitdiff
|
tree
2017-06-15
Clark Barrett
Merge pull request #167 from CVC4/fix_div
commit
|
commitdiff
|
tree
2017-06-04
Clark Barrett
Fix compile error
commit
|
commitdiff
|
tree
2017-05-28
Clark Barrett
Merge pull request #164 from CVC4/fix_comp
commit
|
commitdiff
|
tree
2017-05-17
Clark Barrett
Merge pull request #155 from makaimann/conditional_coverage
commit
|
commitdiff
|
tree
2017-05-16
Clark Barrett
Merge pull request #161 from 4tXJ7f/fix_parser
commit
|
commitdiff
|
tree
2017-05-16
Clark Barrett
Merge pull request #160 from 4tXJ7f/fix_win_build
commit
|
commitdiff
|
tree
2017-05-14
Clark Barrett
Merge pull request #154 from 4tXJ7f/fix_test
commit
|
commitdiff
|
tree
2017-04-28
Clark Barrett
Partial fix for bug 717.
commit
|
commitdiff
|
tree
2017-04-22
Clark Barrett
Merge pull request #151 from 4tXJ7f/fix_debug
commit
|
commitdiff
|
tree
2017-04-22
Clark Barrett
Disabled bug639.smt2 which still fails.
commit
|
commitdiff
|
tree
2017-04-21
Clark Barrett
Add test cases for bugs 639 and 681.
commit
|
commitdiff
|
tree
2017-04-21
Clark Barrett
Fix for bug 681 (now gives reasonable error message...
commit
|
commitdiff
|
tree
2017-04-21
Clark Barrett
Merge pull request #150 from 4tXJ7f/check_exceptions2
commit
|
commitdiff
|
tree
2017-04-19
Clark Barrett
Merge pull request #147 from makaimann/coverage_fix
commit
|
commitdiff
|
tree
2017-04-18
Clark Barrett
Fix for bug 639.
commit
|
commitdiff
|
tree
2017-04-13
Clark Barrett
Fix for some compilers
commit
|
commitdiff
|
tree
2017-04-06
Clark Barrett
Merge pull request #143 from FabianWolff/master
commit
|
commitdiff
|
tree
2017-04-04
Clark Barrett
Merge pull request #141 from 4tXJ7f/remove_def
commit
|
commitdiff
|
tree
2017-03-30
Clark Barrett
Merge pull request #139 from 4tXJ7f/remove_throw
commit
|
commitdiff
|
tree
2017-03-29
Clark Barrett
Fix for bug 733
commit
|
commitdiff
|
tree
2017-03-27
Clark Barrett
Merge pull request #137 from 4tXJ7f/throw_quals
commit
|
commitdiff
|
tree
2017-03-23
Clark Barrett
Fixing warning message.
commit
|
commitdiff
|
tree
2017-03-18
Clark Barrett
Fix for bug 707.
commit
|
commitdiff
|
tree
2017-03-18
Clark Barrett
Fix to help with bug 717
commit
|
commitdiff
|
tree
2017-03-15
Clark Barrett
Merge pull request #134 from 4tXJ7f/fix_host
commit
|
commitdiff
|
tree
2017-03-14
Clark Barrett
Merge pull request #132 from 4tXJ7f/fix_mingw64
commit
|
commitdiff
|
tree
2017-03-06
Clark Barrett
Adding support for bool-to-bv
Author:
Clark Barrett
<barrett@cs.stanford.edu>
Author:
Clark Barrett
<barrett@cs.stanford.edu>
Author:
Clark Barrett
<barrett@cs.stanford.edu>
Author:
Clark Barrett
<barrett@cs.stanford.edu>
commit
|
commitdiff
|
tree
2017-01-14
Clark Barrett
Fix call to SExpr constructor for greater portability.
commit
|
commitdiff
|
tree
2017-01-14
Clark Barrett
Merge pull request #130 from chadbrewbaker/master
commit
|
commitdiff
|
tree
2017-01-11
Clark Barrett
Merge pull request #129 from timothy-king/regression...
commit
|
commitdiff
|
tree
2017-01-11
Clark Barrett
Merge pull request #131 from makaimann/fix_702
commit
|
commitdiff
|
tree
2017-01-11
Clark Barrett
Merge pull request #127 from cristian-mattarei/issue_679
commit
|
commitdiff
|
tree
2016-12-14
Clark Barrett
Merge pull request #119 from 4tXJ7f/smt_v2_5
commit
|
commitdiff
|
tree
2016-12-14
Clark Barrett
Made tear-down-incremental more like it used to be...
commit
|
commitdiff
|
tree
2016-12-12
Clark Barrett
Merge pull request #117 from 4tXJ7f/fix_order
commit
|
commitdiff
|
tree
2016-12-12
Clark Barrett
Merge branch 'master' into fix_order
commit
|
commitdiff
|
tree
2016-12-12
Clark Barrett
Merge pull request #116 from 4tXJ7f/fix_mult
commit
|
commitdiff
|
tree
2016-12-06
Clark Barrett
Added "dump=raw-benchmark" option for dumping all user...
commit
|
commitdiff
|
tree
2016-12-03
Clark Barrett
Fix for bug 734
commit
|
commitdiff
|
tree
2016-12-02
Clark Barrett
Merge pull request #113 from 4tXJ7f/remove_extract_rule
commit
|
commitdiff
|
tree
2016-11-30
Clark Barrett
Merge pull request #115 from 4tXJ7f/bug766
commit
|
commitdiff
|
tree
2016-11-30
Clark Barrett
Merge pull request #114 from 4tXJ7f/add_unit_test
commit
|
commitdiff
|
tree
2016-11-28
Clark Barrett
Merge pull request #112 from 4tXJ7f/fix_mult_distrib
commit
|
commitdiff
|
tree
2016-11-18
Clark Barrett
Fix for unit test after changing default "all supported...
commit
|
commitdiff
|
tree
2016-11-18
Clark Barrett
Merge pull request #110 from 4tXJ7f/fix_makefiles
commit
|
commitdiff
|
tree
2016-11-18
Clark Barrett
Modified a couple of regressoins to use ALL/QF_ALL...
commit
|
commitdiff
|
tree
2016-11-18
Clark Barrett
Add support for set-logic ALL, fix compiler error in...
commit
|
commitdiff
|
tree
2016-11-16
Clark Barrett
Merge pull request #108 from timothy-king/smt2-parser...
commit
|
commitdiff
|
tree
2016-11-12
Clark Barrett
Merge pull request #107 from timothy-king/smt1-parser...
commit
|
commitdiff
|
tree
2016-11-12
Clark Barrett
Merge pull request #106 from timothy-king/cvc-parser...
commit
|
commitdiff
|
tree
2016-11-12
Clark Barrett
Fixed a bug in cdhashmap in which doubly-linked list...
commit
|
commitdiff
|
tree
2016-11-11
Clark Barrett
Enable eager bitblasting for QF_ABV when no stores...
commit
|
commitdiff
|
tree
2016-11-05
Clark Barrett
Merge pull request #101 from 4tXJ7f/fix_leak
commit
|
commitdiff
|
tree
2016-11-05
Clark Barrett
Fix memory leak in node_black unit test.
commit
|
commitdiff
|
tree
2016-10-27
Clark Barrett
Merge pull request #99 from 4tXJ7f/fix_dist_build3
commit
|
commitdiff
|
tree
2016-08-20
Clark Barrett
Fixed two bugs
commit
|
commitdiff
|
tree
2016-08-19
Clark Barrett
Added fitsSignedLong and fitsUnsignedLong
commit
|
commitdiff
|
tree
2016-06-23
Clark Barrett
Add theory/sep/kinds to EXTRA_DIST to fix distcheck...
commit
|
commitdiff
|
tree
2016-06-23
Clark Barrett
Fixed some warnings, fixed bug in cdhashmap that was...
commit
|
commitdiff
|
tree
2016-06-09
Clark Barrett
Dummy commit.
commit
|
commitdiff
|
tree
2016-05-31
Clark Barrett
Added Guy to authors list.
commit
|
commitdiff
|
tree
2016-05-28
Clark Barrett
Fix build
commit
|
commitdiff
|
tree
2016-05-28
Clark Barrett
Updated incremental run script
commit
|
commitdiff
|
tree
2016-05-28
Clark Barrett
Disabling failing unit test for now
commit
|
commitdiff
|
tree
2016-05-28
Clark Barrett
Removing check that is no longer valid.
commit
|
commitdiff
|
tree
2016-05-27
Clark Barrett
Merged QF_UFBV support from experimental branch
commit
|
commitdiff
|
tree
2016-05-27
Clark Barrett
Enabled bit-blasting option for QF_UFBV
commit
|
commitdiff
|
tree
2016-05-27
Clark Barrett
Updated incremental script
commit
|
commitdiff
|
tree
2016-05-27
Clark Barrett
Fixed bug in run script
commit
|
commitdiff
|
tree
2016-05-26
Clark Barrett
Merge branch 'master' of https://github.com/CVC4/CVC4
commit
|
commitdiff
|
tree
2016-05-26
Clark Barrett
Small change in run script
commit
|
commitdiff
|
tree
2016-05-26
Clark Barrett
Updated script, fixed bug in QF_NIA conversion.
commit
|
commitdiff
|
tree
2016-05-20
Clark Barrett
Updated AUTHORS file
commit
|
commitdiff
|
tree
2016-05-16
Clark Barrett
Fix memory leak in interactive_shell.cpp
commit
|
commitdiff
|
tree
2016-05-09
Clark Barrett
Re-enabling ite simplification in incremental mode...
commit
|
commitdiff
|
tree
2016-05-05
Clark Barrett
Update to COPYING
commit
|
commitdiff
|
tree
2016-04-28
Clark Barrett
Workaround for a problem in clang
commit
|
commitdiff
|
tree
2016-04-19
Clark Barrett
Fixed typo
commit
|
commitdiff
|
tree
2016-04-18
Clark Barrett
More fixes for python interface
commit
|
commitdiff
|
tree
2016-04-15
Clark Barrett
Fix for bug 717
commit
|
commitdiff
|
tree
2016-04-15
Clark Barrett
Fixes for python bindings
commit
|
commitdiff
|
tree
2016-03-23
Clark Barrett
Fixed help for tear-down-incremental option
commit
|
commitdiff
|
tree
2016-02-04
Clark Barrett
Fixed two more memory leaks in array_info.cpp
commit
|
commitdiff
|
tree
2016-02-03
Clark Barrett
Added --omit-dont-cares option which doesn't print...
commit
|
commitdiff
|
tree
2016-01-01
Clark Barrett
Added propagation rule for array ext lemmas to aid...
commit
|
commitdiff
|
tree
2015-12-31
Clark Barrett
Modified tear-down-incremental option to take an integer...
commit
|
commitdiff
|
tree
2015-12-27
Clark Barrett
Merged my changes from experimental branch (new array...
commit
|
commitdiff
|
tree
2015-12-23
Clark Barrett
Enabled array propagation during lemma propagation...
commit
|
commitdiff
|
tree
2015-12-23
Clark Barrett
Added extract.cpp example
commit
|
commitdiff
|
tree
2015-09-01
Clark Barrett
Fixed but with getAssertions
commit
|
commitdiff
|
tree
next