projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f34a63) | patch
Ho Lambda Lifting (#1116)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 11 Oct 2017 16:42:23 +0000 (11:42 -0500)
committerGitHub <noreply@github.com>
Wed, 11 Oct 2017 16:42:23 +0000 (11:42 -0500)
commit11f94aea79325423fd1ea864729be8a76d7099c0
treee3fc9c4cd9eca44ac95af4c0de06748bcf5a5b4ftree
parent0f34a6307e4bb7ec01574a8f9e813bd5fc92a30acommit | diff
Ho Lambda Lifting (#1116)

* Do lambda lifting in term formula removal pass. Set option in SMT engine related to higher-order.

* Better documentation
src/smt/smt_engine.cpp diff | blob | history
src/smt/term_formula_removal.cpp diff | blob | history
src/smt/term_formula_removal.h diff | blob | history