All issues

Search results

backport our fixes to codex

abstract-interpretation

Status: Open.

#1099 In OCamlPro/owi;

· 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

Status: Open.

#1098 In OCamlPro/owi;

· redianthus opened on Sep 15, 2026

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

abstract-interpretation

Status: Open.

#1097 In OCamlPro/owi;

· redianthus opened on Sep 15, 2026

fix globals after I broke them

abstract-interpretation

Status: Open.

#1096 In OCamlPro/owi;

· redianthus opened on Sep 15, 2026

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

abstract-interpretation

Status: Open.

#1095 In OCamlPro/owi;

· redianthus opened on Sep 15, 2026

extract, package and publish mdofcmdliner as a separate tool

dependenciesPull requests that update a dependency filePull requests that update a dependency file

refactoring

Status: Open.

Task

#1082 In OCamlPro/owi;

· redianthus opened on Sep 3, 2026

Fix br_if when condition can't be true or false

abstract-interpretation

Status: Open.

#1068 In OCamlPro/owi;

· S41d opened on Aug 21, 2026

add support for CC='owi make'

nl

Status: Open.

#1029 In OCamlPro/owi;

· redianthus opened on Jun 29, 2026

document how to test WASI programs

nl

Status: Open.

#1027 In OCamlPro/owi;

· redianthus opened on Jun 29, 2026

make a concrete WASI implementation for linux

nl

Status: Open.

#1026 In OCamlPro/owi;

· redianthus opened on Jun 29, 2026

make a symbolic WASI implementation

nl

symbolic-execution

Status: Open.

#1025 In OCamlPro/owi;

· redianthus opened on Jun 29, 2026

analyze libdisplay-info or the parser in aerogramme

nl

Status: Open.

#1024 In OCamlPro/owi;

· redianthus opened on Jun 29, 2026