Stream: git-wasmtime

Topic: wasmtime / issue #2695 peepmatic: rewrite type checking t...


view this post on Zulip Wasmtime GitHub notifications bot (Nov 19 2021 at 18:25):

fitzgen commented on issue #2695:

Peepmatic was removed in https://github.com/bytecodealliance/wasmtime/pull/3543

view this post on Zulip Wasmtime GitHub notifications bot (Nov 19 2021 at 18:25):

fitzgen closed issue #2695:

I originally punted on implementing this by hand and just gave all the type constraints to Z3, which was easy and is usually fast, but occasionally Z3 gets confused and hangs. Also the fuzzers have discovered inputs where Z3 hangs, which leads to noise in our fuzzing results.

We should rewrite Peepmatic's type checking to use the traditional approach to unifying type constraints via union-find.


Last updated: Dec 23 2024 at 13:07 UTC