Issues

• memory.fill with a negative value writes the wrong byte

  OCamlPro/owi#1132 · Filter by author tamaroning opened on Oct 14, 2026

• sym: i32.trunc_sat_f32_s of NaN is not 0

  OCamlPro/owi#1130 · Filter by author tamaroning opened on Oct 13, 2026
  1

• sym: f32.copysign ignores the sign of -0

  OCamlPro/owi#1129 · Filter by author tamaroning opened on Oct 13, 2026
  1

• sym: f32.min/f32.max with a NaN operand do not return NaN

  OCamlPro/owi#1128 · Filter by author tamaroning opened on Oct 13, 2026
  1

• sym: Wasm shift count is not taken modulo the bit width

  OCamlPro/owi#1127 · Filter by author tamaroning opened on Oct 13, 2026
  1

• Internship

  OCamlPro/owi#1125 · Filter by author ArkadySkv opened on Oct 9, 2026

• owi c run stuff.c -o stuff.wat fails

  OCamlPro/owi#1124 · Filter by author chambart opened on Oct 6, 2026

• backport our fixes to codex

  abstract-interpretation
  OCamlPro/owi#1099 · Filter by author redianthus opened on Sep 15, 2026
  

• fix the creation of constant to avoid the need to go through unsigned values (likely a bug in codex)

  abstract-interpretation
  OCamlPro/owi#1098 · Filter by author redianthus opened on Sep 15, 2026
  

• avoid duplicating the function to add an invariant (break the cycle in abstract_trace)

  abstract-interpretation
  OCamlPro/owi#1097 · Filter by author redianthus opened on Sep 15, 2026
  

• fix globals after I broke them

  abstract-interpretation
  OCamlPro/owi#1096 · Filter by author redianthus opened on Sep 15, 2026
  

• move context out of the abstract state and use the one from the environment

  abstract-interpretation
  OCamlPro/owi#1095 · Filter by author redianthus opened on Sep 15, 2026
  

• extract, package and publish mdofcmdliner as a separate tool

  dependenciesrefactoring
  Task

  OCamlPro/owi#1082 · Filter by author redianthus opened on Sep 3, 2026
  

• Fix br_if when condition can't be true or false

  abstract-interpretation
  OCamlPro/owi#1068 · Filter by author S41d opened on Aug 21, 2026

• add support for CC='owi make'

  nl
  OCamlPro/owi#1029 · Filter by author redianthus opened on Jun 29, 2026
  

• document how to test WASI programs

  nl
  OCamlPro/owi#1027 · Filter by author redianthus opened on Jun 29, 2026
  

• make a concrete WASI implementation for linux

  nl
  OCamlPro/owi#1026 · Filter by author redianthus opened on Jun 29, 2026
  

• make a symbolic WASI implementation

  nlsymbolic-execution
  OCamlPro/owi#1025 · Filter by author redianthus opened on Jun 29, 2026
  

• analyze libdisplay-info or the parser in aerogramme

  nl
  OCamlPro/owi#1024 · Filter by author redianthus opened on Jun 29, 2026
  

• add owi cover --criterion

  nl
  OCamlPro/owi#1023 · Filter by author redianthus opened on Jun 29, 2026
  

• add initial OCaml support

  nl
  OCamlPro/owi#1022 · Filter by author redianthus opened on Jun 29, 2026
  

• add initial Guile support

  nl
  OCamlPro/owi#1021 · Filter by author redianthus opened on Jun 29, 2026
  

• add haskell support

  nl
  OCamlPro/owi#1020 · Filter by author redianthus opened on Jun 29, 2026
  1

  

• support exceptions

  nl
  OCamlPro/owi#1019 · Filter by author redianthus opened on Jun 29, 2026
  

• suupport GC

  nl
  OCamlPro/owi#1018 · Filter by author redianthus opened on Jun 29, 2026
  1