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

198 Open 278 Closed
198 Open 278 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

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
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
add new wordLang post-SSA optimizations
#1037 opened Aug 7, 2024 by tanyongkiam
4 tasks
Relax instruction conventions in word_alloc
#1036 opened Aug 6, 2024 by tanyongkiam
Pancake shape improvement Pancake
#1035 opened Aug 6, 2024 by JunmingZhao42 Pancake Syntactic Sugar
1
Candle parser doesn't deal with pairs and if-then-else the right way
#1019 opened Jul 20, 2024 by oskarabrahamsson
The REPL type pretty-printers do not specialize arguments of type synonyms
#1018 opened Jul 19, 2024 by oskarabrahamsson
Pancake syntax errors for if/else reported at wrong location enhancement Pancake
#1011 opened Jul 11, 2024 by talsewell
1
Fix exceptions in Pancake Pancake
#1008 opened Jul 8, 2024 by halogentlepersuasion
Error message of missing return statement in a function Pancake
#1001 opened Jun 14, 2024 by JunmingZhao42
1
Update ARM8 export for EVAL
#998 opened Jun 3, 2024 by tanyongkiam
2
Replace standard list sort with better sort
#979 opened Feb 4, 2024 by tanyongkiam
WordLang CSE is not doing enough enhancement
#966 opened Aug 8, 2023 by myreen
@myreen
Add code quality tests to regression enhancement
#959 opened Jul 8, 2023 by myreen
Add some basic static checks to the Pancake compiler good first issue low effort May still assume familiarity Pancake user experience Time needed to perform tasks not related to compiler development
#957 opened Jun 3, 2023 by IlmariReissumies
1
Pancake program exit code isn't the value returned from main function. Pancake
#953 opened May 15, 2023 by Tiana-J-TU
Pancake parser fails with comment after final return Pancake
#949 opened Apr 24, 2023 by Kswin01
1
Make basis_ffi.c statically configurable
#944 opened Mar 18, 2023 by tanyongkiam
@tanyongkiam
1
Argument passing to main function in Pancake. Pancake
#943 opened Mar 16, 2023 by Kswin01
Array-Like mechanism in Pancake Pancake
#941 opened Mar 16, 2023 by Kswin01
Pancake Syntax improvements Pancake
#939 opened Mar 16, 2023 by Kswin01
Support for a struct like mechnaism in Pancake Pancake
#938 opened Mar 16, 2023 by Kswin01
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.