-
Notifications
You must be signed in to change notification settings - Fork 87
Insights: CakeML/cakeml
Overview
-
- 5 Merged pull requests
- 2 Open pull requests
- 0 Closed issues
- 2 New issues
Loading
Could not load contribution data
Please try again later
Loading
5 Pull requests merged by 4 people
-
Clos do word app
#1177 merged
May 13, 2025 -
pancake/crep_arith: simplify constant multiplies
#1169 merged
May 13, 2025 -
Pancake internal 32-bit load/store
#1165 merged
May 13, 2025 -
Mcandidate fix
#1175 merged
May 10, 2025 -
Merge mcandidate-fix
#1170 merged
May 7, 2025
2 Pull requests opened by 2 people
-
Update Holmakefile in developers with EXTRA_CLEANS
#1173 opened
May 8, 2025 -
[mlstring] Add common prefix/suffix theorems
#1174 opened
May 9, 2025
2 Issues opened by 2 people
-
Remove drule = old_drule
#1172 opened
May 7, 2025 -
Remove set_trace on var_eq_old
#1171 opened
May 7, 2025