projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4d15e7) | patch
[proof-new] Adds a proof manager for prop engine (#5162)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Tue, 29 Sep 2020 19:15:06 +0000 (16:15 -0300)
committerGitHub <noreply@github.com>
Tue, 29 Sep 2020 19:15:06 +0000 (16:15 -0300)
commitf51491e43e86abb862ea081568b8aa106293d64a
tree2d368ff7d04d02806d9b16208b641504fc8e676etree
parenta4d15e7e7d03376f51e1e03e9e555fa2ff5b254ccommit | diff
[proof-new] Adds a proof manager for prop engine (#5162)

Also fixes some weird orderings in src/CMakeLists.txt
src/CMakeLists.txt diff | blob | history
src/prop/prop_proof_manager.cpp [new file with mode: 0644] blob
src/prop/prop_proof_manager.h [new file with mode: 0644] blob