projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Eliminate calls to currentSmtEngine (#7060)
[cvc5.git]
/
src
/
theory
/
quantifiers
/
expr_miner.cpp
2021-08-25
Andrew Reynolds
Eliminate calls to currentSmtEngine (#7060)
blob
|
commitdiff
|
raw
2021-08-17
Andrew Reynolds
Improve conversion to skolems in expression miner ...
blob
|
commitdiff
|
raw
|
diff to current
2021-07-01
Andrew Reynolds
Add recursive function definitions to subsolver in...
blob
|
commitdiff
|
raw
|
diff to current
2021-06-07
Gereon Kremer
Remove `Options::wasSetByUser()` (#6682)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-02
Gereon Kremer
Move public wrapper functions out of options class...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-26
Gereon Kremer
First part of options refactoring (#6428)
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
Andrew Reynolds
Use expr miner timeout (#6321)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-07
Andrew Reynolds
Replace calls to NodeManager::mkSkolem with SkolemManag...
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-23
Aina Niemetz
Remove internal includes of Api header. (#6193)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-03
Abdalrhman Mohamed
Remove uses of SExpr class. (#6035)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Gereon Kremer
Clean up includes to reduce compile times (#6031)
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-07-15
Andres Noetzli
Use Nodes for SmtEngine assertions (#4752)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-14
Andrew Reynolds
Minor refactoring of subsolver initialization (#4731)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-07
Andrew Reynolds
Transfer ownership of internal Options from NodeManager...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-29
Andres Noetzli
Make ExprManager constructor private (#4669)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-16
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2020-03-03
Andrew Reynolds
Standardize the interface for SMT engine subsolvers...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-29
Andrew Reynolds
Support get-abduct smt2 command (#3122)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2019-03-23
Andres Noetzli
Fix memory leak when using subsolvers (#2893)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-20
Andrew Reynolds
Sygus abduction feature (#2744)
blob
|
commitdiff
|
raw
|
diff to current
2018-11-28
Andrew Reynolds
Generalize sygus stream solution filtering to logical...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-13
Andres Noetzli
Reset input language for ExprMiner subsolver (#2624)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-11
Andrew Reynolds
Synthesize rewrite rules from inputs (#2608)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-14
Andrew Reynolds
Generalize CandidateRewriteDatabase to ExprMiner (...
blob
|
commitdiff
|
raw
|
diff to current