-
Notifications
You must be signed in to change notification settings - Fork 84
Pull requests: CakeML/cakeml
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Make ml_progLib build
evaluate_dec_list rather than evaluate_decs
#1099
opened Nov 27, 2024 by
myreen
Loading…
Remove compilationLib, {..}_compileLib and backendComputeLib
#1097
opened Nov 26, 2024 by
dnezam
Loading…
Remove non-working example
test failing
regression test failed on the latest commit of this pull request
#1092
opened Nov 13, 2024 by
xrchz
Loading…
Improve SSA
test failing
regression test failed on the latest commit of this pull request
#1038
opened Aug 7, 2024 by
myreen
Loading…
Add libmGen, a simple generator for mathematical functions
#911
opened Oct 5, 2022 by
HeikoBecker
Loading…
ProTip!
Updated in the last three days: updated:>2024-11-24.