All issues

Search results

Switch tests to use directory diffing using dune 3.24

Status: Open.

#234 In UQ-PAC/bincaml;

· agle opened on Aug 11, 2026

Macos flamegraph instructions

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#222 In UQ-PAC/bincaml;

· agle opened on Jul 22, 2026

Lowering of ad-hoc polymorphic bitvector operations

typing

Status: Open.

#212 In UQ-PAC/bincaml;

· agle opened on Jul 8, 2026

[Fun] Render nested ASCII diamonds

Status: Open.

#211 In UQ-PAC/bincaml;

· katrinafyi opened on Jul 8, 2026

Consistent elaboration for type attributes

typing

Status: Open.

#210 In UQ-PAC/bincaml;

· agle opened on Jul 8, 2026

Fix the typing of generated functions

typing

Status: Open.

#208 In UQ-PAC/bincaml;

· agle opened on Jul 8, 2026

Value-independent information-flow transform

Status: Open.

#207 In UQ-PAC/bincaml;

· agle opened on Jul 8, 2026

wpif code transform

Status: Open.

#206 In UQ-PAC/bincaml;

· agle opened on Jul 8, 2026

split up offline lifter opam package for smaller size

Status: Open.

#182 In UQ-PAC/bincaml;

· katrinafyi opened on Jun 18, 2026

SSA fails on program with infinite loop

Status: Open.

#173 In UQ-PAC/bincaml;

· aaronbembenek opened on Jun 12, 2026

Certain attributes not represented in grammar

bugSomething isn't workingSomething isn't working

Status: Open.

#162 In UQ-PAC/bincaml;

· mira-alford opened on May 25, 2026

SSA bugs :(

Status: Open.

#155 In UQ-PAC/bincaml;

· b-paul opened on May 19, 2026