Pancake `cml_main()` touches heap

CakeML / cakeml

CakeML: A Verified Implementation of ML

https://cakeml.org

Other

964 stars 84 forks source link

Pancake `cml_main()` touches heap #1024

Closed JunmingZhao42 closed 3 months ago

JunmingZhao42 commented 3 months ago

As discussed earlier on discord that it seems there's some pancake-irrelevant initialisation happening in cml_main() that changes part (first five words) of the pancake heap. Just putting this issue down as a record.

JunmingZhao42 commented 3 months ago

This seem to be resolved when I used the updated compiler with CakeML commit fad3454. I can use cml_heap[] now starting from 0th word. Sorry for the confusion.