-
Notifications
You must be signed in to change notification settings - Fork 99
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- 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;Local named functions can allocate dead closures after inlining
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.#1453 In CakeML/cakeml;Negative small-integer multiplication misses the inline fast path
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.#1452 In CakeML/cakeml;Remove mapPartial from mllist
low effortMay still assume familiarityMay still assume familiarityStatus: Open.#1449 In CakeML/cakeml;Add contains to Char module
low effortMay still assume familiarityMay still assume familiarityStatus: Open.#1433 In CakeML/cakeml;- Status: Open.#1428 In CakeML/cakeml;
- Status: Open.#1412 In CakeML/cakeml;
Use monad API instead of overloads
low effortMay still assume familiarityMay still assume familiarityStatus: Open.#1411 In CakeML/cakeml;- Status: Open.#1408 In CakeML/cakeml;
Make chars_to_nums tail-recursive?
dev experienceMakes tasks developing cakeml itself easierMakes tasks developing cakeml itself easierStatus: Open.#1392 In CakeML/cakeml;