projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2fb0be) | patch
Add lambda lift utility (#7601)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 8 Nov 2021 21:59:06 +0000 (15:59 -0600)
committerGitHub <noreply@github.com>
Mon, 8 Nov 2021 21:59:06 +0000 (21:59 +0000)
commit89dfd279d8786c54c35ff8f5e2802ec51a59a969
treec4670e40caf7b46c1d9ffd4af1dfa1c743d7c6d5tree
parentf2fb0be98861642e0e33ff3c5dc763e8aa5fe769commit | diff
Add lambda lift utility (#7601)

Towards a lazy approach for handling lambdas in the higher-order extension.
src/CMakeLists.txt diff | blob | history
src/options/uf_options.toml diff | blob | history
src/proof/eager_proof_generator.cpp diff | blob | history
src/proof/eager_proof_generator.h diff | blob | history
src/theory/uf/lambda_lift.cpp [new file with mode: 0644] blob
src/theory/uf/lambda_lift.h [new file with mode: 0644] blob