projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5cbc35e) | patch
Document bv-to-bool recursion (#3848)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 10 Mar 2020 05:06:57 +0000 (22:06 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 05:06:57 +0000 (22:06 -0700)
commitccca2e76be3412fc24e1bb0a4eccae1133e519f4
tree9c3953d7ef494eab54f5e0ea6e9f586c40121908tree
parent5cbc35e70c2a80094dade1a58605882e3eb1d326commit | diff
Document bv-to-bool recursion (#3848)

The BV-to-bool pass is implemented recursively.
This commit documents that.
We may want to change it at some point.
src/preprocessing/passes/bv_to_bool.cpp diff | blob | history