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
we only look up envref when filling holes at depth 0. They can also be used for higher depths.
The reasoning for this was the synthesis engine if stumbles across the same expression we can bump up the count. This is slow a lot of times, and reusing old expressions smartly can help.
The text was updated successfully, but these errors were encountered:
we only look up envref when filling holes at depth 0. They can also be used for higher depths.
The reasoning for this was the synthesis engine if stumbles across the same expression we can bump up the count. This is slow a lot of times, and reusing old expressions smartly can help.
The text was updated successfully, but these errors were encountered: