Published March 8, 2023
| Version v3
Software
Open
Cakeml+Eval Artifact
Creators
- 1. University of Cambridge
- 2. Chalmers University of Technology
- 3. Unaffiliated
Description
This is a collection of CakeML and Candle artefacts
to accompany "Cakes that Bake Cakes: Dynamic Computation in CakeML".
In this modified version of CakeML, the REPL and Candle modes are built into
the standard bootstrapped CakeML compiler. The compiler is built into a binary
via the in-HOL4 verified self-bootstrap mechanism.
The resulting executable REPL, and the proof repositories it is built from, are
provided pre-built in this artefact.
Files
README.md
Files
(4.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:e998018fe51cffe7a37ca8b3fc9bc2df
|
4.0 GB | Download |
|
md5:74a3cd2c922fb6ad03bb66e9ab587356
|
18.6 kB | Preview Download |