Stream: git-wasmtime

Topic: wasmtime / PR #3590 Update wasmtime agenda for next meeting


view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 17:55):

bnjbvr opened PR #3590 from bnjbvr-patch-1 to main.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:06):

tschneidereit submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:06):

tschneidereit created PR review comment:

@bnjbvr not all too important, but just to check: do you mean this, by any chance?

    1. Profiling (with vtune on linux and windows, other approaches on macOS)

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:06):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:08):

bnjbvr created PR review comment:

No, really meant other approaches on Windows (e.g. integration with other profilers), but MacOS would be interesting to discuss, so will amend. Thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:08):

bnjbvr submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:08):

bnjbvr submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:08):

bnjbvr created PR review comment:

    1. Profiling (with vtune on Linux and Windows, other profilers on Windows, profiling on MacOS)

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:08):

bnjbvr updated PR #3590 from bnjbvr-patch-1 to main.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:14):

bnjbvr merged PR #3590.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:15):

tschneidereit submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 08 2021 at 18:15):

tschneidereit created PR review comment:

ah, I misunderstood! Thank you for the clarification!)


Last updated: Dec 23 2024 at 12:05 UTC