Pull requests · CakeML/cakeml · GitHub

Add a command line option to print the Pancake news file Pancake user experience Time needed to perform tasks not related to compiler development

#1470 opened Aug 24, 2026 by IlmariReissumies Member Loading…

Add support for FDIFF _ (FDOM _) to translator test failing regression test failed on the latest commit of this pull request

#1444 opened Aug 5, 2026 by myreen Contributor Loading…

Draft a holbuild-supported HOL project test failing regression test failed on the latest commit of this pull request

#1413 opened Jun 15, 2026 by xrchz Member • Draft

Switch to more efficient sexp datatype test failing regression test failed on the latest commit of this pull request

#1365 opened Mar 25, 2026 by myreen Contributor • Draft

List.sort done in in-place array sort test failing regression test failed on the latest commit of this pull request

#1349 opened Mar 4, 2026 by talsewell Contributor Loading…

Improve code quality in basis_ffi.c test failing regression test failed on the latest commit of this pull request

#1325 opened Feb 6, 2026 by tanyongkiam Contributor • Draft

1 task done

Refactor ml_translatorLib test failing regression test failed on the latest commit of this pull request

#1283 opened Dec 22, 2025 by ordinarymath Contributor • Draft

Try to store only delta's in translator Part 1 test failing regression test failed on the latest commit of this pull request

#1278 opened Dec 5, 2025 by ordinarymath Contributor • Draft

ProTip! Type g p on any issue or pull request to go back to the pull request listing page.

Pull requests: CakeML/cakeml