projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d99cc0f) | patch
Formalize shared selectors as skolem functions (#6591)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 21 May 2021 21:07:50 +0000 (16:07 -0500)
committerGitHub <noreply@github.com>
Fri, 21 May 2021 21:07:50 +0000 (21:07 +0000)
commit08218e74b729bd7da4d95ecd77bdd696a22bb687
tree8e744877435654adcd499533a712dec0b36a9d19tree
parentd99cc0f25aad013886a9648c93423c64fab9bdd4commit | diff
Formalize shared selectors as skolem functions (#6591)

This is work towards properly printing shared selectors in external proofs.
src/expr/dtype.cpp diff | blob | history
src/expr/skolem_manager.cpp diff | blob | history
src/expr/skolem_manager.h diff | blob | history