-
Notifications
You must be signed in to change notification settings - Fork 84
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Exponential processing time increase with case statement nested parentheses
#1075
opened Oct 22, 2024 by
Durbatuluk1701
Add support for bitwise operations over ints to CakeML
enhancement
#1074
opened Oct 21, 2024 by
myreen
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
Error message of missing return statement in a function
Pancake
#1001
opened Jun 14, 2024 by
JunmingZhao42
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
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.