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

38 Open 42 Closed
38 Open 42 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Charon recently started stack-overflowing
#225 opened Jun 3, 2024 by msprotz
FInd a simple way to update code which uses patterns
#219 opened May 31, 2024 by sonmarcho
3
Remove excessive type genericity A-internal Internal details of how charon is structured
#217 opened May 31, 2024 by Nadrieril
@Nadrieril
Automatically generate json parsing
#215 opened May 30, 2024 by Nadrieril
2
Support extracting specific foreign items
#214 opened May 30, 2024 by Nadrieril
Charon does not generate an llbc file upon a second invocation
#212 opened May 30, 2024 by msprotz
Automatically add issues to the project
#211 opened May 29, 2024 by Nadrieril
@Nadrieril
Add an attribute to rename definitions in the backend
#207 opened May 29, 2024 by sonmarcho
@EschericHya
Add an attribute to mark definitions as opaque
#206 opened May 29, 2024 by sonmarcho
@EschericHya
6
Confusion about the LLBC produced for a closure
#205 opened May 29, 2024 by msprotz
5
Add an issue template
#198 opened May 24, 2024 by sonmarcho
1
Clarify the encoding of closures
#194 opened May 22, 2024 by Nadrieril
2
Unbounded memory consumption on large projects?
#191 opened May 21, 2024 by RaitoBezarius
1
Can't leak crate-private traits error in libcrux-ml-kem
#189 opened May 19, 2024 by msprotz
@Nadrieril
8
CI: skip testing dependent projects when version changed A-CI Pertains to Continuous Integration
#187 opened May 15, 2024 by Nadrieril
@pnmadelaine
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
@Nadrieril @pnmadelaine
1
Update rustc version A-internal Internal details of how charon is structured
#182 opened May 14, 2024 by Nadrieril
@Nadrieril
Move rustc queries to hax A-internal Internal details of how charon is structured
#181 opened May 14, 2024 by Nadrieril
@Nadrieril
Hide provided trait methods C-simplification-pass Request for charon to process the output llbc
#180 opened May 14, 2024 by Nadrieril
@Nadrieril
Expose charon as a rust library A-internal Internal details of how charon is structured C-improvement
#178 opened May 14, 2024 by Nadrieril
@Nadrieril
user_annotation.is_none error when using Self C-bug A bug in charon
#166 opened May 3, 2024 by zhassan-aws
1
@Nadrieril
Add support for vec macro C-unsupported-language-feature A rust feature we don't extract well
#165 opened May 3, 2024 by zhassan-aws
@Nadrieril
1
Support for mutually recursive traits and functions C-bug A bug in charon C-simplification-pass Request for charon to process the output llbc
#159 opened Apr 30, 2024 by msprotz
@Nadrieril
4
Retrieve the result of drop elaboration C-unsupported-language-feature A rust feature we don't extract well
#152 opened Apr 26, 2024 by sonmarcho
@Nadrieril
3
Tracking issue for not crashing on the rustc test suite C-tracking-issue
#145 opened Apr 23, 2024 by Nadrieril
5
ProTip! Find all open issues with in progress development work with linked:pr.