projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61da690) | patch
Add support for oracle constant nodes (#8707)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 4 May 2022 00:15:30 +0000 (19:15 -0500)
committerGitHub <noreply@github.com>
Wed, 4 May 2022 00:15:30 +0000 (00:15 +0000)
commit7fa4709c891bcdf5aa1d3ed4b001d0628bbc17be
tree3cd804419f40a37b8e60107c7c43723ab221a315tree
parent61da690d4a441f3c754ce25d64e5b8ff9d0080ffcommit | diff
Add support for oracle constant nodes (#8707)

This is the beginning of a refactoring to make std::function the basis for oracles internally, not binary names.
src/expr/CMakeLists.txt diff | blob | history
src/expr/node_manager_attributes.h diff | blob | history
src/expr/node_manager_template.cpp diff | blob | history
src/expr/node_manager_template.h diff | blob | history
src/expr/oracle.h [new file with mode: 0644] blob
src/theory/quantifiers/kinds diff | blob | history