projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7041270) | patch
Move synthesis verification check to own file (#6882)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 14 Jul 2021 20:42:40 +0000 (15:42 -0500)
committerGitHub <noreply@github.com>
Wed, 14 Jul 2021 20:42:40 +0000 (17:42 -0300)
commita7d01e2f8f0e2ff5d2af30aa6b97e5e16758997e
tree80c4a25c7fe3efaf8dc5adedde611a83ec0130bbtree
parent704127085e5ba2deb19e41337908a340e1b191ddcommit | diff
Move synthesis verification check to own file (#6882)

In preparation for more extensions to this aspect of the synthesis solver.
src/CMakeLists.txt diff | blob | history
src/theory/quantifiers/sygus/synth_conjecture.cpp diff | blob | history
src/theory/quantifiers/sygus/synth_conjecture.h diff | blob | history
src/theory/quantifiers/sygus/synth_verify.cpp [new file with mode: 0644] blob
src/theory/quantifiers/sygus/synth_verify.h [new file with mode: 0644] blob