Search results

check if using i8 and i16 is worth it or if i32 always performs better

Status: Open.

Task

#706 In OCamlPro/owi;

· zapashcanon opened on Jun 13, 2025

check <code>v128</code> and <code>__int128</code> once wasm-ld is fixed

pending

Status: Open.

Bug

#705 In OCamlPro/owi;

· zapashcanon opened on Jun 13, 2025

share the beginning of the execution in <code>owi iso</code> until the two binaries actually start differing

Status: Open.

Feature

#703 In OCamlPro/owi;

· zapashcanon opened on Jun 11, 2025

Z3 solver is not installed error in nixpkgs

Status: Open.

#702 In OCamlPro/owi;

· ethancedwards8 opened on Jun 8, 2025

Log SMT queries per test

Status: Open.

#700 In OCamlPro/owi;

· felixL-K opened on Jun 4, 2025

add a command to automatically generate an ocaml bindings module from the imports of a module

Status: Open.

Feature

#690 In OCamlPro/owi;

· zapashcanon opened on May 16, 2025

investigate what's going on with the logs library when using alt-ergo

Status: Open.

Bug

#689 In OCamlPro/owi;

· zapashcanon opened on May 16, 2025

use a reader monad to re-implement replay

refactoring

Status: Open.

Task

#685 In OCamlPro/owi;

· zapashcanon opened on May 11, 2025

use patricia tree instead of stdlib map for the symbolic memory

Status: Open.

Task

#684 In OCamlPro/owi;

· zapashcanon opened on May 11, 2025

integrate creduce

Status: Open.

Feature

#683 In OCamlPro/owi;

· zapashcanon opened on May 9, 2025

<code>Concrete_table.grow</code> can crash

Status: Open.

Bug

#682 In OCamlPro/owi;

· zapashcanon opened on May 7, 2025

add an option to run a single function with <code>owi iso</code>

Status: Open.

Task

#680 In OCamlPro/owi;

· zapashcanon opened on May 6, 2025