projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f6fb54) | patch
LFSC drat output (#2776)
authorAlex Ozdemir <aozdemir@hmc.edu>
Wed, 9 Jan 2019 07:29:12 +0000 (08:29 +0100)
committerGitHub <noreply@github.com>
Wed, 9 Jan 2019 07:29:12 +0000 (08:29 +0100)
commit4ec1c04f28293386518582b0257345f84461350d
treea31887e11b477588bbfb96009bbff162ea7ff799tree
parent1f6fb54967659ff2ee3f8c29a8d306499fcf1299commit | diff
LFSC drat output (#2776)

* LFSC drat output

* Addressed Mathias' review

Addressing Mathias' review with the following changes:
* Added a few blank lines
* Added a unit test for LRAT output as LFSC
src/proof/drat/drat_proof.cpp diff | blob | history
src/proof/drat/drat_proof.h diff | blob | history
test/unit/proof/drat_proof_black.h diff | blob | history