projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Commenting out throw specifiers for DeltaRationExceptions. These functions can be...
[cvc5.git] / configure.ac
2017-12-01 Andres NoetzliAdd debugging tools for ContextMemoryManager (#1407) blob | commitdiff | raw
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
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw | diff to current
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds blob | commitdiff | raw | diff to current
2014-06-21 Morgan DetersAdjust library dependencies to be more correct (fixes... blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersFix for mac readline. blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersFix for pre-C++11 is_sorted(). blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersNo more dependence on libstdc++ or PBDS stuff: remove... blob | commitdiff | raw | diff to current
2014-06-19 Morgan Detersget-glpk-cut-log script, and configure code. blob | commitdiff | raw | diff to current
2014-06-18 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2014-06-18 Morgan DetersFix for mac readline. blob | commitdiff | raw | diff to current
2014-06-18 Morgan DetersFix for pre-C++11 is_sorted(). blob | commitdiff | raw | diff to current
2014-06-17 Morgan DetersNo more dependence on libstdc++ or PBDS stuff: remove... blob | commitdiff | raw | diff to current
2014-06-17 Morgan Detersget-glpk-cut-log script, and configure code. blob | commitdiff | raw | diff to current
2014-06-16 Morgan Detersget-glpk-cut-log script, and configure code. blob | commitdiff | raw | diff to current
2014-06-11 Morgan DetersSome clean-up, post bv-merge. blob | commitdiff | raw | diff to current
2014-06-10 lianahMerging CAV14 paper bit-vector work. blob | commitdiff | raw | diff to current
2014-05-30 Morgan DetersFix personal.mk for some make targets. blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
next