Skip to content

CakeML 863
Compare
Choose a tag to compare
@xrchz xrchz released this 15 May 20:37
v863
abdc6fa

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.

Assets 4
Loading