Search results

owi iso should run the start function

Status: Open.

#612 In OCamlPro/owi;

· zapashcanon opened on Apr 16, 2025

benchmark <code>use_ite_for_select</code>

Status: Open.

#611 In OCamlPro/owi;

· zapashcanon opened on Apr 15, 2025

add <code>--entry-point</code> to <code>owi run</code>

Status: Open.

#610 In OCamlPro/owi;

· zapashcanon opened on Apr 15, 2025

add a <code>--model-with-entry-point</code> option

Status: Open.

#607 In OCamlPro/owi;

· zapashcanon opened on Apr 15, 2025

better modeling of <code>malloc</code>

Status: Open.

#606 In OCamlPro/owi;

· zapashcanon opened on Apr 14, 2025

better modeling of <code>malloc(0)</code>

Status: Open.

#605 In OCamlPro/owi;

· zapashcanon opened on Apr 14, 2025

mesure memory usage directly in Owi

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#600 In OCamlPro/owi;

· zapashcanon opened on Apr 10, 2025

use <code>owi replay</code> to check models in benchmarks

Status: Open.

Task

#597 In OCamlPro/owi;

· zapashcanon opened on Apr 9, 2025

CLI completion

Status: Open.

#592 In OCamlPro/owi;

· zapashcanon opened on Apr 4, 2025

proper comparison of the results in <code>owi iso</code>

Status: Open.

#586 In OCamlPro/owi;

· zapashcanon opened on Apr 2, 2025

add a <code>--binaryen</code> flag

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#584 In OCamlPro/owi;

· zapashcanon opened on Mar 31, 2025

handle traps in <code>owi iso</code>

Status: Open.

#583 In OCamlPro/owi;

· zapashcanon opened on Mar 31, 2025