projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add priorities to getNextDecision. Properly handle case for finite types + unbounded...
[cvc5.git]
/
configure.ac
2016-07-05
PaulMeng
Merge branch 'master' of https://github.com/CVC4/CVC4.git
blob
|
commitdiff
|
raw
2016-05-25
Liana Hadarean
Merged cryptominisat from experimental branch.
blob
|
commitdiff
|
raw
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
2014-06-17
Morgan Deters
No more dependence on libstdc++ or PBDS stuff: remove...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Morgan Deters
get-glpk-cut-log script, and configure code.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Morgan Deters
get-glpk-cut-log script, and configure code.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-11
Morgan Deters
Some clean-up, post bv-merge.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-10
lianah
Merging CAV14 paper bit-vector work.
blob
|
commitdiff
|
raw
|
diff to current
2014-05-30
Morgan Deters
Fix personal.mk for some make targets.
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-26
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-19
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-27
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Kshitij Bansal
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-09
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-08
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-08
Morgan Deters
Switch license default back to BSD, and add --best...
blob
|
commitdiff
|
raw
|
diff to current
2014-01-02
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-27
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-24
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-24
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-23
Morgan Deters
Proof-checking code; fixups of segfaults and missing...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-22
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-19
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Fix an autoconf issue with CLN in some configurations...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Fix configure handling for CLN (should fix win32 nightl...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Reduce autoconf version for dependence (should fix...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
configure --with-portfolio disables CLN.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
next