summaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Expand)Author
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-02-08Replace CMM flag with debug CMM flag, fix leak in debug CMM (#1586)Andres Noetzli
2017-11-30Add debugging tools for ContextMemoryManager (#1407)Andres Noetzli
2017-10-27Modify LDFLAGS to support shared libraries for Win (#1280)Andres Noetzli
2017-10-03Add Cryptominisat and LFSC to --show-config output. (#1194)Mathias Preiner
2017-09-05Fix link in configure.ac.Mathias Preiner
2017-08-30Use thread_local instead of compiler extensions (#210)Andres Noetzli
2017-08-25Move LFSC checker out of the CVC repository. (#222)Aina Niemetz
2017-08-09Fix help message for disable-unit-testing in configure.ac (don't -> do not)Aina Niemetz
2017-08-02Disable debug symbols for production builds.Mathias Preiner
2017-07-26-Og for non-opt build, parallel pcvc4 check (#206)Andres Noetzli
2017-07-26Use TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest headers in configure.a...Mathias Preiner
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-17Use is_sorted, merge, copy from std (#199)Andres Noetzli
2017-07-13autoconf: make -std=gnu++11 mandatoryAina Niemetz
2017-07-10Prerelease versioning for master.Mathias Preiner
2017-07-10Cutting release 1.5.Mathias Preiner
2017-06-21Check for sigaltstack in configure (#172)Clément Pit-Claudel
2017-05-12Conditional coverage buildmakaimann
2017-04-21Add check for C++ exceptions to config scriptAndres Notzli
2017-03-08Fix MinGW-w64 buildAndres Notzli
2016-12-01Fix build on macOS SierraAndres Notzli
2016-05-24Merged cryptominisat from experimental branch.Liana Hadarean
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-10-26This commit fixes a bug related to a public header depending on a compiler fl...Tim King
2015-10-24Revert "Default builds are now proof enabled."Kshitij Bansal
2015-10-23Changes configure.ac so that the single recurisve invocation runs with a rela...Tim King
2015-10-11Default builds are now proof enabled.Liana Hadarean
2015-10-09Temporary reverting commit 477e72b (proofs as default build) until we fix nig...Liana Hadarean
2015-10-07Default builds are now proof enabled.Liana Hadarean
2015-02-12Changing CXXFLAGS for custom cln installation in configure.ac.Tim King
2015-01-19Adding an additional search path to configure.ac for cxxtestgen to reflect th...Tim King
2014-08-12To avoid confusion, permit --enable-staticbinary as an alias for --enable-sta...Morgan Deters
2014-07-13Versioning for master.Morgan Deters
2014-07-13New versioning for development version.Morgan Deters
2014-07-13Cutting release 1.4.1.4Morgan Deters
2014-06-26Minor language bindings fixes.Morgan Deters
2014-06-25Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp...Morgan Deters
2014-06-21Adjust library dependencies to be more correct (fixes lintian warnings).Morgan Deters
2014-06-19Fix for mac readline.Morgan Deters
2014-06-19Fix for pre-C++11 is_sorted().Morgan Deters
2014-06-19No more dependence on libstdc++ or PBDS stuff: remove build stuff that suppor...Morgan Deters
2014-06-19get-glpk-cut-log script, and configure code.Morgan Deters
2014-06-11Some clean-up, post bv-merge.Morgan Deters
2014-06-10Merging CAV14 paper bit-vector work.lianah
2014-05-30Fix personal.mk for some make targets.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-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-18Merge branch '1.3.x'Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback