Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-05-24 | Merged cryptominisat from experimental branch. | Liana Hadarean | |
2015-07-20 | Fix for BOOST_SED_CPP for gcc-5. | Tim King | |
2015-04-23 | A few more minor updates to match google repository with CVC4 repository | Clark Barrett | |
(mostly whitespace differences). | |||
2014-09-26 | Fix some configuration-related oddness. | Morgan Deters | |
2014-09-26 | Clarify some licensing-related things. | Morgan Deters | |
2014-06-23 | Fix header check for glpk.h. | Morgan Deters | |
2014-06-22 | Better documentation pages. | Morgan Deters | |
2014-06-21 | API documentation improvements. | Morgan Deters | |
2014-06-19 | Minor Doxygen fixes. | Morgan Deters | |
2014-06-19 | Fix for pre-C++11 is_sorted(). | Morgan Deters | |
2014-06-19 | Clean up glpk detection a little, fix a detection bug. | Morgan Deters | |
2014-06-19 | Minor fixes to get-abc script and configure stuff. | Morgan Deters | |
2014-06-19 | get-glpk-cut-log script, and configure code. | Morgan Deters | |
2014-06-11 | --best now implies --with-glpk --with-abc | 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-05-19 | Fixing documentation for glpk configuration. | Tim King | |
2014-05-05 | Improving documentation for glpk-cut-log switch. | Tim King | |
2014-03-07 | Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into ↵ | Tim King | |
master. See the CAV14 submission for an explanation of the changes to the integer solver's behavior. If compiled against the our custom extension of glpk, https://github.com/timothy-king/glpk-cut-log, this should have substantial differences in behavior. This should have moderate performance differences for linear real and integer arithmetic even if these features are disabled. | |||
2014-01-17 | Merge branch '1.3.x' | Kshitij Bansal | |
2014-01-17 | enable search for html doc | Kshitij Bansal | |
2014-01-09 | Merge branch '1.3.x' | Morgan Deters | |
2014-01-09 | gmp is again default, not cln, for build ID (reverting due to license ↵ | Morgan Deters | |
discussion at Monday meeting) | |||
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-24 | Merge branch '1.3.x' | Morgan Deters | |
2013-12-23 | cln now default w.r.t. build ID string | 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-17 | some config changes: new --bsd option, readline gives warning, default build ↵ | Morgan Deters | |
is now production. | |||
2013-12-09 | GLPK build identifier, license warnings. | Morgan Deters | |
2013-11-14 | Minor fixes for Mac OS Mavericks | Morgan Deters | |
2013-11-11 | Some fixes to build system with dependency-tracking is off; should fix ↵ | Morgan Deters | |
RPM/Debian builds. | |||
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-05-16 | configure fix for building with glpk on redhat, perhaps others | Morgan Deters | |
2013-05-16 | minor changes to language bindings | Morgan Deters | |
2013-04-26 | FCSimplex branch merge | Tim King | |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters | |
2013-03-19 | Remove PropositionalQuery class and all CUDD-related build stuff (and ↵ | Morgan Deters | |
references) | |||
2013-01-22 | update ANTLR URLs (antlr.org -> antlr3.org) | Morgan Deters | |
2012-12-08 | Fix bug 476: when CxxTest is not found, make the error less fatal-looking | Morgan Deters | |
2012-11-27 | more mac fixes | Morgan Deters | |
2012-11-27 | fix for some Mac builds | Morgan Deters | |
2012-11-27 | give warning at configure-time about unsupported language bindings, and ↵ | Morgan Deters | |
don't advertise them in help listing for --enable-language-bindings | |||
2012-10-26 | new boost.m4 makes boost-thread require boost-system. relax this dependence ↵ | Morgan Deters | |
(since it doesn't appear to affect us?!), and make it non-fatal anyway, since threads aren't strictly required for all cvc4 builds. give a warning. | |||
2012-10-24 | Includes many fixes to build system for Solaris (thanks Tim!), and also | Morgan Deters | |
just in general, and some documentation adjustments. | |||
2012-10-06 | turn off cudd by default in configure script | Morgan Deters | |
2012-10-06 | * Clean up some options documentation | Morgan Deters | |
* Remove defunct --no-theory-registration option * Point people to Wiki tutorial * Modernize the cut-release script * Misc cleanup, documentation (this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-10-06 | * Some documentation about building compatibility and language bindings | Morgan Deters | |
* Better errors/warnings when SWIG isn't installed (resolves bug 373) * Allow compatibility bindings to be built when SWIG isn't available | |||
2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters | |
* chainability of =, <, <=, >, >= via the new CHAINABLE kind and TheoryBuiltin rewriter support (resolves bug #383) * with --smtlib2, force interactive mode off by default Also: * fix a few bugs causing crashes * better "alias" processing for options * configure-time fixes to readline detection (this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing ↵ | Morgan Deters | |
documentation, etc.). * Remove sat_module.cpp, which was no longer used (was previously refactored?) |