Search results

Investigate priorizing based on total time spent in a path

enhancementNew feature or requestNew feature or request

Status: Open.

#547 In OCamlPro/owi;

· krtab opened on Mar 7, 2025

add an option --fail-on-solver-unknown

enhancementNew feature or requestNew feature or request

Status: Open.

#546 In OCamlPro/owi;

· zapashcanon opened on Mar 7, 2025

assert false when smtml does not simplified some expressions

pending

smtml

Status: Open.

#541 In OCamlPro/owi;

· zapashcanon opened on Mar 4, 2025

add primitive to print the path-condition

enhancementNew feature or requestNew feature or request

Status: Open.

#538 In OCamlPro/owi;

· zapashcanon opened on Mar 3, 2025

audit use of Env.get_* to avoid reading stale stuff

Status: Open.

#536 In OCamlPro/owi;

· zapashcanon opened on Mar 3, 2025

move oob checks from the various memory implementations to the interpreter

refactoring

Status: Open.

#535 In OCamlPro/owi;

· zapashcanon opened on Mar 3, 2025

change c files structure

refactoring

Status: Open.

#533 In OCamlPro/owi;

· zapashcanon opened on Mar 3, 2025

get rid of "summaries" and only export a "symbolic" module (it could also be renamed owi)

refactoring

Status: Open.

#532 In OCamlPro/owi;

· zapashcanon opened on Mar 3, 2025

change the ffi API so that we make sure each declared function is really exported in the symbolic modules

refactoring

Status: Open.

#531 In OCamlPro/owi;

· zapashcanon opened on Mar 3, 2025

complete owi replay

enhancementNew feature or requestNew feature or request

Status: Open.

#528 In OCamlPro/owi;

· zapashcanon opened on Feb 27, 2025

Better handling of Unsat and Unknown in solver.ml

enhancementNew feature or requestNew feature or request

Status: Open.

#519 In OCamlPro/owi;

· S41d opened on Feb 25, 2025

remove deprecated rust functions

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

refactoring

Status: Open.

#516 In OCamlPro/owi;

· zapashcanon opened on Feb 25, 2025