projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix annotations in regress2. (#1917)
[cvc5.git]
/
configure.ac
2018-05-14
Mathias Preiner
Add contrib/get-symfpu for downloading symfpu. (#1905)
blob
|
commitdiff
|
raw
2018-04-06
Andres Noetzli
Python regression script (#1662)
blob
|
commitdiff
|
raw
|
diff to current
2018-04-02
Clark Barrett
Remove references to nyu (#1721)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-21
Mathias Preiner
Refactor mkoptions (#1631)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-20
Mathias Preiner
Add support for CaDiCaL as eager BV SAT solver. (#1675)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
blob
|
commitdiff
|
raw
|
diff to current
2018-02-09
Andres Noetzli
Replace CMM flag with debug CMM flag, fix leak in debug...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-01
Andres Noetzli
Add debugging tools for ContextMemoryManager (#1407)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-27
Andres Noetzli
Modify LDFLAGS to support shared libraries for Win...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-03
Mathias Preiner
Add Cryptominisat and LFSC to --show-config output...
blob
|
commitdiff
|
raw
|
diff to current
2017-09-05
Mathias Preiner
Fix link in configure.ac.
blob
|
commitdiff
|
raw
|
diff to current
2017-08-31
Andres Noetzli
Use thread_local instead of compiler extensions (#210)
blob
|
commitdiff
|
raw
|
diff to current
2017-08-25
Aina Niemetz
Move LFSC checker out of the CVC repository. (#222)
blob
|
commitdiff
|
raw
|
diff to current
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
blob
|
commitdiff
|
raw
|
diff to current
2017-08-09
Aina Niemetz
Fix help message for disable-unit-testing in configure...
blob
|
commitdiff
|
raw
|
diff to current
2017-08-02
Mathias Preiner
Disable 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 Preiner
Use TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
blob
|
commitdiff
|
raw
|
diff to current
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
blob
|
commitdiff
|
raw
|
diff to current
2017-07-17
Andres Noetzli
Use is_sorted, merge, copy from std (#199)
blob
|
commitdiff
|
raw
|
diff to current
2017-07-13
Aina Niemetz
Merge pull request #188 from aniemetz/cx11
blob
|
commitdiff
|
raw
|
diff to current
2017-07-13
Aina Niemetz
autoconf: make -std=gnu++11 mandatory
blob
|
commitdiff
|
raw
|
diff to current
2017-07-10
Mathias Preiner
Prerelease versioning for master.
blob
|
commitdiff
|
raw
|
diff to current
2017-07-10
Mathias Preiner
Cutting release 1.5.
blob
|
commitdiff
|
raw
|
diff to current
2017-06-21
Andrew Reynolds
Merge pull request #175 from CVC4/fix_uninit
blob
|
commitdiff
|
raw
|
diff to current
2017-06-21
Andrew Reynolds
Merge pull request #176 from CVC4/smtcomp2017
blob
|
commitdiff
|
raw
|
diff to current
2017-06-21
Clément Pit-Claudel
Check for sigaltstack in configure (#172)
blob
|
commitdiff
|
raw
|
diff to current
2017-05-17
Clark Barrett
Merge pull request #155 from makaimann/conditional_coverage
blob
|
commitdiff
|
raw
|
diff to current
2017-05-12
makaimann
Conditional coverage build
blob
|
commitdiff
|
raw
|
diff to current
2017-04-21
Clark Barrett
Merge pull request #150 from 4tXJ7f/check_exceptions2
blob
|
commitdiff
|
raw
|
diff to current
2017-04-21
Andres Notzli
Add check for C++ exceptions to config script
blob
|
commitdiff
|
raw
|
diff to current
2017-03-14
Clark Barrett
Merge pull request #132 from 4tXJ7f/fix_mingw64
blob
|
commitdiff
|
raw
|
diff to current
2017-03-08
Andres Notzli
Fix MinGW-w64 build
blob
|
commitdiff
|
raw
|
diff to current
2016-12-02
Tim King
Merge pull request #95 from 4tXJ7f/fix_sierra_build
blob
|
commitdiff
|
raw
|
diff to current
2016-12-02
Andres Notzli
Fix build on macOS Sierra
blob
|
commitdiff
|
raw
|
diff to current
2016-07-05
PaulMeng
Merge branch 'master' of https://github.com/CVC4/CVC4.git
blob
|
commitdiff
|
raw
|
diff to current
2016-05-25
Liana Hadarean
Merged cryptominisat from experimental branch.
blob
|
commitdiff
|
raw
|
diff to current
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
blob
|
commitdiff
|
raw
|
diff to current
2015-10-26
Tim King
This commit fixes a bug related to a public header...
blob
|
commitdiff
|
raw
|
diff to current
2015-10-25
Kshitij Bansal
Revert "Default builds are now proof enabled."
blob
|
commitdiff
|
raw
|
diff to current
2015-10-24
Tim King
Changes configure.ac so that the single recurisve invoc...
blob
|
commitdiff
|
raw
|
diff to current
2015-10-12
Kshitij Bansal
Merge pull request #76 from CVC4/proofs
blob
|
commitdiff
|
raw
|
diff to current
2015-10-11
Liana Hadarean
Default builds are now proof enabled.
blob
|
commitdiff
|
raw
|
diff to current
2015-10-09
Liana Hadarean
Temporary reverting commit 477e72b (proofs as default...
blob
|
commitdiff
|
raw
|
diff to current
2015-10-07
Liana Hadarean
Default builds are now proof enabled.
blob
|
commitdiff
|
raw
|
diff to current
2015-02-12
Tim King
Changing CXXFLAGS for custom cln installation in config...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2015-01-19
Tim King
Adding an additional search path to configure.ac for...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-10
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-05
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-17
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-16
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-11
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-06
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-06
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-30
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-27
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-26
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-22
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-22
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-19
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-18
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-13
Morgan Deters
To avoid confusion, permit --enable-staticbinary as...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-13
Morgan Deters
Versioning for master.
blob
|
commitdiff
|
raw
|
diff to current
2014-07-13
Morgan Deters
New versioning for development version.
blob
|
commitdiff
|
raw
|
diff to current
2014-07-13
Morgan Deters
Cutting release 1.4.
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
blob
|
commitdiff
|
raw
|
diff to current
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Minor language bindings fixes.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Kshitij Bansal
Merge pull request #43 from mdeters/threadstack
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Morgan Deters
Stack-size portfolio fix. If using Boost 1.50, --threa...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-21
Morgan Deters
Adjust library dependencies to be more correct (fixes...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
Fix for mac readline.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
Fix for pre-C++11 is_sorted().
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
No more dependence on libstdc++ or PBDS stuff: remove...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
get-glpk-cut-log script, and configure code.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-18
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-18
Morgan Deters
Fix for mac readline.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-18
Morgan Deters
Fix for pre-C++11 is_sorted().
blob
|
commitdiff
|
raw
|
diff to current
next