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
11 Open 2 Closed
11 Open 2 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

Reimplement translator dev experience Makes tasks developing cakeml itself easier high effort translator
#1113 opened Dec 11, 2024 by myreen
@myreen
3
Use ThmSetData correctly in translator translator
#1088 opened Nov 12, 2024 by xrchz
Better translator support for recursion under type constructors enhancement translator
#901 opened Aug 10, 2022 by IlmariReissumies
The translator should not accept types where mangled constructor names would clash translator
#840 opened Oct 14, 2021 by oskarabrahamsson
2
Translator state should be stored as per-theory deltas (at least for load/save) enhancement translator
#717 opened Jan 8, 2020 by mn200
The translator accepts constants with preconditions translator
#705 opened Nov 18, 2019 by oskarabrahamsson
Checking for translator pre/side conditions. dev experience Makes tasks developing cakeml itself easier low effort May still assume familiarity translator
#546 opened Oct 22, 2018 by talsewell
@talsewell
5
Support custom failure exceptions in the translator help wanted low effort May still assume familiarity translator
#181 opened Nov 24, 2016 by xrchz
1
make the translator as stateless as possible enhancement help wanted translator
#96 opened Jan 30, 2016 by myreen
3
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
better support for translating recursion through higher-order functions help wanted high effort medium reward Easy to measure but may not be noticed by itself translator
#9 opened Dec 23, 2014 by xrchz
@myreen
1
ProTip! Adding no:label will show everything without a label.