projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d48e117) | patch
(proof-new) More term context utilities. (#4912)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 29 Aug 2020 01:35:56 +0000 (20:35 -0500)
committerGitHub <noreply@github.com>
Sat, 29 Aug 2020 01:35:56 +0000 (20:35 -0500)
commit0675545dde7ed679b7045a37470148c7e1bdfd25
tree3f397a984f57d30110d4027922aa2e5c1e822575tree
parentd48e117199b766a9a55eaf951d4d5ed80c9b8dc0commit | diff
(proof-new) More term context utilities. (#4912)

These utilities will be used for making some of the core proof utilities term-context-sensitve.
src/expr/term_context_node.cpp [new file with mode: 0644] blob
src/expr/term_context_node.h [new file with mode: 0644] blob
src/expr/term_context_stack.cpp [new file with mode: 0644] blob
src/expr/term_context_stack.h [new file with mode: 0644] blob