| 2014-03-11 |
Morgan Deters | Fix some Win32 and SMT-LIB compliance bugs discovered...
|
commit | commitdiff | tree |
| 2014-02-21 |
Morgan Deters | No diamond-breaking under quantifiers (resolves bug...
|
commit | commitdiff | tree |
| 2014-02-21 |
Morgan Deters | Fix two variants of Node::substitute().
|
commit | commitdiff | tree |
| 2014-01-27 |
Morgan Deters | URL update
|
commit | commitdiff | tree |
| 2014-01-18 |
Morgan Deters | Fix for quote-escaping in smt2 printer
|
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 | 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-02 |
Morgan Deters | Update copyright year.
|
commit | commitdiff | tree |
| 2013-12-27 |
Morgan Deters | Fix for ANTLR warning.
|
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-23 |
Morgan Deters | cln now default w.r.t. build ID string
|
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 | Fix an autoconf issue with CLN in some configurations...
|
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 | Add missing regression-results directory.
|
commit | commitdiff | tree |
| 2013-12-17 |
Morgan Deters | configure --with-portfolio disables CLN.
|
commit | commitdiff | tree |
| 2013-12-17 |
Morgan Deters | some config changes: new --bsd option, readline gives...
|
commit | commitdiff | tree |
| 2013-12-16 |
Morgan Deters | Send Travis-CI emails to everyone
|
commit | commitdiff | tree |
| 2013-12-16 |
Morgan Deters | Fix for bug 544.
|
commit | commitdiff | tree |
| 2013-12-14 |
Morgan Deters | Another fix for clang.
|
commit | commitdiff | tree |
| 2013-12-14 |
Morgan Deters | Fix stack size on in-tree regressions.
|
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | cleanup
|
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | Fix link error when using clang.
|
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | Fix to Travis-CI config.
|
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | Travis-CI configuration.
|
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | Some minor cleanup.
|
commit | commitdiff | tree |
| 2013-12-11 |
Morgan Deters | Update NEWS.
|
commit | commitdiff | tree |
| 2013-12-11 |
Morgan Deters | Fix timer statistics to report correct time even on...
|
commit | commitdiff | tree |
| 2013-12-11 |
Morgan Deters | Whitespace.
|
commit | commitdiff | tree |
| 2013-12-11 |
Morgan Deters | Fix warning.
|
commit | commitdiff | tree |
| 2013-12-10 |
Morgan Deters | Remove "NodeValue width" output
|
commit | commitdiff | tree |
| 2013-12-09 |
Morgan Deters | GLPK build identifier, license warnings.
|
commit | commitdiff | tree |
| 2013-12-06 |
Morgan Deters | Initializing 1.3.x branch.
|
commit | commitdiff | tree |
| 2013-12-06 |
Morgan Deters | Cutting release 1.3.
|
commit | commitdiff | tree |
| 2013-12-06 |
Morgan Deters | Fix NodeValue bitfields for 32-bit; fix comment.
|
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Minor cleanup.
|
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation...
|
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Fixes related to parametric datatype printing.
|
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Fix Boolean terms w.r.t. parametric datatypes (e.g...
|
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Script fixes; when determining authorship of source...
|
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Fix NEWS.
|
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | NEWS reorganization.
|
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Remove a regression for which the portfolio takes forever...
|
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Minor cleanup.
|
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Partial kind branch merge, including new --rewrite...
|
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Don't put define-funs in model output; bug 411 testcase...
|
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Updated acknowledgments.
|
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | More Java bindings fixes
|
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Some fixes for swig warnings.
|
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | Work around a swig segfault issue when building on...
|
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | SExpr pretty-printing for :all-options and :all-statistics.
|
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | Minor cleanup.
|
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | Add test case for (previously resolved) bug 528.
|
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | Support for parametric datatype subtyping, so that...
|
commit | commitdiff | tree |
| 2013-12-02 |
Morgan Deters | Another fix to Java destruction order issues. Thanks...
|
commit | commitdiff | tree |
| 2013-12-02 |
Morgan Deters | Update NEWS file.
|
commit | commitdiff | tree |
| 2013-11-29 |
Morgan Deters | Fix proofs build.
|
commit | commitdiff | tree |
| 2013-11-29 |
Morgan Deters | Fix portfolio compile error.
|
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Ignore config/compile file, which newer autotools create
|
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Fix for compile error when using gcc 4.7 with -std...
|
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | General pre-release cleanup commit
|
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Java bindings improvements for CASCADE, minor cleanup.
|
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Add missing template instanatiation in Java bindings
|
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Some versioning in advance of the 1.3 release.
|
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Incremental is now on by default when using from API...
|
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix a segfault in the printer infrastructure when called...
|
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix C++-to-Java exception translation.
|
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix Java output stream adapter.
|
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix Java destruction order issue; thanks to Zheng Manchun...
|
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Minor fix for swig bindings.
|
commit | commitdiff | tree |
| 2013-11-14 |
Morgan Deters | Minor fixes for Mac OS Mavericks
|
commit | commitdiff | tree |
| 2013-11-14 |
Morgan Deters | Allow empty record literals (fixing an oversight in...
|
commit | commitdiff | tree |
| 2013-11-14 |
Morgan Deters | Some patches to CVC3 compatibility layer tests; Thanks...
|
commit | commitdiff | tree |
| 2013-11-14 |
Morgan Deters | Datatype::getCardinality() caching
|
commit | commitdiff | tree |
| 2013-11-13 |
Morgan Deters | Add virtual destructors where missing
|
commit | commitdiff | tree |
| 2013-11-13 |
Morgan Deters | Some patches to CVC3 compatibility layer; Thanks to...
|
commit | commitdiff | tree |
| 2013-11-13 |
Morgan Deters | Another build fix; the dust should be settled now.
|
commit | commitdiff | tree |
| 2013-11-12 |
Morgan Deters | Minor portfolio fixes for some platforms.
|
commit | commitdiff | tree |
| 2013-11-12 |
Morgan Deters | Some additional explanation for a common configure...
|
commit | commitdiff | tree |
| 2013-11-12 |
Morgan Deters | Fix new-theory script for new, flattened build system.
|
commit | commitdiff | tree |
| 2013-11-12 |
Morgan Deters | Minor build system cleanup
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Expanded usefulness of (set-info :cvc4-logic ...)
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Some fixes to build system with dependency-tracking...
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Change exit status to be more consistent with other...
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Fix compat-java library naming on Mac OS; thanks to...
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Fix "make distclean", which should fix some of the...
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Minor fixups to last commit
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include...
|
commit | commitdiff | tree |
| 2013-11-08 |
Morgan Deters | Fix "make distclean", which should fix some of the...
|
commit | commitdiff | tree |
| 2013-11-07 |
Morgan Deters | Minor fixups to last commit
|
commit | commitdiff | tree |
| 2013-11-07 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include...
|
commit | commitdiff | tree |
| 2013-09-27 |
Morgan Deters | Some fixes to recent strings commits.
|
commit | commitdiff | tree |
| 2013-09-27 |
Morgan Deters | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-09-23 |
Morgan Deters | Revert Clark's last commit, at his request; there are...
|
commit | commitdiff | tree |
| 2013-09-18 |
Morgan Deters | Support a personal build configuration and make rules.
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search