Investigate possible exponential slowdown due to rewriting mux arrays #153
Comments
RyanGlScott
added a commit
to Copilot-Language/copilot-verifier
that referenced
this issue
Oct 29, 2021
This bumps several submodules: * `what4` (to include GaloisInc/what4#153 and GaloisInc/what4#164) * `crucible` (to include GaloisInc/crucible#901) * `copilot` (to include GaloisInc/copilot-1#2)
RyanGlScott
added a commit
to Copilot-Language/copilot-verifier
that referenced
this issue
Oct 29, 2021
This bumps several submodules: * `what4` (to include GaloisInc/what4#153 and GaloisInc/what4#164) * `crucible` (to include GaloisInc/crucible#901) * `copilot` (to include GaloisInc/copilot-1#2)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The changes in #152, with the addition of
sliceArrayLookupUpdate, andarrayUpdateBase, may cause exponential slowdown due to rewritingBaseIte. Investigate whether it's possible to eliminate those rewrites.The text was updated successfully, but these errors were encountered: