projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add new method for enumerating unsat queries with SyGuS (#7459)
[cvc5.git] / src / theory / quantifiers / expr_miner.cpp
2021-10-25 Andrew ReynoldsAdd new method for enumerating unsat queries with SyGuS... blob | commitdiff | raw
2021-10-22 Andrew ReynoldsMake expression mining use configurable options and... blob | commitdiff | raw | diff to current
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) blob | commitdiff | raw | diff to current
2021-08-26 Andrew ReynoldsEliminate currentSmtEngine for subsolver calls (#7068) blob | commitdiff | raw | diff to current
2021-08-25 Andrew ReynoldsEliminate calls to currentSmtEngine (#7060) blob | commitdiff | raw | diff to current
2021-08-17 Andrew ReynoldsImprove conversion to skolems in expression miner ... blob | commitdiff | raw | diff to current
2021-07-01 Andrew ReynoldsAdd recursive function definitions to subsolver in... blob | commitdiff | raw | diff to current
2021-06-07 Gereon KremerRemove `Options::wasSetByUser()` (#6682) blob | commitdiff | raw | diff to current
2021-06-02 Gereon KremerMove public wrapper functions out of options class... blob | commitdiff | raw | diff to current
2021-04-26 Gereon KremerFirst part of options refactoring (#6428) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-09 Andrew ReynoldsUse expr miner timeout (#6321) blob | commitdiff | raw | diff to current
2021-04-07 Andrew ReynoldsReplace calls to NodeManager::mkSkolem with SkolemManag... blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-23 Aina NiemetzRemove internal includes of Api header. (#6193) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-03-03 Abdalrhman MohamedRemove uses of SExpr class. (#6035) blob | commitdiff | raw | diff to current
2021-03-02 Gereon KremerClean up includes to reduce compile times (#6031) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-07-15 Andres NoetzliUse Nodes for SmtEngine assertions (#4752) blob | commitdiff | raw | diff to current
2020-07-14 Andrew ReynoldsMinor refactoring of subsolver initialization (#4731) blob | commitdiff | raw | diff to current
2020-07-07 Andrew ReynoldsTransfer ownership of internal Options from NodeManager... blob | commitdiff | raw | diff to current
2020-06-29 Andres NoetzliMake ExprManager constructor private (#4669) blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-03-03 Andrew ReynoldsStandardize the interface for SMT engine subsolvers... blob | commitdiff | raw | diff to current
2019-07-29 Andrew ReynoldsSupport get-abduct smt2 command (#3122) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2019-03-23 Andres NoetzliFix memory leak when using subsolvers (#2893) blob | commitdiff | raw | diff to current
2019-03-20 Andrew ReynoldsSygus abduction feature (#2744) blob | commitdiff | raw | diff to current
2018-11-28 Andrew ReynoldsGeneralize sygus stream solution filtering to logical... blob | commitdiff | raw | diff to current
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624) blob | commitdiff | raw | diff to current
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608) blob | commitdiff | raw | diff to current
2018-09-14 Andrew ReynoldsGeneralize CandidateRewriteDatabase to ExprMiner (... blob | commitdiff | raw | diff to current