Skip to content

Issues: CakeML/cakeml

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

Clear current search query, filters, and sorts
14 Open 0 Closed
14 Open 0 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Keep namespaces throughout the compiler. high effort low reward Likely requires special techniques even to measure effectiveness
#1132 opened Feb 4, 2025 by ordinarymath
More incremental rawcall low reward Likely requires special techniques even to measure effectiveness medium effort
#1121 opened Jan 22, 2025 by tanyongkiam
Eliminating bignums by leveraging space unsafety enhancement high effort low reward Likely requires special techniques even to measure effectiveness performance Runtime of a plausible real cakeml-generated binary uncertain scope
#786 opened Sep 19, 2020 by sorear
2
More bignum options enhancement high effort low reward Likely requires special techniques even to measure effectiveness performance Runtime of a plausible real cakeml-generated binary
#781 opened Sep 19, 2020 by sorear
Interprocedural optimization of stack limit checks code size enhancement low reward Likely requires special techniques even to measure effectiveness medium effort performance Runtime of a plausible real cakeml-generated binary
#778 opened Sep 17, 2020 by sorear
More compact --explore output dev experience Makes tasks developing cakeml itself easier enhancement low effort May still assume familiarity low reward Likely requires special techniques even to measure effectiveness tooling Things like building, linters and LSP
#776 opened Sep 17, 2020 by sorear
1
Better handling of non-flat register spaces code size enhancement low reward Likely requires special techniques even to measure effectiveness medium effort uncertain scope
#759 opened Sep 17, 2020 by sorear
astPP doesn't print algebraic datatype correctly dev experience Makes tasks developing cakeml itself easier help wanted low reward Likely requires special techniques even to measure effectiveness
#480 opened Apr 6, 2018 by zapashcanon
7
Support for multi-case functions defined by pattern matching enhancement help wanted high effort low reward Likely requires special techniques even to measure effectiveness user experience Time needed to perform tasks not related to compiler development
#264 opened Apr 23, 2017 by xrchz
@mn200 @SOwens
7
Add a switch to dataLang for whether primitives consume space low effort May still assume familiarity low reward Likely requires special techniques even to measure effectiveness
#183 opened Nov 24, 2016 by xrchz
@myreen
Avoid going through calling convention when entering Handle enhancement help wanted high effort low reward Likely requires special techniques even to measure effectiveness
#155 opened Sep 28, 2016 by myreen
Derive PMATCH thms for relevant parts of compiler definition help wanted low reward Likely requires special techniques even to measure effectiveness medium effort
#136 opened Aug 7, 2016 by myreen
@IlmariReissumies
8
Use return addresses to index bitmaps code size enhancement high effort low reward Likely requires special techniques even to measure effectiveness
#114 opened May 4, 2016 by myreen
1
translator to produce better variable names enhancement help wanted low reward Likely requires special techniques even to measure effectiveness medium effort translator
#12 opened Jan 12, 2015 by xrchz
@xrchz @myreen
1
ProTip! Exclude everything labeled bug with -label:bug.