Search results

Tidy up and add primitives to source AST op

Status: Open.

#1271 In CakeML/cakeml;

· myreen opened on Nov 24, 2025

Use Quote syntax instead of process_topdecs + append_prog

refactoring

Status: Open.

Task

#1263 In CakeML/cakeml;

· dnezam opened on Nov 12, 2025

Get compiler/proofs to under 50 minutes on CakeML regression servers

Status: Open.

#1260 In CakeML/cakeml;

· ordinarymath opened on Nov 11, 2025

Support tooling for writing Pancake tests

Status: Open.

#1254 In CakeML/cakeml;

· halogentlepersuasion opened on Oct 29, 2025

remove opt_rel_def in flat_to_closProofTheory

good first issue

refactoring

Status: Open.

#1247 In CakeML/cakeml;

· ordinarymath opened on Oct 2, 2025

Split up large induction proofs

refactoring

Status: Open.

Task

#1245 In CakeML/cakeml;

· dnezam opened on Sep 30, 2025

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