Skip to content

Pull requests: CakeML/cakeml

New pull request New
7 Open 545 Closed
7 Open 545 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

pancake: patch crep_to_loop to use static Call
#1016 opened Jul 18, 2024 by talsewell Loading…
2
Make sure REPL has compiler configured to be fast
#1015 opened Jul 16, 2024 by myreen Loading…
Fix source_let
#1014 opened Jul 16, 2024 by oskarabrahamsson Loading…
Lift out basis_def translation from compilerXProg
#1013 opened Jul 16, 2024 by oskarabrahamsson Loading…
Make the precendence order of &,^,| higher than the comparison operators in Pancake
#1006 opened Jun 28, 2024 by DoomishGuy Loading…
Add arm8 bootstrap
#991 opened Apr 13, 2024 by LudvikGalois Loading…
9
Add libmGen, a simple generator for mathematical functions
#911 opened Oct 5, 2022 by HeikoBecker Loading…
ProTip! Adding no:label will show everything without a label.