projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix unsoundness in IAND solver (#8053)
[cvc5.git]
/
src
/
decision
/
2021-10-29
Gereon Kremer
Remove static access to options in decision folder...
tree
|
commitdiff
2021-10-08
Andrew Reynolds
Add argument to distinguish lemmas and input assertions...
tree
|
commitdiff
2021-10-06
Andrew Reynolds
Refactor skolem definitions notifications for the decis...
tree
|
commitdiff
2021-10-04
Andrew Reynolds
Make decision engine use env (#7300)
tree
|
commitdiff
2021-10-01
Aina Niemetz
Rename SmtEngine to SolverEngine. (#7282)
tree
|
commitdiff
2021-07-09
Andrew Reynolds
Implement stop-only for new justification heuristic...
tree
|
commitdiff
2021-06-09
Andres Noetzli
Update CVC4 URLs/macros (#6666)
tree
|
commitdiff
2021-05-27
Andrew Reynolds
Enable new justification heuristic by default (#6613)
tree
|
commitdiff
2021-05-24
Andrew Reynolds
Implementation of the new justification heuristic ...
tree
|
commitdiff
2021-05-13
Mathias Preiner
Add std::hash overloads for Node, TNode and TypeNode...
tree
|
commitdiff
2021-05-05
Andrew Reynolds
Move current decision engine to decision engine old...
tree
|
commitdiff
2021-04-29
Andrew Reynolds
Add assertion list utility for justification heuristic...
tree
|
commitdiff
2021-04-22
Andrew Reynolds
Reorganizing use of skolem definition manager in prop...
tree
|
commitdiff
2021-04-21
Andrew Reynolds
Add basic utilities for new implementation of justifica...
tree
|
commitdiff
2021-04-14
Gereon Kremer
Refactor / reimplement statistics (#6162)
tree
|
commitdiff
2021-04-14
Aina Niemetz
Rename public and private headers in src/include. ...
tree
|
commitdiff
2021-04-12
Gereon Kremer
Refactor resource manager (#6322)
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
tree
|
commitdiff
2021-04-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
tree
|
commitdiff
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
tree
|
commitdiff
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
tree
|
commitdiff
2021-03-11
Gereon Kremer
First refactoring of statistics classes (#6105)
tree
|
commitdiff
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
tree
|
commitdiff
2021-03-08
Gereon Kremer
Fix justification heuristic again (#6074)
tree
|
commitdiff
2021-03-03
Gereon Kremer
More cleanup of includes to reduce compilation times...
tree
|
commitdiff
2021-02-26
Gereon Kremer
Store Node instead of TNode (#5993)
tree
|
commitdiff
2021-02-12
Andrew Reynolds
Simplify and fix decision engine's handling of skolem...
tree
|
commitdiff
2020-12-14
Haniel Barbosa
[proof-new] Updating interfaces between prop engine...
tree
|
commitdiff
2020-12-09
Andrew Reynolds
Make decision engine independent of AssertionsPipeline...
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-05
Andres Noetzli
Fix handling of Boolean term variables (#4550)
tree
|
commitdiff
2020-04-10
Andrew Reynolds
Towards proper use of resource managers (#4233)
tree
|
commitdiff
2020-03-16
Aina Niemetz
DecisionEngine: Use single unique pointer for ITE strat...
tree
|
commitdiff
2020-03-10
Aina Niemetz
Fix issue with reset-assertions. (#3988)
tree
|
commitdiff
2020-03-09
Aina Niemetz
DecisionEngine: Use unique_ptr for enabled strategies...
tree
|
commitdiff
2020-03-05
Aina Niemetz
Move ownership of DecisionEngine into PropEngine. ...
tree
|
commitdiff
2020-03-05
Aina Niemetz
Revert "Move ownership of DecisionEngine into PropEngin...
tree
|
commitdiff
2020-03-05
Andrew Reynolds
Move ownership of DecisionEngine into PropEngine. ...
tree
|
commitdiff
2020-02-20
Mathias Preiner
resource manager: Add statistic for every resource...
tree
|
commitdiff
2019-12-17
Mathias Preiner
Generate code for options with modes. (#3561)
tree
|
commitdiff
2019-10-30
Mathias Preiner
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...
tree
|
commitdiff
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-09-15
Andres Noetzli
Refactor how assertions are added to decision engine...
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-01-04
Tim King
Removing miscellaneous throw specifiers. (#1474)
tree
|
commitdiff
2017-11-17
Aina Niemetz
Add random number generator. (#1370)
tree
|
commitdiff
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-03-02
ajreynol
Minor cleanup and reorganization related to last commit.
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-04
Tim King
Updating the copyright headers and scripts.
tree
|
commitdiff
2016-02-02
Tim King
Moving dump.*, command.*, model.*, and ite_removal...
tree
|
commitdiff
2016-01-09
Tim King
Removing StatisticsRegistry's static functions current...
tree
|
commitdiff
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
tree
|
commitdiff
2015-05-28
Liana Hadarean
added options for controlling resource step-count for...
tree
|
commitdiff
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-04-23
Clark Barrett
Merge branch 'master' into google
tree
|
commitdiff
2015-04-21
Clark Barrett
Changes needed to compile at Google, plus some bug...
tree
|
commitdiff
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-17
Liana Hadarean
Resource-limiting work.
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-05
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-20
Kshitij Bansal
Merge pull request #59 from kbansal/sets3
tree
|
commitdiff
2014-10-20
Kshitij Bansal
fix statistic in decision engine
tree
|
commitdiff
2014-10-17
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-16
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-14
Kshitij Bansal
amend prvs commit
tree
|
commitdiff
2014-10-14
Kshitij Bansal
trace decision-node
tree
|
commitdiff
2014-10-11
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
tree
|
commitdiff
2014-10-09
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-07
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-10-07
Kshitij Bansal
whitespace fixes
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-25
Kshitij Bansal
cosmetic
tree
|
commitdiff
2014-05-01
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-05-01
Kshitij Bansal
decision engine: cache start index for and/or nodes
tree
|
commitdiff
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-24
Morgan Deters
Minor code cleanup.
tree
|
commitdiff
2013-12-05
Morgan Deters
Update copyrights, add missing file-level documentation...
tree
|
commitdiff
2013-11-11
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-11-07
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
next