| 2013-06-08 |
Morgan Deters | Fix typos in alttheoryskel
|
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 |
| 2013-04-03 |
Morgan Deters | Cutting release 1.1.
|
commit | commitdiff | tree |
| 2013-04-03 |
Morgan Deters | Some final minor changes before cutting 1.1.
|
commit | commitdiff | tree |
| 2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails
|
commit | commitdiff | tree |
| 2013-04-02 |
Morgan Deters | Remove old README file from rewrite-rules left over...
|
commit | commitdiff | tree |
| 2013-04-02 |
Morgan Deters | Fix get-authors script to not extract email addresses...
|
commit | commitdiff | tree |
| 2013-04-02 |
Morgan Deters | One final fix to "make submission" rule
|
commit | commitdiff | tree |
| 2013-04-02 |
Morgan Deters | update copyrights
|
commit | commitdiff | tree |
| 2013-04-02 |
Morgan Deters | Adjust release Makefile rules, new run script
|
commit | commitdiff | tree |
| 2013-04-02 |
Morgan Deters | Fixes for two bugs:
|
commit | commitdiff | tree |
| 2013-04-01 |
Morgan Deters | Merging some cleanup work:
|
commit | commitdiff | tree |
| 2013-04-01 |
Morgan Deters | Fix bug 491 and related issues with checkModel() and...
|
commit | commitdiff | tree |
| 2013-03-29 |
Morgan Deters | make Boolean term conversion partially non-recursive...
|
commit | commitdiff | tree |
| 2013-03-28 |
Morgan Deters | fix memory corruption in arrays destructor
|
commit | commitdiff | tree |
| 2013-03-28 |
Morgan Deters | some Java bindings fixes (fixes Debian build problems)
|
commit | commitdiff | tree |
| 2013-03-26 |
Morgan Deters | Fixes for warnings from clang++, from -std=gnu++0x...
|
commit | commitdiff | tree |
| 2013-03-26 |
Morgan Deters | Make --incremental the default when running interactively
|
commit | commitdiff | tree |
| 2013-03-26 |
Morgan Deters | java input stream adapters working
|
commit | commitdiff | tree |
| 2013-03-25 |
Morgan Deters | Fix for SCM detection
|
commit | commitdiff | tree |
| 2013-03-24 |
Morgan Deters | Fix bug in portfolio executor output; fixes nightly...
|
commit | commitdiff | tree |
| 2013-03-22 |
Morgan Deters | Support for Boolean term conversion in datatypes.
|
commit | commitdiff | tree |
| 2013-03-21 |
Morgan Deters | Better error in case of nonlinear assertions while...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search