Releases: CakeML/cakeml
CakeML 1009
Corresponding HOL commit: HOL-Theorem-Prover/HOL@8cc876e
CakeML 984
Corresponding HOL commit: HOL-Theorem-Prover/HOL@469c71a
CakeML 969
Corresponding HOL commit: HOL-Theorem-Prover/HOL@12e8779
CakeML 934
Corresponding HOL commit: HOL-Theorem-Prover/HOL@b3698e9
CakeML 914
Corresponding HOL commit: HOL-Theorem-Prover/HOL@a0ba6fe
CakeML 910
Corresponding HOL commit: HOL-Theorem-Prover/HOL@c5497b7
CakeML 902
Corresponding HOL commit: HOL-Theorem-Prover/HOL@08cf0f7
CakeML 893
Corresponding HOL commit: HOL-Theorem-Prover/HOL@15a1e85
CakeML 872
Corresponding HOL commit: HOL-Theorem-Prover/HOL@1557f72
CakeML 863
From now on, a version of CakeML will be "released" (not necessarily including a corresponding tag and GitHub entry) whenever the regression test passes on the master
branch. Most recently, this was achieved by job 863. The corresponding HOL commit is HOL-Theorem-Prover/HOL@1557f72.