zapashcanon

Which would turn: ```shell-session $ owi c file.c Assert failure: (i32.ge symbol_0 (i32 0)) Model: ... ``` into: ```shell-session $ owi c file.c --no-assert-failure-expression-printing Assert failure! Model: ... ``` It...

- [ ] [Wasm-Mutate: Fast and Effective Binary Diversification for WebAssembly](https://arxiv.org/pdf/2309.07638)

add OCaml related tools (Wasocaml and Owi)

2

- [x] I've read [CONTRIBUTING.md](https://github.com/mbasso/awesome-wasm/blob/master/CONTRIBUTING.md). - [ ] Description explains the issue / use-case resolved, and auto-closes the related issue(s) (https://help.github.com/articles/closing-issues-via-commit-messages/).

Asyncify does not support unwinding from functions returning non-nullable values

3

Hi, While testing some `wasm-opt` options for Wasocaml, I found the following assertion failure: ```shell-session $ wasm-opt -O3 --enable-gc --enable-tail-call --enable-reference-types --enable-multivalue --enable-exception-handling a.out.wasm -o a.out.optimised.wasm --asyncify wasm-opt: ~/dev/cpp/binaryen/src/ir/literal-utils.h:35: wasm::Expression*...

Flatten does not handle `BrOn`.

3

Hi, When running Binaryen with `-O4` I get the following assertion failure: ```shell-session $ wasm-opt --all-features a.out.wasm -O4 -o tmp.wasm wasm-opt: ~/dev/cpp/binaryen/src/ir/block-utils.h:54: wasm::Expression* wasm::BlockUtils::simplifyToContents(wasm::Block*, T*, bool) [with T = wasm::Vacuum]:...

add Owi

1

* [ ] I have not changed the `README.md` directly. I saw this too late after I have already filled everything... I'll update it later but I'm opening the PR...

see https://github.com/dirs-dev/directories-rs/issues/90

Fix #422