Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-10-26 | This commit fixes a bug related to a public header depending on a compiler ↵ | Tim King | |
flag. This resulted in user code seeing a different size for the SmtEngine class than what was compiled in the library. Proofs are enabled by default again. See http://cvc4.cs.nyu.edu/bugs/show_bug.cgi?id=688 for more information. | |||
2015-10-24 | Revert "Default builds are now proof enabled." | Kshitij Bansal | |
This reverts commit 4fd18dee3156a6dd1903b95662034d6e996ff88b. | |||
2015-10-23 | Changes configure.ac so that the single recurisve invocation runs with a ↵ | Tim King | |
relative path. This lets the @srcdir@ variable in configuration be a relative path. | |||
2015-10-11 | Default builds are now proof enabled. | Liana Hadarean | |
2015-10-09 | Temporary reverting commit 477e72b (proofs as default build) until we fix ↵ | Liana Hadarean | |
nightly builds. | |||
2015-10-07 | Default builds are now proof enabled. | Liana Hadarean | |
2015-02-12 | Changing CXXFLAGS for custom cln installation in configure.ac. | Tim King | |
Making sure the CVC4 flags do not get overwritten after being set. | |||
2015-01-19 | Adding an additional search path to configure.ac for cxxtestgen to reflect ↵ | Tim King | |
the cxxtest git repository. | |||
2014-08-12 | To avoid confusion, permit --enable-staticbinary as an alias for ↵ | Morgan Deters | |
--enable-static-binary. | |||
2014-07-13 | Versioning for master. | Morgan Deters | |
2014-07-13 | New versioning for development version. | Morgan Deters | |
2014-07-13 | Cutting release 1.4.1.4 | Morgan Deters | |
2014-06-26 | Minor language bindings fixes. | Morgan Deters | |
2014-06-25 | Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now ↵ | Morgan Deters | |
supported. | |||
2014-06-21 | Adjust library dependencies to be more correct (fixes lintian warnings). | Morgan Deters | |
2014-06-19 | Fix for mac readline. | Morgan Deters | |
2014-06-19 | Fix for pre-C++11 is_sorted(). | Morgan Deters | |
2014-06-19 | No more dependence on libstdc++ or PBDS stuff: remove build stuff that ↵ | Morgan Deters | |
supported it. | |||
2014-06-19 | get-glpk-cut-log script, and configure code. | Morgan Deters | |
2014-06-11 | Some clean-up, post bv-merge. | Morgan Deters | |
Add abc to build id and fix static building. Add abc to --show-config output and Configuration class API. Add ability to select abc source path. Fix arch_flags for abc. | |||
2014-06-10 | Merging CAV14 paper bit-vector work. | lianah | |
2014-05-30 | Fix personal.mk for some make targets. | Morgan Deters | |
2014-01-08 | Merge branch '1.3.x' | Morgan Deters | |
Conflicts: COPYING NEWS config/cvc4.m4 | |||
2014-01-08 | Switch license default back to BSD, and add --best and --enable-gpl options. | Morgan Deters | |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof ↵ | Morgan Deters | |
generation; fix bug 285. * segfaults/assert-fails in proof-generation fixed, including bug 285 * added --check-proofs to automatically check proofs, like --check-models (but only for UF/SAT at present) * proof generation now works in portfolio (but *not* --check-proofs, since LFSC code uses globals) * proofs are *not* yet supported in incremental mode * added --dump-proofs to dump out proofs, like --dump-models * run_regression script now runs with --check-proofs where appropriate * options scripts now support :link-smt for SMT options, like :link for command-line | |||
2013-12-18 | Merge branch '1.3.x' | Morgan Deters | |
[skip ci] | |||
2013-12-18 | Fix an autoconf issue with CLN in some configurations; also clarification ↵ | Morgan Deters | |
re: license issues [skip ci] | |||
2013-12-18 | Merge branch '1.3.x' | Morgan Deters | |
2013-12-18 | Fix configure handling for CLN (should fix win32 nightly builds) | Morgan Deters | |
2013-12-18 | Reduce autoconf version for dependence (should fix 32-bit builds). | Morgan Deters | |
2013-12-17 | Merge branch '1.3.x' | Morgan Deters | |
2013-12-17 | configure --with-portfolio disables CLN. | Morgan Deters | |
2013-12-17 | Merge branch '1.3.x' | Morgan Deters | |
Conflicts: COPYING NEWS | |||
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ↵ | Morgan Deters | |
is now production. | |||
2013-12-16 | First attempt at incorporating LFSC proof checker into CVC4. | Morgan Deters | |
2013-12-10 | GLPK build identifier, license warnings. | Morgan Deters | |
2013-12-09 | GLPK build identifier, license warnings. | Morgan Deters | |
2013-12-06 | Initializing master for next version. | Morgan Deters | |
2013-12-06 | Initializing 1.3.x branch. | Morgan Deters | |
2013-12-06 | Cutting release 1.3.1.3 | Morgan Deters | |
2013-11-14 | Minor fixes for Mac OS Mavericks | Morgan Deters | |
2013-11-12 | Some additional explanation for a common configure error. | Morgan Deters | |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters | |
2013-09-18 | Support a personal build configuration and make rules. | Morgan Deters | |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters | |
2013-07-23 | fix for win32 option parsing via mingw32 | Morgan Deters | |
2013-05-08 | Prerelease versioning for master | Morgan Deters | |
2013-05-08 | Prerelease versioning for 1.2.x | Morgan Deters | |
2013-05-08 | Cutting release 1.2.1.2 | Morgan Deters | |
2013-04-29 | Some fixes for GCC 4.2, and for Java on Mac | Morgan Deters | |