projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c67ed5) | patch
[proofs] Alethe: Translate THEORY_REWRITE (#7236)
authorLachnitt <lachnitt@stanford.edu>
Thu, 23 Sep 2021 22:08:31 +0000 (15:08 -0700)
committerGitHub <noreply@github.com>
Thu, 23 Sep 2021 22:08:31 +0000 (22:08 +0000)
commit1e9c3deaf16c1fefd7d8344b9e6b6ddb9a19756e
treec9eba48e2143eed524f01fa8c0a47fe9855c2530tree
parent6c67ed5a2521012d523eb3f11ff344bf7062ee6ecommit | diff
[proofs] Alethe: Translate THEORY_REWRITE (#7236)

Implementation of the translation of THEORY_REWRITE rules into the Alethe calculus.

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
src/proof/alethe/alethe_post_processor.cpp diff | blob | history
src/theory/builtin/proof_checker.cpp diff | blob | history