Issues

• 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

  

• support memory64

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

• improve the output and document how to do it (for struct and objects)

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

• write benchmarks for C++, Rust, Go and Zig

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

• document how to use the various exploration strategies

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

• model the memory size as part of the abstract state

  abstract-interpretation
  OCamlPro/owi#1012 · Filter by author redianthus opened on Jun 29, 2026
  

• make the abstract invariants immutable

  abstract-interpretation
  Task

  OCamlPro/owi#1006 · Filter by author redianthus opened on Jun 17, 2026