Search results

Refactor to remove Eq_result type

refactoring

Status: Open.

#1237 In CakeML/cakeml;

· ordinarymath opened on Sep 15, 2025

Implement parser that supports unsupported features

user experienceTime needed to perform tasks not related to compiler developmentTime needed to perform tasks not related to compiler development

Status: Open.

#1235 In CakeML/cakeml;

· ordinarymath opened on Sep 12, 2025

Add Int.Abs to CakeMLbasis

Status: Open.

#1233 In CakeML/cakeml;

· ordinarymath opened on Sep 12, 2025

Add call arity analysis to CakeML

Status: Open.

#1232 In CakeML/cakeml;

· ordinarymath opened on Sep 10, 2025

Add General.exnMessage to CakeML

Status: Open.

#1231 In CakeML/cakeml;

· ordinarymath opened on Sep 8, 2025

Remove redundant uses of prove_case_eq_thm

refactoring

Status: Open.

#1230 In CakeML/cakeml;

· ordinarymath opened on Sep 8, 2025

Add stateful pretty printer for references in REPL

Status: Open.

#1229 In CakeML/cakeml;

· ordinarymath opened on Sep 5, 2025

Add Option.filter to CakeML

Status: Open.

#1227 In CakeML/cakeml;

· ordinarymath opened on Sep 5, 2025

Add String.toString and Char.toString to CakeML

Status: Open.

#1226 In CakeML/cakeml;

· ordinarymath opened on Sep 5, 2025

Cleanup after removal of labels (Pancake)

Pancake

refactoring

Status: Open.

#1223 In CakeML/cakeml;

· mktnk3 opened on Aug 27, 2025

Remove remaining usages of <code>overload_on</code>

refactoring

Status: Open.

#1216 In CakeML/cakeml;

· dnezam opened on Aug 17, 2025

Add variable-length shifts to asm and target encoders

Status: Open.

#1213 In CakeML/cakeml;

· myreen opened on Aug 15, 2025