Robin Freyler
Robin Freyler
It seems that even with the recent refactoring and improvements to the CI's caching behavior the fuzzing CI jobs still do not properly store and re-store their fuzzing corpuses and...
Closes https://github.com/wasmi-labs/wasmi/issues/1209. ## Post-Conditions - [ ] All registers of all instructions of a translated function are valid. - In particular register in the preservation space are properly defragmented. -...
In order to improve fuzzing and Wasmi translation stability we should add more post-condition checks to the Wasmi translator. The reason is that the Wasmi translator has pre-condition checking in...
Closes https://github.com/wasmi-labs/wasmi/issues/19. Implements design detailed here: https://github.com/wasmi-labs/wasmi/issues/19#issuecomment-2407432347 NaN canonicalization allows to execute Wasm with floating point operations deterministically. ## ToDo - [ ] Tests - [ ] Benchmarks - [...
This is about adding support for the [`custom-page-sizes` Wasm proposal](https://github.com/WebAssembly/custom-page-sizes). The `custom-page-sizes` Wasm proposal has been recently moved to Phase 3 and is moving forward quickly thus stabilization can be...
This is about adding support for the [`branch-hinting` Wasm proposal](https://github.com/WebAssembly/branch-hinting). The `branch-hinting` Wasm proposal has been recently moved to Phase 4 and thus stabilization can be expected to happen soon....
This is about adding support for the [`exception-handling` Wasm proposal](https://github.com/WebAssembly/exception-handling). The `exception-handling` Wasm proposal has been recently moved to Phase 4 and thus stabilization can be expected to happen soon....
Since https://github.com/wasmi-labs/wasmi/pull/1122 Wasmi's internal `CodeMap`, that stores all the data of functions stored in the `Engine`, is put entirely behind a `Mutex` based lock for all accesses. Link to `code_map.rs`:...
Due to technical reasons I had to use the (by now) ancient `wasmparser 0.100.2` in Wasmi and was using a fork called `wasmparser-nostd`. The fork had no significant impact on...
When Wasmtime's CLI returns a `v128` value, it is formatted as `u128` value. In Wasmi I have made some thoughts about the formatting of `v128` values and came to the...