summaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Expand)Author
2018-06-25Bump library version to 1.7-prerelease.Aina Niemetz
2018-06-25Cutting release 1.6.Aina Niemetz
2018-06-20Fix warnings and enable -Wnon-virtual-dtor warning (#2079)Andres Noetzli
2018-06-20Check unsat cores in regressions also without LFSC (#1955)Andres Noetzli
2018-06-20Resolve CVC4_USE_SYMFPU in headers at config-time (#2077)Andres Noetzli
2018-05-21Add SymFPU licensing information. (#1952)Mathias Preiner
2018-05-14Add contrib/get-symfpu for downloading symfpu. (#1905)Mathias Preiner
2018-04-05 Python regression script (#1662)Andres Noetzli
2018-04-02Remove references to nyu (#1721)Clark Barrett
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
2018-03-20Add support for CaDiCaL as eager BV SAT solver. (#1675)Mathias Preiner
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback