projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78f08ed) | patch
Only eliminate lambdas in higher-order elimination if ho-elim is enabled (#7603)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 9 Nov 2021 21:40:36 +0000 (15:40 -0600)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 21:40:36 +0000 (21:40 +0000)
commit2d071aa5cfd697cab7177cd3b520a87aaf0049dd
tree87c290e18dee1b647ce9eb27a2991c75a047bf6ctree
parent78f08ed4f7ed72aadce466235266dfae7fafafdfcommit | diff
Only eliminate lambdas in higher-order elimination if ho-elim is enabled (#7603)

Required for lazy lambdas in HO.

Also properly guards the case when the preprocessing pass is a no-op.
src/preprocessing/passes/ho_elim.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history