Skip to content

Issues: AeneasVerif/charon

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

36 Open 79 Closed
36 Open 79 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

Bug: ShallowInitBox leftover when mixing vec![] and a constant C-bug A bug in charon
#350 opened Sep 5, 2024 by Nadrieril
@Nadrieril
Feature request: carry comments in the middle of function bodies down to LLBC
#340 opened Aug 29, 2024 by msprotz
@Nadrieril
1
Start extracting from a specific item
#336 opened Aug 28, 2024 by Nadrieril
@Nadrieril
Bug: Excessive memory consumption on generic_array C-bug A bug in charon
#325 opened Aug 20, 2024 by RaitoBezarius
Make the Rust and OCaml name matchers consistent with each other
#319 opened Aug 20, 2024 by sonmarcho
@Nadrieril
1
Gracefully handle incorrect code C-bug A bug in charon
#306 opened Aug 9, 2024 by Nadrieril
@Nadrieril
Move all trait solving to hax
#301 opened Aug 5, 2024 by Nadrieril
@Nadrieril
Clarify the normalization of types
#300 opened Aug 5, 2024 by Nadrieril
@Nadrieril
Handle conflicts with system-installed cargo C-bug A bug in charon
#298 opened Aug 2, 2024 by msprotz
@Nadrieril
5
Control-flow reconstruction chokes on libcrux-ml-kem's rej_sample C-bug A bug in charon
#297 opened Jul 31, 2024 by msprotz
@Nadrieril @sonmarcho
3
Zero panics in Charon
#288 opened Jul 9, 2024 by Nadrieril
@Nadrieril
Name things consistently and idiomatically
#287 opened Jul 9, 2024 by Nadrieril
1 of 5 tasks
@Nadrieril
Write a manual
#236 opened Jun 7, 2024 by sonmarcho
Feature request: name matcher should allow "trait for type" syntax
#234 opened Jun 6, 2024 by Nadrieril
@Nadrieril
Bug: the spans are imprecise C-bug A bug in charon
#233 opened Jun 6, 2024 by sonmarcho
@Nadrieril
Make built-in functions less special
#232 opened Jun 6, 2024 by Nadrieril
@Nadrieril
Rename assumed to builtin
#231 opened Jun 6, 2024 by Nadrieril
1
@Nadrieril
2
FInd a simple way of updating code which uses patterns
#219 opened May 31, 2024 by sonmarcho
3
Automatically generate json parsing
#215 opened May 30, 2024 by Nadrieril
@Nadrieril
3
Charon does not generate an llbc file upon a second invocation
#212 opened May 30, 2024 by msprotz
@Nadrieril
Automatically add issues to the project board
#211 opened May 29, 2024 by Nadrieril
@Nadrieril
Confusion about the LLBC produced for a closure
#205 opened May 29, 2024 by msprotz
@Nadrieril
5
Clarify the encoding of closures
#194 opened May 22, 2024 by Nadrieril
@Nadrieril
2
Unbounded memory consumption on large projects?
#191 opened May 21, 2024 by RaitoBezarius
1
Add weekly CI for installing the toolchain based on README instructions A-CI Pertains to Continuous Integration
#185 opened May 15, 2024 by R1kM
1
@Nadrieril @pnmadelaine
1
ProTip! Adding no:label will show everything without a label.