| 2013-06-28 |
Morgan Deters | Fix portfolio builds after yesterday's commits.
|
commit | commitdiff | tree |
| 2013-06-27 |
Morgan Deters | Better check-models output for some kinds of problems...
|
commit | commitdiff | tree |
| 2013-06-27 |
Morgan Deters | Fix minor warnings found by recent clang/gcc.
|
commit | commitdiff | tree |
| 2013-06-27 |
Morgan Deters | Remove output.h from public space, to avoid clashes...
|
commit | commitdiff | tree |
| 2013-06-27 |
Morgan Deters | Small fix for IS_INTEGER.
|
commit | commitdiff | tree |
| 2013-06-27 |
Morgan Deters | Remove macros EXPECT_TRUE / EXPECT_FALSE from cvc4_public...
|
commit | commitdiff | tree |
| 2013-06-27 |
Morgan Deters | Better user documentation for mkVar() and mkBoundVar().
|
commit | commitdiff | tree |
| 2013-06-27 |
Morgan Deters | Minor printer cleanup for SMT-LIBv2 symbols "div" and...
|
commit | commitdiff | tree |
| 2013-06-25 |
Morgan Deters | Merge branch '1.2.x'
|
commit | commitdiff | tree |
| 2013-06-25 |
Morgan Deters | Proposed fix for bug #513
|
commit | commitdiff | tree |
| 2013-06-25 |
Morgan Deters | Add files missing from last commit
|
commit | commitdiff | tree |
| 2013-06-25 |
Morgan Deters | Support for abs, to_int, is_int, divisible in SMT-LIB...
|
commit | commitdiff | tree |
| 2013-06-21 |
Morgan Deters | Fix failure in non-assertion builds on incorrect SmtEngine...
|
commit | commitdiff | tree |
| 2013-06-19 |
Morgan Deters | Merge branch '1.2.x'
|
commit | commitdiff | tree |
| 2013-06-19 |
Morgan Deters | Workaround for suspected clang 3.0 codegen bug on Mac
|
commit | commitdiff | tree |
| 2013-06-19 |
Morgan Deters | Fix to the "include" extended feature of the SMT-LIB...
|
commit | commitdiff | tree |
| 2013-06-19 |
Morgan Deters | Give a more useful parse error message for "undeclared...
|
commit | commitdiff | tree |
| 2013-06-17 |
Morgan Deters | Java streams example I forgot to add a long time ago
|
commit | commitdiff | tree |
| 2013-06-10 |
Morgan Deters | another fix for array-store-all printing
|
commit | commitdiff | tree |
| 2013-06-10 |
Morgan Deters | Better array-store-all output for SMT-LIB.
|
commit | commitdiff | tree |
| 2013-06-08 |
Morgan Deters | Fix typos in alttheoryskel
|
commit | commitdiff | tree |
| 2013-06-08 |
Morgan Deters | Fixes for Boolean terms in arrays (including fix for...
|
commit | commitdiff | tree |
| 2013-06-07 |
Morgan Deters | One more case for arrays of Boolean.
|
commit | commitdiff | tree |
| 2013-06-07 |
Morgan Deters | Fix for bug 517.
|
commit | commitdiff | tree |
| 2013-06-07 |
Morgan Deters | Allow disabling include-file feature
|
commit | commitdiff | tree |
| 2013-06-04 |
Morgan Deters | File inclusion in Smt2 parser.
|
commit | commitdiff | tree |
| 2013-06-04 |
Morgan Deters | Add --no-condense-function-values option for explicit...
|
commit | commitdiff | tree |
| 2013-06-04 |
Morgan Deters | Merge branch '1.2.x'
|
commit | commitdiff | tree |
| 2013-06-04 |
Morgan Deters | Fix clang static initialization order issue; fixes...
|
commit | commitdiff | tree |
| 2013-06-03 |
Morgan Deters | Merge tag 'casc24'
|
commit | commitdiff | tree |
| 2013-06-03 |
Morgan Deters | Updated CASC scripts, as provided to Geoff Sutcliffe
|
commit | commitdiff | tree |
| 2013-05-29 |
Morgan Deters | Merge branch '1.2.x'
|
commit | commitdiff | tree |
| 2013-05-29 |
Morgan Deters | Per SMT-LIB spec, allow (set-info..) command to succeed...
|
commit | commitdiff | tree |
| 2013-05-29 |
Morgan Deters | SMT-LIB printer updates (some missing cases).
|
commit | commitdiff | tree |
| 2013-05-29 |
Morgan Deters | Fix bug where strict mode didn't allow DIV or MOD,...
|
commit | commitdiff | tree |
| 2013-05-28 |
Morgan Deters | Standardize SMT-LIBv2 set of logics to use LogicInfo.
|
commit | commitdiff | tree |
| 2013-05-21 |
Morgan Deters | Merge branch '1.2.x'
|
commit | commitdiff | tree |
| 2013-05-21 |
Morgan Deters | Fix bug 512: an assertion failure only appearing with...
|
commit | commitdiff | tree |
| 2013-05-21 |
Morgan Deters | Fix an error that valgrind found.
|
commit | commitdiff | tree |
| 2013-05-21 |
Morgan Deters | Merge branch '1.2.x'
|
commit | commitdiff | tree |
| 2013-05-21 |
Morgan Deters | Fix incremental bug in symmetry breaker.
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Merge branch '1.2.x'
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Fix error reporting on use of (nonlinear) div,mod,...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Update THANKS to mention David Cok's contributions.
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Detect multiply-defined :named annotations and issue...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Fix parsing of SMT-LIBv2 |quoted| symbols that span...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Compliance fixes for :named annotations: they must...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Don't allow get-model & co after a user push/pop
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | As per SMT-LIB standard: make - and xor take n>2 args...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Fix for equality-chaining of Booleans in SMT-LIBv2.
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Fix destruction issue in GetValueCommand leading to...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Better error on invalid logic strings.
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Better error on illegal (pop N); also more compliant...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | A couple of fixes to the get-option command for compliance...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Disallow construction of (_ BitVec 0).
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Fixed "success" response to (push N) / (pop N) with...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Fix to empty response to (get-assignment).
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | configure fix for building with glpk on redhat, perhaps...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | minor changes to language bindings
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | disable Logic-checking with finite model finding for...
|
commit | commitdiff | tree |
| 2013-05-20 |
Morgan Deters | Fix erroneous results when the logic was incorrectly...
|
commit | commitdiff | tree |
| 2013-05-17 |
Morgan Deters | As per SMT-LIB standard: make - and xor take n>2 args...
|
commit | commitdiff | tree |
| 2013-05-17 |
Morgan Deters | Fix for equality-chaining of Booleans in SMT-LIBv2.
|
commit | commitdiff | tree |
| 2013-05-17 |
Morgan Deters | Fix destruction issue in GetValueCommand leading to...
|
commit | commitdiff | tree |
| 2013-05-17 |
Morgan Deters | Better error on invalid logic strings.
|
commit | commitdiff | tree |
| 2013-05-17 |
Morgan Deters | Better error on illegal (pop N); also more compliant...
|
commit | commitdiff | tree |
| 2013-05-17 |
Morgan Deters | A couple of fixes to the get-option command for compliance...
|
commit | commitdiff | tree |
| 2013-05-17 |
Morgan Deters | Disallow construction of (_ BitVec 0).
|
commit | commitdiff | tree |
| 2013-05-17 |
Morgan Deters | Fixed "success" response to (push N) / (pop N) with...
|
commit | commitdiff | tree |
| 2013-05-17 |
Morgan Deters | Fix to empty response to (get-assignment).
|
commit | commitdiff | tree |
| 2013-05-16 |
Morgan Deters | configure fix for building with glpk on redhat, perhaps...
|
commit | commitdiff | tree |
| 2013-05-16 |
Morgan Deters | minor changes to language bindings
|
commit | commitdiff | tree |
| 2013-05-10 |
Morgan Deters | disable Logic-checking with finite model finding for...
|
commit | commitdiff | tree |
| 2013-05-10 |
Morgan Deters | Fix erroneous results when the logic was incorrectly...
|
commit | commitdiff | tree |
| 2013-05-10 |
Morgan Deters | Add documentation for --disable-fmf-inst-gen, which...
|
commit | commitdiff | tree |
| 2013-05-08 |
Morgan Deters | Prerelease versioning for 1.2.x
|
commit | commitdiff | tree |
| 2013-05-08 |
Morgan Deters | Prerelease versioning for master
|
commit | commitdiff | tree |
| 2013-05-08 |
Morgan Deters | Merge tag 'smteval2013'
|
commit | commitdiff | tree |
| 2013-05-08 |
Morgan Deters | Cutting release 1.2.
|
commit | commitdiff | tree |
| 2013-05-08 |
Morgan Deters | Removing arithmetic compile warning for release
|
commit | commitdiff | tree |
| 2013-05-08 |
Morgan Deters | update versioning
|
commit | commitdiff | tree |
| 2013-05-08 |
Morgan Deters | final updates for smt-eval script
|
commit | commitdiff | tree |
| 2013-05-08 |
Morgan Deters | fix for smt-eval run script
|
commit | commitdiff | tree |
| 2013-05-07 |
Morgan Deters | BV strategy for SMT-EVAL
|
commit | commitdiff | tree |
| 2013-05-07 |
Morgan Deters | fix for nonterminating model-based array loop
|
commit | commitdiff | tree |
| 2013-05-07 |
Morgan Deters | Change SMT-EVAL run-script to use Tim's best QF_LRA...
|
commit | commitdiff | tree |
| 2013-05-06 |
Morgan Deters | Removing excess verbosity from ApproxSimplex (after...
|
commit | commitdiff | tree |
| 2013-05-01 |
Morgan Deters | Comment out some debug-related things in attribute...
|
commit | commitdiff | tree |
| 2013-05-01 |
Morgan Deters | Fix to dumping re: boolean terms, datatypes
|
commit | commitdiff | tree |
| 2013-05-01 |
Morgan Deters | Fix to boolean-terms; resolves bug #507
|
commit | commitdiff | tree |
| 2013-05-01 |
Morgan Deters | Adding a missing makefile to the dist (fixes distcheck)
|
commit | commitdiff | tree |
| 2013-04-29 |
Morgan Deters | Some fixes for GCC 4.2, and for Java on Mac
|
commit | commitdiff | tree |
| 2013-04-29 |
Morgan Deters | Fixes to FCSimplex for some versions of compilers
|
commit | commitdiff | tree |
| 2013-04-25 |
Morgan Deters | Add ability to run different regression levels with...
|
commit | commitdiff | tree |
| 2013-04-24 |
Morgan Deters | Theory "alternates" support
|
commit | commitdiff | tree |
| 2013-04-22 |
Morgan Deters | add bit0 and bit1 constants to smt-lib v1 parser
|
commit | commitdiff | tree |
| 2013-04-09 |
Morgan Deters | Change TPTP parser to not use the STRING type; this...
|
commit | commitdiff | tree |
| 2013-04-05 |
Morgan Deters | Fix unit test (compile error) for new SatSolver interface
|
commit | commitdiff | tree |
| 2013-04-03 |
Morgan Deters | Prerelease versioning for master.
|
commit | commitdiff | tree |
| 2013-04-03 |
Morgan Deters | Pre-release versioning
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search