projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
New C++ API: Fix isDefinedKind() to not be ambigious with respect to … (#2384)
[cvc5.git] / configure.ac
2018-08-14 Aina Niemetzautotools: Remove personal builds, rename build 'defaul... blob | commitdiff | raw
2018-07-27 Andres NoetzliFix issues related to cxxtest in configure.ac (#2226) blob | commitdiff | raw | diff to current
2018-07-27 Mathias PreinerMake Python a required CVC4 dependency. (#2227) blob | commitdiff | raw | diff to current
2018-07-27 Mathias PreinerFix CryptoMiniSat config to allow system versions.... blob | commitdiff | raw | diff to current
2018-06-26 Aina NiemetzBump library version to 1.7-prerelease. blob | commitdiff | raw | diff to current
2018-06-26 Aina NiemetzCutting release 1.6. blob | commitdiff | raw | diff to current
2018-06-21 Andres NoetzliFix warnings and enable -Wnon-virtual-dtor warning... blob | commitdiff | raw | diff to current
2018-06-21 Andres NoetzliCheck unsat cores in regressions also without LFSC... blob | commitdiff | raw | diff to current
2018-06-20 Andres NoetzliResolve CVC4_USE_SYMFPU in headers at config-time ... blob | commitdiff | raw | diff to current
2018-05-22 Mathias PreinerAdd SymFPU licensing information. (#1952) blob | commitdiff | raw | diff to current
2018-05-14 Mathias PreinerAdd contrib/get-symfpu for downloading symfpu. (#1905) blob | commitdiff | raw | diff to current
2018-04-06 Andres Noetzli Python regression script (#1662) blob | commitdiff | raw | diff to current
2018-04-02 Clark BarrettRemove references to nyu (#1721) blob | commitdiff | raw | diff to current
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) blob | commitdiff | raw | diff to current
2018-03-20 Mathias PreinerAdd support for CaDiCaL as eager BV SAT solver. (#1675) blob | commitdiff | raw | diff to current
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) blob | commitdiff | raw | diff to current
2018-02-09 Andres NoetzliReplace CMM flag with debug CMM flag, fix leak in debug... blob | commitdiff | raw | diff to current
2017-12-01 Andres NoetzliAdd debugging tools for ContextMemoryManager (#1407) blob | commitdiff | raw | diff to current
2017-10-27 Andres NoetzliModify LDFLAGS to support shared libraries for Win... blob | commitdiff | raw | diff to current
2017-10-03 Mathias PreinerAdd Cryptominisat and LFSC to --show-config output... blob | commitdiff | raw | diff to current
2017-09-05 Mathias PreinerFix link in configure.ac. blob | commitdiff | raw | diff to current
2017-08-31 Andres NoetzliUse thread_local instead of compiler extensions (#210) blob | commitdiff | raw | diff to current
2017-08-25 Aina NiemetzMove LFSC checker out of the CVC repository. (#222) blob | commitdiff | raw | diff to current
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp blob | commitdiff | raw | diff to current
2017-08-09 Aina NiemetzFix help message for disable-unit-testing in configure... blob | commitdiff | raw | diff to current
2017-08-02 Mathias PreinerDisable debug symbols for production builds. blob | commitdiff | raw | diff to current
2017-07-27 Andres Noetzli-Og for non-opt build, parallel pcvc4 check (#206) blob | commitdiff | raw | diff to current
2017-07-26 Mathias PreinerUse TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest... blob | commitdiff | raw | diff to current
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp blob | commitdiff | raw | diff to current
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... blob | commitdiff | raw | diff to current
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp blob | commitdiff | raw | diff to current
2017-07-17 Andres NoetzliUse is_sorted, merge, copy from std (#199) blob | commitdiff | raw | diff to current
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 blob | commitdiff | raw | diff to current
2017-07-13 Aina Niemetzautoconf: make -std=gnu++11 mandatory blob | commitdiff | raw | diff to current
2017-07-10 Mathias PreinerPrerelease versioning for master. blob | commitdiff | raw | diff to current
2017-07-10 Mathias PreinerCutting release 1.5. blob | commitdiff | raw | diff to current
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit blob | commitdiff | raw | diff to current
2017-06-21 Andrew ReynoldsMerge pull request #176 from CVC4/smtcomp2017 blob | commitdiff | raw | diff to current
2017-06-21 Clément Pit-ClaudelCheck for sigaltstack in configure (#172) blob | commitdiff | raw | diff to current
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage blob | commitdiff | raw | diff to current
2017-05-12 makaimannConditional coverage build blob | commitdiff | raw | diff to current
2017-04-21 Clark BarrettMerge pull request #150 from 4tXJ7f/check_exceptions2 blob | commitdiff | raw | diff to current
2017-04-21 Andres NotzliAdd check for C++ exceptions to config script blob | commitdiff | raw | diff to current
2017-03-14 Clark BarrettMerge pull request #132 from 4tXJ7f/fix_mingw64 blob | commitdiff | raw | diff to current
2017-03-08 Andres NotzliFix MinGW-w64 build blob | commitdiff | raw | diff to current
2016-12-02 Tim KingMerge pull request #95 from 4tXJ7f/fix_sierra_build blob | commitdiff | raw | diff to current
2016-12-02 Andres NotzliFix build on macOS Sierra blob | commitdiff | raw | diff to current
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-05-25 Liana HadareanMerged cryptominisat from experimental branch. blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2015-10-26 Tim KingThis commit fixes a bug related to a public header... blob | commitdiff | raw | diff to current
2015-10-25 Kshitij BansalRevert "Default builds are now proof enabled." blob | commitdiff | raw | diff to current
2015-10-24 Tim KingChanges configure.ac so that the single recurisve invoc... blob | commitdiff | raw | diff to current
2015-10-12 Kshitij BansalMerge pull request #76 from CVC4/proofs blob | commitdiff | raw | diff to current
2015-10-11 Liana HadareanDefault builds are now proof enabled. blob | commitdiff | raw | diff to current
2015-10-09 Liana HadareanTemporary reverting commit 477e72b (proofs as default... blob | commitdiff | raw | diff to current
2015-10-07 Liana HadareanDefault builds are now proof enabled. blob | commitdiff | raw | diff to current
2015-02-12 Tim KingChanging CXXFLAGS for custom cln installation in config... blob | commitdiff | raw | diff to current
2015-02-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2015-01-19 Tim KingAdding an additional search path to configure.ac for... blob | commitdiff | raw | diff to current
2014-11-10 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-05 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-17 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-16 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-11 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' blob | commitdiff | raw | diff to current
2014-10-09 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-02 Morgan DetersMerge branch '1.4.x'. blob | commitdiff | raw | diff to current
2014-09-30 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-27 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-26 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. blob | commitdiff | raw | diff to current
2014-09-17 Kshitij BansalMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-19 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-18 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-13 Morgan DetersTo avoid confusion, permit --enable-staticbinary as... blob | commitdiff | raw | diff to current
2014-07-13 Morgan DetersVersioning for master. blob | commitdiff | raw | diff to current
2014-07-13 Morgan DetersNew versioning for development version. blob | commitdiff | raw | diff to current
2014-07-13 Morgan DetersCutting release 1.4. blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp blob | commitdiff | raw | diff to current
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMinor language bindings fixes. blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds blob | commitdiff | raw | diff to current
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds blob | commitdiff | raw | diff to current
2014-06-25 Kshitij BansalMerge pull request #43 from mdeters/threadstack blob | commitdiff | raw | diff to current
2014-06-25 Morgan DetersStack-size portfolio fix. If using Boost 1.50, --threa... blob | commitdiff | raw | diff to current
next