Search results

Encode and check transform dependencies

Status: Open.

#130 In agle/bincaml;

· agle opened on Apr 17, 2026

SMT interface shutdown

Status: Open.

#126 In agle/bincaml;

· agle opened on Apr 16, 2026

Some way to run a sexp script from within ocaml

Status: Open.

#121 In agle/bincaml;

· katrinafyi opened on Apr 14, 2026

Reduction to dynamic single assignment

Status: Open.

#120 In agle/bincaml;

· agle opened on Apr 13, 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

add attributes to IR instructions

enhancementNew feature or requestNew feature or request

Status: Open.

#67 In agle/bincaml;

· agle opened on Feb 26, 2026

script/repl improvements

enhancementNew feature or requestNew feature or request

Status: Open.

#66 In agle/bincaml;

· agle opened on Feb 26, 2026