Skip to content

Issues: CakeML/cakeml

Beta
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

194 Open 339 Closed
194 Open 339 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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Add support for subprocesses in CakeML
#1182 opened May 25, 2025 by ordinarymath
Pancake support for hexadecimal (0x) and binary (0b) numbers Pancake
#1181 opened May 22, 2025 by JunmingZhao42
Remove drule = old_drule dev experience Makes tasks developing cakeml itself easier
#1172 opened May 7, 2025 by ordinarymath
Remove set_trace on var_eq_old dev experience Makes tasks developing cakeml itself easier help wanted
#1171 opened May 7, 2025 by tanyongkiam
Constant propagation in word_simp good first issue low effort May still assume familiarity
#1168 opened May 5, 2025 by tanyongkiam
1
Refactor to use extended numerals. dev experience Makes tasks developing cakeml itself easier good first issue
#1167 opened May 1, 2025 by ordinarymath
Add join points to compiler. code size medium effort
#1164 opened Apr 27, 2025 by ordinarymath
Missed optimization DIVISION by const
#1163 opened Apr 26, 2025 by ordinarymath
1
Missed optimization multiplication by const for cakeml
#1162 opened Apr 26, 2025 by ordinarymath
4
Improved representation of strings enhancement
#1160 opened Apr 21, 2025 by myreen
Remove Q.prove in ml_monad_translator_interfaceLib dev experience Makes tasks developing cakeml itself easier good first issue
#1153 opened Apr 4, 2025 by ordinarymath
2
Remove jsonLangTheory. refactoring
#1149 opened Mar 27, 2025 by ordinarymath
@ordinarymath
Improved mechanism for compilation exit code
#1147 opened Mar 24, 2025 by halogentlepersuasion
@ordinarymath
1
Implementing AList -> vector (and arrays)
#1143 opened Mar 14, 2025 by tanyongkiam
Add support for translating large words to CakeML
#1139 opened Mar 8, 2025 by xrchz
Pancake compiler input Pancake
#1136 opened Feb 21, 2025 by JunmingZhao42
1
Pancake annotation positions Pancake
#1135 opened Feb 14, 2025 by JunmingZhao42
Deforestation pass medium effort medium reward Easy to measure but may not be noticed by itself performance Runtime of a plausible real cakeml-generated binary
#1134 opened Feb 5, 2025 by ordinarymath
4
Support heap images for cakeml. high effort medium reward Easy to measure but may not be noticed by itself performance Runtime of a plausible real cakeml-generated binary
#1133 opened Feb 5, 2025 by ordinarymath
3
Keep namespaces throughout the compiler. high effort low reward Likely requires special techniques even to measure effectiveness
#1132 opened Feb 4, 2025 by ordinarymath
Pancake (non-shared) load/store 32-bit Pancake
#1131 opened Feb 3, 2025 by JunmingZhao42
Pancake while loop/if-statement conditions with function calls Pancake
#1130 opened Feb 3, 2025 by JunmingZhao42
Pancake shared load/store 16-bit Pancake
#1128 opened Jan 31, 2025 by JunmingZhao42
Feature Request: Compiler Warning Messages
#1127 opened Jan 30, 2025 by Durbatuluk1701
2
Create a benchmark suite
#1126 opened Jan 26, 2025 by ordinarymath
@wildptr @ordinarymath
ProTip! Type g i on any issue or pull request to go back to the issue listing page.
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy