Search results

Linux CI job doesn't run inline tests?

Status: Open.

#186 In agle/bincaml;

· katrinafyi opened on Jun 19, 2026

split up offline lifter opam package for smaller size

Status: Open.

#182 In agle/bincaml;

· katrinafyi opened on Jun 18, 2026

SSA fails on program with infinite loop

Status: Open.

#173 In agle/bincaml;

· aaronbembenek opened on Jun 12, 2026

Certain attributes not represented in grammar

bugSomething isn't workingSomething isn't working

Status: Open.

#162 In agle/bincaml;

· mira-alford opened on May 25, 2026

SSA bugs :(

Status: Open.

#155 In agle/bincaml;

· b-paul opened on May 19, 2026

Call preserved / ABI

questionFurther information is requestedFurther information is requested

Status: Open.

#147 In agle/bincaml;

· JTrenerry opened on May 11, 2026

SMT interface shutdown

Status: Open.

#126 In agle/bincaml;

· agle opened on Apr 16, 2026

Improve SSI representation

Status: Open.

#87 In agle/bincaml;

· agle opened on Mar 10, 2026

Debug check parse of output of dump-il

Status: Open.

#74 In agle/bincaml;

· katrinafyi opened on Mar 2, 2026

Memory Allocation Intrinsics

enhancementNew feature or requestNew feature or request

Status: Open.

#73 In agle/bincaml;

· agle opened on Mar 2, 2026

script/repl improvements

enhancementNew feature or requestNew feature or request

Status: Open.

#66 In agle/bincaml;

· agle opened on Feb 26, 2026