Wasmtime GitHub notifications bot (Apr 10 2020 at 17:39): Wasmtime GitHub notifications bot (Apr 10 2020 at 17:39):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>
Wasmtime GitHub notifications bot (Apr 14 2020 at 22:03):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?
Wasmtime GitHub notifications bot (Apr 14 2020 at 22:51):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)
Wasmtime GitHub notifications bot (Apr 15 2020 at 14:13):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: Oct 23 2024 at 20:03 UTC