-
Notifications
You must be signed in to change notification settings - Fork 97
Pull requests: CakeML/cakeml
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
First-order version of
peg_exec and its translation to cv_compute
#1407
opened Jun 7, 2026 by
mzh-100
Loading…
Updates for dataLang cutsets semantics change
test failing
regression test failed on the latest commit of this pull request
#1403
opened Jun 4, 2026 by
tanyongkiam
Contributor
Loading…
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
Loading…
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
Loading…
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
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.