CakeML / CakeML/cakeml

Make Candle's compute_init set a boolean reference

Open
#1,371 0 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

At the moment, Candle's `compute_init` checks the characteristic equations but the fact that they were checked is not remembered. As a result, each call to `compute` checks the characteristic equations again, which would be unnecessary if Candle remembered (using a boolean reference) that the characteristic equations have been checked before.

This issue is about adding a boolean reference and offloading the checking of characteristic equations from `compute`.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start with Candle's compute_init and compute entry points, which are the only locations named in the issue. Trace how characteristic-equation checking is currently triggered, then verify that compute_init records the completed check and later compute calls reuse that state without checking again.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Refactor
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
58/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.