Age | Commit message (Expand) | Author |
2014-03-07 | Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into m... | Tim King |
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 discuss... | Morgan Deters |
2014-01-08 | Merge branch '1.3.x' | Morgan Deters |
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 g... | Morgan Deters |
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
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 RPM/De... | 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-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 referen... | Morgan Deters |
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 don't... | Morgan Deters |
2012-10-26 | new boost.m4 makes boost-thread require boost-system. relax this dependence ... | Morgan Deters |
2012-10-24 | Includes many fixes to build system for Solaris (thanks Tim!), and also | Morgan Deters |
2012-10-06 | turn off cudd by default in configure script | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-10-06 | * Some documentation about building compatibility and language bindings | Morgan Deters |
2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters |
2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing documentati... | Morgan Deters |
2012-08-28 | fixes for Mac and automake 1.12 detection | Morgan Deters |
2012-07-08 | Bugs resolved by this commit: #314, #322, #359, #364, #365. | Morgan Deters |
2012-06-13 | Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ... | Morgan Deters |
2012-03-30 | fixing some build systme warnings | Dejan Jovanović |
2012-02-22 | fixes to configure and boost.m4 to make certain boost installations nonfatal ... | Morgan Deters |
2012-02-22 | make sure to clear out READLINE_LIBS if readline causes problems at configure... | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2012-02-20 | readline links in -ltermcap -ltinfo too (fixes breakage in static-binary builds) | Morgan Deters |
2012-02-03 | updating configure to use python-config for building python bindings | Dejan Jovanović |
2011-11-16 | Fix "make dist". Fixes to python and ruby bindings; ruby example written. T... | Morgan Deters |
2011-11-16 | * Applying Andy's fix for datatypes bug #286; thanks for the quick work, Andy! | Morgan Deters |
2011-11-15 | Bindings work (ocaml bindings are now sort of working); also minor cleanup | Morgan Deters |
2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
2011-10-21 | add gcc version information to Configuration, and warn when building with v4.... | Morgan Deters |
2011-10-19 | fix bug #264: competition / other static library builds when readline isn't a... | Morgan Deters |
2011-10-06 | don't build language bindings unless expressly requested with --enable-langua... | Morgan Deters |
2011-10-04 | oops, one more fix, hopefully the last | Morgan Deters |