Skip to content

w3vm: add WithJumpDestCache#272

Merged
lmittmann merged 1 commit intomainfrom
w3vm-add-jumpdestcache
Aug 7, 2025
Merged

w3vm: add WithJumpDestCache#272
lmittmann merged 1 commit intomainfrom
w3vm-add-jumpdestcache

Conversation

@lmittmann
Copy link
Owner

No description provided.

@lmittmann lmittmann self-assigned this Aug 7, 2025
@cloudflare-workers-and-pages
Copy link

Deploying w3 with  Cloudflare Pages  Cloudflare Pages

Latest commit: 886717c
Status: ✅  Deploy successful!
Preview URL: https://c80515de.w3-7ji.pages.dev
Branch Preview URL: https://w3vm-add-jumpdestcache.w3-7ji.pages.dev

View logs

@lmittmann lmittmann merged commit c2a29bd into main Aug 7, 2025
6 checks passed
@lmittmann lmittmann deleted the w3vm-add-jumpdestcache branch August 7, 2025 13:37
lmittmann added a commit that referenced this pull request Aug 7, 2025
@lmittmann lmittmann linked an issue Aug 8, 2025 that may be closed by this pull request
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.

w3vm: Support setting a JumpDestCache in the VM

1 participant