summaryrefslogtreecommitdiff
path: root/config
AgeCommit message (Expand)Author
2015-07-20Fix for BOOST_SED_CPP for gcc-5.Tim King
2015-04-23A few more minor updates to match google repository with CVC4 repositoryClark Barrett
2014-09-26Fix some configuration-related oddness.Morgan Deters
2014-09-26Clarify some licensing-related things.Morgan Deters
2014-06-23Fix header check for glpk.h.Morgan Deters
2014-06-22Better documentation pages.Morgan Deters
2014-06-21API documentation improvements.Morgan Deters
2014-06-19Minor Doxygen fixes.Morgan Deters
2014-06-19Fix for pre-C++11 is_sorted().Morgan Deters
2014-06-19Clean up glpk detection a little, fix a detection bug.Morgan Deters
2014-06-19Minor fixes to get-abc script and configure stuff.Morgan Deters
2014-06-19get-glpk-cut-log script, and configure code.Morgan Deters
2014-06-11--best now implies --with-glpk --with-abcMorgan Deters
2014-06-11Some clean-up, post bv-merge.Morgan Deters
2014-05-19Fixing documentation for glpk configuration.Tim King
2014-05-05Improving documentation for glpk-cut-log switch.Tim King
2014-03-07Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into m...Tim King
2014-01-17Merge branch '1.3.x'Kshitij Bansal
2014-01-17enable search for html docKshitij Bansal
2014-01-09Merge branch '1.3.x'Morgan Deters
2014-01-09gmp is again default, not cln, for build ID (reverting due to license discuss...Morgan Deters
2014-01-08Merge branch '1.3.x'Morgan Deters
2014-01-08Switch license default back to BSD, and add --best and --enable-gpl options.Morgan Deters
2013-12-24Merge branch '1.3.x'Morgan Deters
2013-12-23cln now default w.r.t. build ID stringMorgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-17some config changes: new --bsd option, readline gives warning, default build ...Morgan Deters
2013-12-09GLPK build identifier, license warnings.Morgan Deters
2013-11-14Minor fixes for Mac OS MavericksMorgan Deters
2013-11-11Some fixes to build system with dependency-tracking is off; should fix RPM/De...Morgan Deters
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-07-29Fix numerous compiler warnings on various platformsMorgan Deters
2013-05-16configure fix for building with glpk on redhat, perhaps othersMorgan Deters
2013-05-16minor changes to language bindingsMorgan Deters
2013-04-26FCSimplex branch mergeTim King
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2013-03-19Remove PropositionalQuery class and all CUDD-related build stuff (and referen...Morgan Deters
2013-01-22update ANTLR URLs (antlr.org -> antlr3.org)Morgan Deters
2012-12-08Fix bug 476: when CxxTest is not found, make the error less fatal-lookingMorgan Deters
2012-11-27more mac fixesMorgan Deters
2012-11-27fix for some Mac buildsMorgan Deters
2012-11-27give warning at configure-time about unsupported language bindings, and don't...Morgan Deters
2012-10-26new boost.m4 makes boost-thread require boost-system. relax this dependence ...Morgan Deters
2012-10-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-10-06turn off cudd by default in configure scriptMorgan Deters
2012-10-06* Clean up some options documentationMorgan Deters
2012-10-06* Some documentation about building compatibility and language bindingsMorgan Deters
2012-09-21SMT-LIBv2 compliance updates:Morgan Deters
2012-08-29* Numerous documentation fixes (fix doxygen warnings, add missing documentati...Morgan Deters
2012-08-28fixes for Mac and automake 1.12 detectionMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback