Stream: git-wasmtime

Topic: wasmtime / PR #1309 Store module name on `wasmtime_enviro...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2020 at 16:48):

alexcrichton opened PR #1309 from move-name-storage to master:

This keeps all name information in one place so we dont' have to keep
extra structures around in wasmtime::Module.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2020 at 17:34):

alexcrichton updated PR #1309 from move-name-storage to master:

This keeps all name information in one place so we dont' have to keep
extra structures around in wasmtime::Module.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2020 at 18:41):

alexcrichton updated PR #1309 from move-name-storage to master:

This keeps all name information in one place so we dont' have to keep
extra structures around in wasmtime::Module.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2020 at 19:19):

alexcrichton updated PR #1309 from move-name-storage to master:

This keeps all name information in one place so we dont' have to keep
extra structures around in wasmtime::Module.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2020 at 19:20):

alexcrichton updated PR #1309 from move-name-storage to master:

This keeps all name information in one place so we dont' have to keep
extra structures around in wasmtime::Module.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2020 at 19:52):

fitzgen submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2020 at 22:51):

alexcrichton merged PR #1309.


Last updated: Dec 23 2024 at 12:05 UTC