Stream: git-wasmtime

Topic: wasmtime / issue #6001 fuzzgen: Generate random ISA flags

Wasmtime GitHub notifications bot (Mar 13 2023 at 14:44):

github-actions[bot] commented on issue #6001:

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "fuzzing"

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

• fitzgen: fuzzing

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

Learn more.
</details>

Wasmtime GitHub notifications bot (Mar 13 2023 at 14:53):

alexcrichton commented on issue #6001:

I've got some hardware which claims

flags           : ... avx512f avx512dq ... avx512cd avx512bw avx512vl ... avx512_vnni ...
``

and I've kicked it off to run for a bit (nothing found in the first few minutes)
~~~

Wasmtime GitHub notifications bot (Mar 13 2023 at 14:53):

alexcrichton edited a comment on issue #6001:

I've got some hardware which claims

flags           : ... avx512f avx512dq ... avx512cd avx512bw avx512vl ... avx512_vnni ...

and I've kicked it off to run for a bit (nothing found in the first few minutes)

Wasmtime GitHub notifications bot (Mar 13 2023 at 16:18):

alexcrichton commented on issue #6001:

Looking good 61040689 cases in so far after 1.5 hrs :+1:

I'm not actually sure if oss-fuzz has AVX512 or not but I think this is good-to-go to get to the gauntlet and see how it goes.

Last updated: Dec 23 2024 at 13:07 UTC