Wasmtime GitHub notifications bot (Mar 12 2020 at 17:11): Wasmtime GitHub notifications bot (Mar 12 2020 at 17:11):github-actions[bot] commented on Issue #1289:
Subscribe to Label Action
This issue or pull request has been labeled: "f", "u", "z", "i", "n", "g"
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Wasmtime GitHub notifications bot (Mar 12 2020 at 17:17):github-actions[bot] commented on Issue #1289:
Subscribe to Label Action
This issue or pull request has been labeled: "f", "u", "z", "i", "n", "g"
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Wasmtime GitHub notifications bot (Mar 12 2020 at 21:31):github-actions[bot] commented on Issue #1289:
Subscribe to Label Action
This issue or pull request has been labeled: "fuzzing", "wasmtime:api"
<details> <summary>Users Subscribed to "fuzzing"</summary>
- @fitzgen
</details>
<details> <summary>Users Subscribed to "wasmtime:api"</summary>
- @peterhuene
</details>
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Wasmtime GitHub notifications bot (Mar 12 2020 at 21:37):fitzgen deleted a comment on Issue #1289:
Subscribe to Label Action
This issue or pull request has been labeled: "f", "u", "z", "i", "n", "g"
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Wasmtime GitHub notifications bot (Mar 12 2020 at 21:37):fitzgen deleted a comment on Issue #1289:
Subscribe to Label Action
This issue or pull request has been labeled: "f", "u", "z", "i", "n", "g"
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Wasmtime GitHub notifications bot (Apr 03 2020 at 20:24):github-actions[bot] commented on Issue #1289:
Subscribe to Label Action
This issue or pull request has been labeled: "wasi", "wasmtime:c-api"
<details> <summary>Users Subscribed to "wasi"</summary>
- @kubkon
</details>
<details> <summary>Users Subscribed to "wasmtime:c-api"</summary>
- @peterhuene
</details>
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Wasmtime GitHub notifications bot (Apr 03 2020 at 22:56):darinmorrison commented on Issue #1289:
Just want to give an update on this. Looks like I may need to set this aside for awhile since I don't have much time to focus on it and the branch is getting increasingly out of date. I tried to rebase and get things working again but there's still a lot of work to be done with unraveling recent merge conflicts.
I'd like to try to continue working on this eventually if nobody else gets around to it first, but I don't want to hold up progress or anything either. Realistically, it's probably going to be at least a few weeks before I'll have a chance to pick it up again. If someone wants to take over in the meantime, please feel free.
The main changes I made from Alex's original work was just the implementation of the remaining numeric instructions and then a lot of additional tests in
integers.wast. It should be pretty easy to fold those changes back into the original branch or into another branch.
Last updated: Oct 23 2024 at 20:03 UTC