| 2012-09-12 |
Morgan Deters | Adding model assertions after SAT responses.
|
commit | commitdiff | tree |
| 2012-09-10 |
Morgan Deters | list portfolio_util.h in Makefile, so it gets distributed...
|
commit | commitdiff | tree |
| 2012-09-08 |
Morgan Deters | Add [*] footnotes to --help output indicating for many...
|
commit | commitdiff | tree |
| 2012-09-08 |
Morgan Deters | Some minor changes after reviewing the portfolio "unified...
|
commit | commitdiff | tree |
| 2012-09-06 |
Morgan Deters | allow SmtEngine::setOption() for trace and debug tags
|
commit | commitdiff | tree |
| 2012-09-06 |
Morgan Deters | fixes to the compatibility layer; this fixes the broken...
|
commit | commitdiff | tree |
| 2012-09-06 |
Morgan Deters | Remove SmtEngine::getStackLevel(), which exposed implementat...
|
commit | commitdiff | tree |
| 2012-09-06 |
Morgan Deters | add --incremental to --smtlib2 compliance mode (thanks...
|
commit | commitdiff | tree |
| 2012-09-05 |
Morgan Deters | add a THANKS file for listing external source code...
|
commit | commitdiff | tree |
| 2012-09-04 |
Morgan Deters | Accepted some patches from the Multicore Programming...
|
commit | commitdiff | tree |
| 2012-08-30 |
Morgan Deters | set the default expression-printing depth to "unlimited"
|
commit | commitdiff | tree |
| 2012-08-29 |
Morgan Deters | * Numerous documentation fixes (fix doxygen warnings...
|
commit | commitdiff | tree |
| 2012-08-29 |
Morgan Deters | To the build system:
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | test summaries for automake 1.12 test harness
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | fix a bug in CLN rational printing where the base was...
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | fix regression tests for automake 1.11 and automake...
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | Improved compatibility layer, now supports quantifiers...
|
commit | commitdiff | tree |
| 2012-08-28 |
Morgan Deters | fixes for Mac and automake 1.12 detection
|
commit | commitdiff | tree |
| 2012-08-27 |
Morgan Deters | fix a destruction-order issue that was (1) causing...
|
commit | commitdiff | tree |
| 2012-08-27 |
Morgan Deters | * Reversing commit r4258 (which disabled failing regressions...
|
commit | commitdiff | tree |
| 2012-08-25 |
Morgan Deters | fix unit tests
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | * disallow internal uses of mkVar() (you have to mkSkolem())
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | disallow assertions to inactive theories.
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | fix TheoryEngine::collectModelInfo() to only call collectMod...
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | fix warning in arrays rewriter
|
commit | commitdiff | tree |
| 2012-08-24 |
Morgan Deters | fix get-value output in a couple ways; this fixes bug...
|
commit | commitdiff | tree |
| 2012-08-23 |
Morgan Deters | attribute stuff for Clark's array constants
|
commit | commitdiff | tree |
| 2012-08-22 |
Morgan Deters | Cap finite cardinalities at 2^64, as discussed in the...
|
commit | commitdiff | tree |
| 2012-08-22 |
Morgan Deters | fix some build dependencies in options-building; should...
|
commit | commitdiff | tree |
| 2012-08-21 |
Morgan Deters | add some incremental in-tree regressions
|
commit | commitdiff | tree |
| 2012-08-20 |
Morgan Deters | remove duplicate function TheoryEngine::getTheory(TheoryId...
|
commit | commitdiff | tree |
| 2012-08-20 |
Morgan Deters | removing v1l20009.cvc, a datatypes benchmark where...
|
commit | commitdiff | tree |
| 2012-08-20 |
Morgan Deters | minor cleanup
|
commit | commitdiff | tree |
| 2012-08-20 |
Morgan Deters | fixes for java bindings
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | The SmtEngine now ensures that setLogicInternal() is...
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | Replace propagateAsDecision() with Theory::getNextDecisionRe...
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | ArrayStoreAll should (for now) only allow constant...
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | fix exceptions and mkConst() in java binding
|
commit | commitdiff | tree |
| 2012-08-16 |
Morgan Deters | some fixes for language bindings
|
commit | commitdiff | tree |
| 2012-08-14 |
Morgan Deters | Fixes to integer wrapper classes:
|
commit | commitdiff | tree |
| 2012-08-13 |
Morgan Deters | fix integer parsing error.. thanks dejan for the report...
|
commit | commitdiff | tree |
| 2012-08-13 |
Morgan Deters | Make a few functions in TheoryEngine (like theoryOf...
|
commit | commitdiff | tree |
| 2012-08-13 |
Morgan Deters | Minor cleanup. No performance difference expected.
|
commit | commitdiff | tree |
| 2012-08-09 |
Morgan Deters | minor isConst()-related fixes to printing; also add...
|
commit | commitdiff | tree |
| 2012-08-08 |
Morgan Deters | Fix --no-checking option.
|
commit | commitdiff | tree |
| 2012-08-08 |
Morgan Deters | Public interface review items:
|
commit | commitdiff | tree |
| 2012-08-07 |
Morgan Deters | some fixes to command and declaration tab-completion...
|
commit | commitdiff | tree |
| 2012-08-07 |
Morgan Deters | Some items from the CVC4 public interface review:
|
commit | commitdiff | tree |
| 2012-08-07 |
Morgan Deters | Fix SmtEngine::setInfo() handling for certain keys...
|
commit | commitdiff | tree |
| 2012-08-06 |
Morgan Deters | Support setting :regular-output-channel and :diagnostic...
|
commit | commitdiff | tree |
| 2012-08-06 |
Morgan Deters | Cleanup of some command stuff, fixes broken Java build.
|
commit | commitdiff | tree |
| 2012-08-05 |
Morgan Deters | Disable failing datatypes regression, pending solution...
|
commit | commitdiff | tree |
| 2012-08-04 |
Morgan Deters | isConst() rule for datatypes
|
commit | commitdiff | tree |
| 2012-08-03 |
Morgan Deters | the array-store "construle" for isConst
|
commit | commitdiff | tree |
| 2012-08-03 |
Morgan Deters | Comparisons for LogicInfos, and associated tests
|
commit | commitdiff | tree |
| 2012-08-03 |
Morgan Deters | ArrayStoreAll infrastructure
|
commit | commitdiff | tree |
| 2012-08-03 |
Morgan Deters | fix uses of getMetaKind() from outside the expr package...
|
commit | commitdiff | tree |
| 2012-08-03 |
Morgan Deters | fix for proofs-enabled builds
|
commit | commitdiff | tree |
| 2012-08-03 |
Morgan Deters | better parser makefile fix
|
commit | commitdiff | tree |
| 2012-08-02 |
Morgan Deters | fixes to paths in parser makefiles; if you've noticed...
|
commit | commitdiff | tree |
| 2012-08-02 |
Morgan Deters | array-store-all class
|
commit | commitdiff | tree |
| 2012-08-01 |
Morgan Deters | add isFinished() to type enumerators (so we don't rely...
|
commit | commitdiff | tree |
| 2012-08-01 |
Morgan Deters | a couple fixes to SmtEngine::setOption(). thanks Andy...
|
commit | commitdiff | tree |
| 2012-08-01 |
Morgan Deters | fixes to some *clean targets
|
commit | commitdiff | tree |
| 2012-08-01 |
Morgan Deters | fix for the SmtEngine::beforeSearch() option predicate
|
commit | commitdiff | tree |
| 2012-08-01 |
Morgan Deters | some fixes for Mac OS
|
commit | commitdiff | tree |
| 2012-07-31 |
Morgan Deters | fixes for portfolio
|
commit | commitdiff | tree |
| 2012-07-31 |
Morgan Deters | Moving some instantiation-related stuff from src/theory...
|
commit | commitdiff | tree |
| 2012-07-31 |
Morgan Deters | fix some file documentation
|
commit | commitdiff | tree |
| 2012-07-31 |
Morgan Deters | Options merge. This commit:
|
commit | commitdiff | tree |
| 2012-07-27 |
Morgan Deters | Minor cleanup after today's commits:
|
commit | commitdiff | tree |
| 2012-07-26 |
Morgan Deters | Datatype enumerator work. This version is not a "fair...
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | more compliance fixes for SMT-LIBv2
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | a few fixes for java system test
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | small change to model-generation function, after discussion...
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | removing an obsolete assertion in model-generation...
|
commit | commitdiff | tree |
| 2012-07-18 |
Morgan Deters | removing output operator for SExprTypes, which is never...
|
commit | commitdiff | tree |
| 2012-07-17 |
Morgan Deters | SMT-LIBv2 compliance updates:
|
commit | commitdiff | tree |
| 2012-07-17 |
Morgan Deters | fix for --produce-models with CVC4 presentation language
|
commit | commitdiff | tree |
| 2012-07-17 |
Morgan Deters | fix an obvious oversight: "distinct" wasn't part of...
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | now passes "make distcheck", which does important checks...
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | fix compiler warning in unit test
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | stronger two_smt_engines test
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | fix inadvertent change to system test
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | Support for having two SmtEngines with the same ExprManager.
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | found a bug in the initialization order of UF, EqualityEngin...
|
commit | commitdiff | tree |
| 2012-07-16 |
Morgan Deters | reverse the order of link arguments to -lcln -lgmp...
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | Type enumerator infrastructure and uninterpreted constant...
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | Applying Dejan's patch for bug #369, which resolves...
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | fixing make dist
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | fix a warning in unit test compilation
|
commit | commitdiff | tree |
| 2012-07-14 |
Morgan Deters | svn ignore
|
commit | commitdiff | tree |
| 2012-07-10 |
Morgan Deters | svn ingore
|
commit | commitdiff | tree |
| 2012-07-09 |
Morgan Deters | minor fix-ups
|
commit | commitdiff | tree |
| 2012-07-09 |
Morgan Deters | fix portfolio build
|
commit | commitdiff | tree |
| 2012-07-09 |
Morgan Deters | fix eXecutable bit on a script
|
commit | commitdiff | tree |
| 2012-07-08 |
Morgan Deters | minor SMT-LIBv2 compliance issues
|
commit | commitdiff | tree |
| 2012-07-08 |
Morgan Deters | remove a debugging line from configure script that...
|
commit | commitdiff | tree |
| 2012-07-08 |
Morgan Deters | another signed-ness warning fix for newer GCC
|
commit | commitdiff | tree |
| 2012-07-08 |
Morgan Deters | Minor changes to avoid some warnings on GCC 4.7.1 ...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search