Search results

Words of any bitwidth less than 64 in the semantics

Status: Open.

#1286 In CakeML/cakeml;

· ordinarymath opened on Dec 23, 2025

Setup some tracing for ml_translatorLib

dev experienceMakes tasks developing cakeml itself easierMakes tasks developing cakeml itself easier

translator

Status: Open.

#1285 In CakeML/cakeml;

· ordinarymath opened on Dec 23, 2025

Better simplification of preconditions for eq_lemmas

translator

Status: Open.

#1275 In CakeML/cakeml;

· ordinarymath opened on Dec 4, 2025

Tidy up and add primitives to source AST op

refactoring

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