| 2016-11-18 |
Clark Barrett | Add support for set-logic ALL, fix compiler error in...
|
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 | Fix memory leak in node_black unit test.
|
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 |
| 2015-06-15 |
Clark Barrett | Changing options for QF_AUFNIA to avoid bug
|
commit | commitdiff | tree |
| 2015-06-13 |
Clark Barrett | Fixed bug in iteSimp
|
commit | commitdiff | tree |
| 2015-06-13 |
Clark Barrett | Fix for assertion failure:
|
commit | commitdiff | tree |
| 2015-05-12 |
Clark Barrett | Added Finn Haedicke as a contributor.
|
commit | commitdiff | tree |
| 2015-04-28 |
Clark Barrett | Merge branch 'master' of https://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
| 2015-04-28 |
Clark Barrett | Fixed problem with private/public header clash
|
commit | commitdiff | tree |
| 2015-04-28 |
Clark Barrett | Disambiguate namespaces in options, fix permissions
|
commit | commitdiff | tree |
| 2015-04-24 |
Clark Barrett | Fix compiler errors due to unbalanced throw specifiers.
|
commit | commitdiff | tree |
| 2015-04-23 |
Clark Barrett | Merge branch 'master' into google
|
commit | commitdiff | tree |
| 2015-04-23 |
Clark Barrett | Whitespace difference
|
commit | commitdiff | tree |
| 2015-04-23 |
Clark Barrett | A few more minor updates to match google repository...
|
commit | commitdiff | tree |
| 2015-04-21 |
Clark Barrett | Changes needed to compile at Google, plus some bug...
|
commit | commitdiff | tree |
| 2015-04-21 |
Clark Barrett | Fix file permissions
|
commit | commitdiff | tree |
| 2015-04-15 |
Clark Barrett | Fix for unconstrained bug.
|
commit | commitdiff | tree |
| 2014-11-13 |
Clark Barrett | Minor changes to AUTHORS and COPYING
|
commit | commitdiff | tree |
| 2014-11-08 |
Clark Barrett | Fixed bug in model builder with subtypes
|
commit | commitdiff | tree |
| 2014-11-02 |
Clark Barrett | Added cache to getModelValue
|
commit | commitdiff | tree |
| 2014-10-30 |
Clark Barrett | Be more lazy about generating array lemmas
|
commit | commitdiff | tree |
| 2014-10-30 |
Clark Barrett | Added new, much faster, care graph computation for...
|
commit | commitdiff | tree |
| 2014-10-21 |
Clark Barrett | Fixed bug 590, added regression test
|
commit | commitdiff | tree |
| 2014-10-02 |
Clark Barrett | Added internal support for constant arrays.
|
commit | commitdiff | tree |
| 2014-10-02 |
Clark Barrett | Added option for developer use only
|
commit | commitdiff | tree |
| 2014-10-02 |
Clark Barrett | More model-based combination for arrays
|
commit | commitdiff | tree |
| 2014-10-02 |
Clark Barrett | Better getEqualityStatus for arrays, smarter combination...
|
commit | commitdiff | tree |
| 2014-06-27 |
Clark Barrett | Fix for bug543
|
commit | commitdiff | tree |
| 2014-06-27 |
Clark Barrett | Updated run script for QF_ABV
|
commit | commitdiff | tree |
| 2014-06-13 |
Clark Barrett | Update for QF_AUFLIA strategy
|
commit | commitdiff | tree |
| 2014-06-12 |
Clark Barrett | Modified run script for QF_AX
|
commit | commitdiff | tree |
| 2014-06-12 |
Clark Barrett | Modified run script for QF_LRA
|
commit | commitdiff | tree |
| 2014-05-26 |
Clark Barrett | Fixing Tim's subtype/solving bug for arrays
|
commit | commitdiff | tree |
| 2013-11-25 |
Clark Barrett | Array collectModelInfo fix for Andy
|
commit | commitdiff | tree |
| 2013-10-28 |
Clark Barrett | Turn off model-based arrays (causing crashes in portfolio)
|
commit | commitdiff | tree |
| 2013-10-24 |
Clark Barrett | Fix for bug515
|
commit | commitdiff | tree |
| 2013-09-24 |
Clark Barrett | Reduce compiler dependencies on substitutions.h,
|
commit | commitdiff | tree |
| 2013-09-24 |
Clark Barrett | Better fix for bug 528
|
commit | commitdiff | tree |
| 2013-09-23 |
Clark Barrett | Cleaner version of bug-fix for 528, also moved substitutions...
|
commit | commitdiff | tree |
| 2013-09-19 |
Clark Barrett | Fix for bug 528
|
commit | commitdiff | tree |
| 2013-05-08 |
Clark Barrett | Fixed assertion bug
|
commit | commitdiff | tree |
| 2013-05-06 |
Clark Barrett | Some bug fixes for mb arrays
|
commit | commitdiff | tree |
| 2013-04-11 |
Clark Barrett | Improved speed of no redundant lemma assertion by using...
|
commit | commitdiff | tree |
| 2013-04-11 |
Clark Barrett | Fixes for getModelVal in bv theory
|
commit | commitdiff | tree |
| 2013-04-11 |
Clark Barrett | Added check for infinite lemma loop
|
commit | commitdiff | tree |
| 2013-04-02 |
Clark Barrett | Fix regression error by turning off model-based solver...
|
commit | commitdiff | tree |
| 2013-04-02 |
Clark Barrett | Turning on model based array solver for QF_AX
|
commit | commitdiff | tree |
| 2013-04-02 |
Clark Barrett | Made eager lemmas an option, enabled for QF_AX
|
commit | commitdiff | tree |
| 2013-04-02 |
Clark Barrett | Disabling eager array index splitting for QF_AX
|
commit | commitdiff | tree |
| 2013-03-31 |
Clark Barrett | Disabling eager array index splitting for QF_AUFLIA
|
commit | commitdiff | tree |
| 2013-03-28 |
Clark Barrett | Fixed a warning, made eager-index default to true ...
|
commit | commitdiff | tree |
| 2013-03-28 |
Clark Barrett | Fixed bug in arrays
|
commit | commitdiff | tree |
| 2013-03-28 |
Clark Barrett | Added assertion
|
commit | commitdiff | tree |
| 2013-03-28 |
Clark Barrett | Updates to model-based array solver
|
commit | commitdiff | tree |
| 2013-03-28 |
Clark Barrett | New model-based array procedure
|
commit | commitdiff | tree |
| 2013-03-14 |
Clark Barrett | Added a rewrite for iff:
|
commit | commitdiff | tree |
| 2013-03-06 |
Clark Barrett | Best heuristics for handling decision requests from...
|
commit | commitdiff | tree |
| 2012-12-03 |
Clark Barrett | Fix for fuzzer-found model bug
|
commit | commitdiff | tree |
| 2012-12-01 |
Clark Barrett | Throw a logic exception if user makes an assertion...
|
commit | commitdiff | tree |
| 2012-11-30 |
Clark Barrett | Fix assertion in smt_engine's getValue
|
commit | commitdiff | tree |
| 2012-11-29 |
Clark Barrett | Fix for nasty corner case found by fuzzer...
|
commit | commitdiff | tree |
| 2012-11-29 |
Clark Barrett | Fixing function models with Boolean terms. Also, LAMBDA...
|
commit | commitdiff | tree |
| 2012-11-28 |
Clark Barrett | Fix for getValue. Now it can handle lambda applications
|
commit | commitdiff | tree |
| 2012-11-17 |
Clark Barrett | Fixed last currently known bug in array models
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search