github-actions[bot] commented on Issue #1495:
Subscribe to Label Action
cc @peterhuene
<details>
This issue or pull request has been labeled: "wasmtime:api", "wasmtime:c-api"Thus the following users have been cc'd because of the following labels:
- peterhuene: wasmtime:api, wasmtime:c-api
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
alexcrichton commented on Issue #1495:
I tried to keep this all local to wasmtime itself to avoid affecting cranelift users, but I agree yeah the main bit here is that we're persisting more information after compilation and that info isn't too too optimized. How would you feel about going ahead with this and compacting later as we find necessary?
yurydelendik commented on Issue #1495:
How would you feel about going ahead with this and compacting later as we find necessary?
Yeah, we can do it as a follow up. (I just wanted document the findings)
yurydelendik edited a comment on Issue #1495:
How would you feel about going ahead with this and compacting later as we find necessary?
Yeah, we can do it as a follow up later. (I just wanted document the findings)
Last updated: Dec 23 2024 at 12:05 UTC