projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9dcec27) | patch
(proof-new) Add abstract proof generator class (#4574)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 8 Jun 2020 21:18:21 +0000 (16:18 -0500)
committerGitHub <noreply@github.com>
Mon, 8 Jun 2020 21:18:21 +0000 (16:18 -0500)
commitc56b38ed806e524614da8500ac435364249f4215
tree7db116f2dd4697eebfed2908f4da033693192ffbtree
parent9dcec275dd58b97c4e484ea8a7978fdf7ea88453commit | diff
(proof-new) Add abstract proof generator class (#4574)

Also adds a commonly used proof generator: the proof reference proof generator.
src/expr/CMakeLists.txt diff | blob | history
src/expr/proof_generator.cpp [new file with mode: 0644] blob
src/expr/proof_generator.h [new file with mode: 0644] blob