Search results

make concrete and symbolic choice more similar

Status: Open.

Task

#895 In OCamlPro/owi;

· redianthus opened on Jan 22, 2026

replace concrete types by <code>Smtml.Value.t</code>

Status: Open.

Task

#894 In OCamlPro/owi;

· redianthus opened on Jan 22, 2026

one eacsl test hangs forever

Status: Open.

#891 In OCamlPro/owi;

· redianthus opened on Jan 22, 2026

change the API to avoid reading stale stuff

Status: Open.

#883 In OCamlPro/owi;

· redianthus opened on Jan 20, 2026

in <code>owi c</code> when using <code>-O{1,2,3}</code>, retry with <code>-O0</code> if no bug is found

Status: Open.

Task

#857 In OCamlPro/owi;

· redianthus opened on Dec 7, 2025

add arch CI

Status: Open.

Task

#823 In OCamlPro/owi;

· redianthus opened on Nov 14, 2025

implement a concolic mode

internship

Status: Open.

Feature

#822 In OCamlPro/owi;

· redianthus opened on Nov 14, 2025

Could we use an ite in other places?

Status: Open.

Feature

#811 In OCamlPro/owi;

· redianthus opened on Nov 3, 2025

try to write heuristics to decide dynamically if <code>use_ite_for_select</code> is worth it or not for a given request

Status: Open.

Feature

#810 In OCamlPro/owi;

· redianthus opened on Nov 3, 2025

implement (call-chain) symbolic symbolic execution

internship

Status: Open.

Feature

#809 In OCamlPro/owi;

· redianthus opened on Oct 31, 2025

implement selective symbolic execution

internship

Status: Open.

Feature

#808 In OCamlPro/owi;

· redianthus opened on Oct 31, 2025

implement veritesting

internship

Status: Open.

Feature

#807 In OCamlPro/owi;

· redianthus opened on Oct 31, 2025