git.libre-soc.org Git - cvc5.git/search

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

RSS Atom