Skip to content

Reveal nodes on demand rather than up-front#2059

Draft
JasonGross wants to merge 4 commits into
mit-plv:masterfrom
JasonGross:reveal-nodes-as-needed
Draft

Reveal nodes on demand rather than up-front#2059
JasonGross wants to merge 4 commits into
mit-plv:masterfrom
JasonGross:reveal-nodes-as-needed

Conversation

@JasonGross

Copy link
Copy Markdown
Collaborator

Replaces #2055
Closes #2055
Fixes #2050

@JasonGross JasonGross enabled auto-merge (squash) March 12, 2025 23:57
@JasonGross JasonGross force-pushed the reveal-nodes-as-needed branch 3 times, most recently from dcf3973 to 2f6d0aa Compare March 13, 2025 05:49
@JasonGross JasonGross disabled auto-merge March 13, 2025 05:49
@JasonGross JasonGross marked this pull request as draft March 13, 2025 05:49
@JasonGross JasonGross force-pushed the reveal-nodes-as-needed branch from 2f6d0aa to 3dd0713 Compare April 2, 2025 07:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Asm equivalence checker should handle: (neg 64, [9]) ≠ (slice 0 64, [(negZ, [9])])

1 participant