Stream: git-wasmtime

Topic: wasmtime / PR #2165 Optimize cranelift-reader a bit

Wasmtime GitHub notifications bot (Aug 26 2020 at 11:08):

bjorn3 opened PR #2165 from optimize_reader to main:

before
instructions:u 131061201966
cycles:u        60881656295

after
instructions:u 128897387028
cycles:u        60018494856

See the commit messages for more information.

Wasmtime GitHub notifications bot (Aug 26 2020 at 11:09):

bjorn3 updated PR #2165 from optimize_reader to main:

before
instructions:u 131061201966
cycles:u        60881656295

after
instructions:u 128897387028
cycles:u        60018494856

See the commit messages for more information.

Wasmtime GitHub notifications bot (Aug 26 2020 at 18:01):

abrown submitted PR Review.

Wasmtime GitHub notifications bot (Aug 26 2020 at 20:01):

abrown merged PR #2165.

Last updated: Nov 22 2024 at 16:03 UTC