Search results

Use vectors in candle's compute expressions

Status: Open.

#1293 In CakeML/cakeml;

· ordinarymath opened on Jan 2, 2026

cv_trans fails with "non-cv constant" on MEM with constructor list

Status: Open.

#1292 In CakeML/cakeml;

· xrchz opened on Jan 2, 2026

Early passes refactoring

high effort

high rewardImprovements that will be noticed, >5-10% speedupsImprovements that will be noticed, >5-10% speedups

Status: Open.

#1291 In CakeML/cakeml;

· tanyongkiam opened on Jan 2, 2026

bvi_tailrec not firing when it should

Status: Open.

#1290 In CakeML/cakeml;

· ordinarymath opened on Jan 2, 2026

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

Split up large induction proofs

refactoring

Status: Open.

Task

#1245 In CakeML/cakeml;

· dnezam opened on Sep 30, 2025