projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e9c3de) | patch
[proofs[ Alethe: Fix Order of Arguments of addAletheStepFromOr (#7237)
authorLachnitt <lachnitt@stanford.edu>
Thu, 23 Sep 2021 22:35:32 +0000 (15:35 -0700)
committerGitHub <noreply@github.com>
Thu, 23 Sep 2021 22:35:32 +0000 (22:35 +0000)
commit6b56848d3b09894aa4d987ca2e91a87ff1d022ab
tree3d1e9cdbc8afbc57d8e6ee347b6c69d4110a0d8btree
parent1e9c3deaf16c1fefd7d8344b9e6b6ddb9a19756ecommit | diff
[proofs[ Alethe: Fix Order of Arguments of addAletheStepFromOr (#7237)

Changes the order of the arguments of addAletheStepFromOr to be consistent with addAletheStep.
src/proof/alethe/alethe_post_processor.cpp diff | blob | history
src/proof/alethe/alethe_post_processor.h diff | blob | history