You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
After enabling the new code generator, the test tests/lean/run/isDefEqProjIssue.lean times out, indicating that there is a similar issue to the one in #3807.
The text was updated successfully, but these errors were encountered:
zwarich
changed the title
new codegen suffers from a variant of isDefEq performance issue #3807
new codegen: variant of isDefEq performance issue #3807
Dec 4, 2024
After enabling the new code generator, the test
tests/lean/run/isDefEqProjIssue.lean
times out, indicating that there is a similar issue to the one in #3807.The text was updated successfully, but these errors were encountered: