| 2014-04-29 |
Morgan Deters | Fix for --force-logic to extend its reach to the parser.
|
commit | commitdiff | tree |
| 2014-04-29 |
Morgan Deters | Revert a compiler warning fix from ea6a5a6.
|
commit | commitdiff | tree |
| 2014-04-17 |
Morgan Deters | Allow fmf-bound-int to be set with set-option and via...
|
commit | commitdiff | tree |
| 2014-04-11 |
Morgan Deters | Better support for building with mingw64; thanks to...
|
commit | commitdiff | tree |
| 2014-04-11 |
Morgan Deters | setType -> setOfType, resolves bug 556
|
commit | commitdiff | tree |
| 2014-04-10 |
Morgan Deters | Fix the build; --check-proof works for UF but not for...
|
commit | commitdiff | tree |
| 2014-04-10 |
Morgan Deters | Boolean terms conversion fix for datatypes, fixes a...
|
commit | commitdiff | tree |
| 2014-04-09 |
Morgan Deters | Minor change to better support parameterized partial...
|
commit | commitdiff | tree |
| 2014-04-04 |
Morgan Deters | For security, add --no-filesystem-access option, which...
|
commit | commitdiff | tree |
| 2014-04-04 |
Morgan Deters | Allow turning off the interactive prompt while in interactiv...
|
commit | commitdiff | tree |
| 2014-04-03 |
Morgan Deters | Properly quote symbols in SMT-LIB printer.
|
commit | commitdiff | tree |
| 2014-04-03 |
Morgan Deters | Some incremental bugs for Boolean terms, fixed. Thanks...
|
commit | commitdiff | tree |
| 2014-03-31 |
Morgan Deters | Travis-CI test for new-theory script, also related...
|
commit | commitdiff | tree |
| 2014-03-26 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-03-26 |
Morgan Deters | Win32 build script fixes (to allow portfolio builds).
|
commit | commitdiff | tree |
| 2014-03-26 |
Morgan Deters | Fix an off-the-end string pointer bug (showed up only...
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Fix documentation for Theory::preRegisterTerm().
|
commit | commitdiff | tree |
| 2014-03-19 |
Martin Brain | Refactor the theory specific parts of definition expansion...
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Set dumping options from (set-option..) and API more...
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Fix for bug 555; SMT-LIBv2 symbols now output with...
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Move the translator binary from src/main to examples...
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Appease compilers from latest XCode release (v5.1).
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Minor usability fixes related to SMT-LIB compliance.
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Fix proof signatures makefile
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Minor documentation fixups.
|
commit | commitdiff | tree |
| 2014-03-14 |
Morgan Deters | SMT-LIB compliance: allow bin/hex set-info, e.g. (set...
|
commit | commitdiff | tree |
| 2014-03-14 |
Morgan Deters | dos2unix on the proof signatures, and fix the makefile.
|
commit | commitdiff | tree |
| 2014-03-12 |
Morgan Deters | Fix LogicInfo unit test.
|
commit | commitdiff | tree |
| 2014-03-12 |
Morgan Deters | Some standardization of regression Makefiles that got...
|
commit | commitdiff | tree |
| 2014-03-12 |
Morgan Deters | Draft contrib/get-abc script for bitvectors libabc...
|
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix for rewriterules build breakage.
|
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix for random-seed option.
|
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix for portfolio.
|
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Minor cleanup.
|
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix for (get-assignment), resolves bug 553.
|
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix some Win32 and SMT-LIB compliance bugs discovered...
|
commit | commitdiff | tree |
| 2014-03-08 |
Morgan Deters | Re-fix bug 551 by adding a check to the arith ITE simplifier...
|
commit | commitdiff | tree |
| 2014-03-08 |
Morgan Deters | Remove --ite-remove-quant; support pulling ground ITEs...
|
commit | commitdiff | tree |
| 2014-03-08 |
Morgan Deters | Fix run_regression on Mac.
|
commit | commitdiff | tree |
| 2014-03-08 |
Morgan Deters | Fix bug 554 (nominally).
|
commit | commitdiff | tree |
| 2014-03-07 |
Morgan Deters | Fix strings-exp setting.
|
commit | commitdiff | tree |
| 2014-03-07 |
Thomas Hunger | Add swig renames for new Z3STR language.
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
|
commit | commitdiff | tree |
| 2014-03-04 |
Thomas Hunger | Guard java-specific swig code with SWIGJAVA.
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
|
commit | commitdiff | tree |
| 2014-03-04 |
Morgan Deters | Don't theory-preprocess under quantifiers; but DO theory...
|
commit | commitdiff | tree |
| 2014-03-04 |
Morgan Deters | More useful error message when someone tries mkExpr...
|
commit | commitdiff | tree |
| 2014-02-25 |
Morgan Deters | Minor code clean up in parser.
|
commit | commitdiff | tree |
| 2014-02-25 |
Morgan Deters | New translation work, support Z3-str-style string constraints.
|
commit | commitdiff | tree |
| 2014-02-25 |
Morgan Deters | Fix quotes in string constants.
|
commit | commitdiff | tree |
| 2014-02-21 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-02-21 |
Morgan Deters | No diamond-breaking under quantifiers (resolves bug...
|
commit | commitdiff | tree |
| 2014-02-21 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-02-21 |
Morgan Deters | Fix two variants of Node::substitute().
|
commit | commitdiff | tree |
| 2014-02-21 |
Morgan Deters | Fix makefile dependence for system tests.
|
commit | commitdiff | tree |
| 2014-02-19 |
Morgan Deters | String parsing example in CVC parser
|
commit | commitdiff | tree |
| 2014-02-17 |
Morgan Deters | Fix for strings-exp: enable quantifiers
|
commit | commitdiff | tree |
| 2014-02-17 |
Morgan Deters | Fix strings preprocessing for justification heuristic
|
commit | commitdiff | tree |
| 2014-02-11 |
Morgan Deters | Fix build (some nonexistent files listed in Makefile)
|
commit | commitdiff | tree |
| 2014-02-06 |
Morgan Deters | Minor fix for previous commit
|
commit | commitdiff | tree |
| 2014-02-06 |
Morgan Deters | Oops.. premature push on lexer fix (remove debugging...
|
commit | commitdiff | tree |
| 2014-02-06 |
Morgan Deters | Fixes for escape-handling for string literals in SMT...
|
commit | commitdiff | tree |
| 2014-01-27 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-01-27 |
Morgan Deters | URL update
|
commit | commitdiff | tree |
| 2014-01-22 |
Morgan Deters | Some minor fixes to SmtEngine strings settings.
|
commit | commitdiff | tree |
| 2014-01-22 |
Morgan Deters | Delay QuantifiersEngine and UF strong solver initialization...
|
commit | commitdiff | tree |
| 2014-01-18 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-01-18 |
Morgan Deters | Fix for quote-escaping in smt2 printer
|
commit | commitdiff | tree |
| 2014-01-09 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-01-09 |
Morgan Deters | gmp is again default, not cln, for build ID (reverting...
|
commit | commitdiff | tree |
| 2014-01-08 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-01-08 |
Morgan Deters | Switch license default back to BSD, and add --best...
|
commit | commitdiff | tree |
| 2014-01-08 |
Morgan Deters | Cache apt packages on Travis.
|
commit | commitdiff | tree |
| 2014-01-08 |
Morgan Deters | Fix LogicInfo parsing for string logics
|
commit | commitdiff | tree |
| 2014-01-08 |
Morgan Deters | Fix LogicInfo parsing for string logics
|
commit | commitdiff | tree |
| 2014-01-02 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-01-02 |
Morgan Deters | Update copyright year.
|
commit | commitdiff | tree |
| 2013-12-27 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2013-12-27 |
Morgan Deters | Fix for ANTLR warning.
|
commit | commitdiff | tree |
| 2013-12-25 |
Morgan Deters | fix for some nightly build failures
|
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Cleanup related to output language fix.
|
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Better automatic handling of output language setting.
|
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Better get-value parse error message for common user...
|
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Minor code cleanup.
|
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Java datatype API fixups, datatype API examples
|
commit | commitdiff | tree |
| 2013-12-23 |
Morgan Deters | cln now default w.r.t. build ID string
|
commit | commitdiff | tree |
| 2013-12-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing...
|
commit | commitdiff | tree |
| 2013-12-22 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2013-12-22 |
Morgan Deters | Fix to interactive mode determination.
|
commit | commitdiff | tree |
| 2013-12-22 |
Morgan Deters | Fix option specification.
|
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Fix an autoconf issue with CLN in some configurations...
|
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Fix configure handling for CLN (should fix win32 nightly...
|
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Reduce autoconf version for dependence (should fix...
|
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Add missing regression-results directory.
|
commit | commitdiff | tree |
| 2013-12-17 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search