Stream: git-wasmtime

Topic: wasmtime / PR #12236 cranelift-isle: no_std support

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 21:28):

the-ssd opened PR #12236 from the-ssd:cranelift-nostd-isle to bytecodealliance:main:

Part of #12222. Related to #1158.

Based on #9007, but made to always use no_std, just like discussed on the PR.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 21:28):

the-ssd requested wasmtime-compiler-reviewers for a review on PR #12236.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 21:28):

the-ssd requested alexcrichton for a review on PR #12236.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 21:36):

the-ssd updated PR #12236.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 21:40):

the-ssd updated PR #12236.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 22:37):

the-ssd updated PR #12236.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 22:44):

the-ssd updated PR #12236.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 22:54):

the-ssd updated PR #12236.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 23:01):

the-ssd updated PR #12236.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 01 2026 at 23:13):

the-ssd edited PR #12236:

Part of #12222. Related to #1158.

Based on #9007, but made to always use no_std, just like discussed on the PR.

Because CI complained a lot when I tried adding extern crate alloc to the generated isle file, I instead added it to the tests. Wherever generated isle code is used must have access to alloc and core

view this post on Zulip Wasmtime GitHub notifications bot (Jan 02 2026 at 01:05):

github-actions[bot] commented on PR #12236:

Subscribe to Label Action

cc @cfallin, @fitzgen

<details>
This issue or pull request has been labeled: "cranelift", "isle"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Jan 05 2026 at 15:51):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 05 2026 at 16:19):

alexcrichton merged PR #12236.

Last updated: Jan 09 2026 at 13:15 UTC