projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix relevant domain for parametric operators (#7198)
[cvc5.git]
/
src
/
theory
/
quantifiers
/
relevant_domain.h
2021-09-16
Andrew Reynolds
Fix relevant domain for parametric operators (#7198)
blob
|
commitdiff
|
raw
2021-09-09
Andres Noetzli
Remove `TheoryState::options()` (#7148)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-21
Andrew Reynolds
Fix and refactor relevant domain (#6528)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-14
Aina Niemetz
Rename public and private headers in src/include. ...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-30
Andrew Reynolds
Miscellaneous elimination of dependencies on quantifier...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-17
Andrew Reynolds
Move methods from term util to quantifiers registry...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-28
Andrew Reynolds
Use standard equality engine information in quantifiers...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-16
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Updated copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
blob
|
commitdiff
|
raw
|
diff to current
2017-11-16
Andrew Reynolds
(Refactor) Arithmetic monomial sum (#1381)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-28
Andrew Reynolds
Document term db (#1220)
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Mathias Preiner
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2017-03-24
ajreynol
Refactor model building for quantifiers to be a single...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-02
ajreynol
Fix a few obvious memory leaks in sygus and quantifiers...
blob
|
commitdiff
|
raw
|
diff to current
2016-10-13
Tim King
Revert "Merge branch 'origin' of https://github.com...
blob
|
commitdiff
|
raw
|
diff to current
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
blob
|
commitdiff
|
raw
|
diff to current
2016-10-01
Tim King
Merge pull request #93 from timothy-king/clang-format
blob
|
commitdiff
|
raw
|
diff to current
2016-09-29
ajreynol
Address some coverity warnings, add another stat.
blob
|
commitdiff
|
raw
|
diff to current
2016-08-26
ajreynol
Basic support for EPR+CBQI. Minor cleanup.
blob
|
commitdiff
|
raw
|
diff to current
2016-08-24
PaulMeng
Merge remote-tracking branch 'origin/master'
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-04-20
PaulMeng
update from the master
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
ajreynol
Minor refactoring of entailment tests and quantifiers...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Tim King
Updating the copyright headers and scripts.
blob
|
commitdiff
|
raw
|
diff to current
2015-11-17
ajreynol
Improve relevant domain computation for arithmetic...
blob
|
commitdiff
|
raw
|
diff to current
2015-11-12
ajreynol
Minor fixes and improvements to purify quant, relationa...
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
Update copyrights.
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-02-11
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-02-09
Andrew Reynolds
More complete guess instantiation strategy, cvc4 now...
blob
|
commitdiff
|
raw
|
diff to current
2014-01-27
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-26
Andrew Reynolds
More optimization of QCF. Fixed InstMatchTrie for...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-05
Morgan Deters
Update copyrights, add missing file-level documentation...
blob
|
commitdiff
|
raw
|
diff to current
2013-09-30
Liana Hadarean
merged golden
blob
|
commitdiff
|
raw
|
diff to current
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-07-29
Morgan Deters
Fix numerous compiler warnings on various platforms
blob
|
commitdiff
|
raw
|
diff to current
2013-07-09
Andrew Reynolds
add relevant domain computation
blob
|
commitdiff
|
raw
|
diff to current
2013-06-25
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
2013-06-19
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
2013-06-04
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
2013-06-03
Morgan Deters
Merge tag 'casc24'
blob
|
commitdiff
|
raw
2013-05-29
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
2013-05-23
Andrew Reynolds
Refactoring to prepare for MBQI with integer quantifica...
blob
|
commitdiff
|
raw
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Morgan Deters
update copyrights
blob
|
commitdiff
|
raw
|
diff to current
2012-10-11
Morgan Deters
Standardizing copyright notice. Touches **ALL** source...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-31
Andrew Reynolds
merge from fmf-devel branch. more updates to models...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-31
Morgan Deters
Moving some instantiation-related stuff from src/theory...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-27
Morgan Deters
Minor cleanup after today's commits:
blob
|
commitdiff
|
raw
|
diff to current
2012-07-12
Andrew Reynolds
merged fmf-devel branch, includes support for SMT2...
blob
|
commitdiff
|
raw
|
diff to current