-
Notifications
You must be signed in to change notification settings - Fork 100
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#1475 In CakeML/cakeml;
Check for struct shape removal in Pancake's Return semantics
low effortMay still assume familiarityMay still assume familiarityStatus: Open.#1474 In CakeML/cakeml;- Status: Open.#1473 In CakeML/cakeml;
Reorganise Pancake directory
dev experienceMakes tasks developing cakeml itself easierMakes tasks developing cakeml itself easierStatus: Open.#1471 In CakeML/cakeml;- Status: Open.#1469 In CakeML/cakeml;
- Status: Open.#1468 In CakeML/cakeml;
- Status: Open.#1463 In CakeML/cakeml;
Pancake __add_with_carry___ has unfortunate parser interactions
low effortMay still assume familiarityMay still assume familiarityStatus: Open.#1462 In CakeML/cakeml;- Status: Open.#1461 In CakeML/cakeml;
- Status: Open.#1456 In CakeML/cakeml;
- Status: Open.#1455 In CakeML/cakeml;
Repeated Array.sub of the same array and index retains a redundant bounds check
high rewardImprovements that will be noticed, >5-10% speedupsImprovements that will be noticed, >5-10% speedupsperformanceRuntime of a plausible real cakeml-generated binaryRuntime of a plausible real cakeml-generated binaryStatus: Open.#1454 In CakeML/cakeml;