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

179 Open 321 Closed
179 Open 321 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

Lint building of *Lib.sml files dev experience Makes tasks developing cakeml itself easier tooling Things like building, linters and LSP
#1116 opened Dec 14, 2024 by dnezam
Reimplement translator dev experience Makes tasks developing cakeml itself easier high effort translator
#1113 opened Dec 11, 2024 by myreen
@myreen
2
Use Theory syntax refactoring
#1109 opened Dec 8, 2024 by dnezam
Add optimizations for case when result is equal enhancement
#1108 opened Dec 8, 2024 by ordinarymath
Add optimization for if with both then and else branch the same enhancement
#1106 opened Dec 8, 2024 by ordinarymath
Fix compiler/backend/San/SanScript.sml bug
#1104 opened Dec 7, 2024 by dnezam
@mktnk3
Add example of cost proof
#1103 opened Dec 7, 2024 by dnezam
Restore examples/compilation/to_word
#1101 opened Dec 6, 2024 by dnezam
Fix and merge libm_gen enhancement uncertain scope
#1100 opened Nov 29, 2024 by dnezam
Add missing directories to build-sequence dev experience Makes tasks developing cakeml itself easier refactoring
#1095 opened Nov 22, 2024 by dnezam
1
1
Cleanup, document, centralize wordLang syntactic conventions dev experience Makes tasks developing cakeml itself easier refactoring
#1093 opened Nov 15, 2024 by tanyongkiam
1
Add thunks to CakeML to help PureCake enhancement medium effort performance Runtime of a plausible real cakeml-generated binary student project can be done as a student project (at various levels)
#1090 opened Nov 13, 2024 by myreen
@myreen @nikos-alexandris
Add tail-recursion modulo cons (TMC) optimisation enhancement medium effort medium reward Easy to measure but may not be noticed by itself performance Runtime of a plausible real cakeml-generated binary student project can be done as a student project (at various levels)
#1089 opened Nov 12, 2024 by myreen
Use ThmSetData correctly in translator translator
#1088 opened Nov 12, 2024 by xrchz
Replace backend$config by backend$inc_config refactoring
#1081 opened Nov 6, 2024 by myreen
LabLang refactor refactoring
#1080 opened Nov 4, 2024 by myreen
Improve memcopy loops in code generated by the CakeML compiler
#1079 opened Nov 4, 2024 by myreen
Introduce cutsets in StackLang and LabLang
#1078 opened Nov 4, 2024 by myreen
Pancake constants pre-processing Pancake
#1077 opened Oct 25, 2024 by JunmingZhao42 Pancake Syntactic Sugar
Add support for bitwise operations over ints to CakeML enhancement
#1074 opened Oct 21, 2024 by myreen
Remove Pancake’s DecCall Pancake
#1044 opened Aug 21, 2024 by mn200 Pancake Syntactic Sugar
@talsewell
Make cutsets smaller in DataLang
#1042 opened Aug 9, 2024 by myreen
1
Reduce code bloat around declaration chaining
#1041 opened Aug 9, 2024 by tanyongkiam
Pancake inline function Pancake
#1040 opened Aug 8, 2024 by JunmingZhao42
Pancake array support Pancake
#1039 opened Aug 8, 2024 by JunmingZhao42 Pancake Syntactic Sugar
1
ProTip! Follow long discussions with comments:>50.