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

45 Open 107 Closed
45 Open 107 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

Make the .ocamlformat files of Charon and Aeneas agree
#470 opened Nov 21, 2024 by sonmarcho
3
Parallelize charon
#423 opened Oct 16, 2024 by Nadrieril
@Nadrieril
Bug: handle duplicated dependencies C-bug A bug in charon
#412 opened Oct 8, 2024 by Nadrieril
@Nadrieril
Use annotate-snippets for error messages
#409 opened Oct 7, 2024 by Nadrieril
@Nadrieril
1
Improve the name matchers
#404 opened Oct 3, 2024 by sonmarcho
Crash during argument parsing C-bug A bug in charon
#403 opened Oct 2, 2024 by R1kM
@Nadrieril
The name pattern {_} doesn't work as expected
#399 opened Oct 2, 2024 by sonmarcho
5
Add support for virtual manifests C-bug A bug in charon
#396 opened Oct 1, 2024 by R1kM
@Nadrieril
2
Failure: Unexpected ShallowInitBox C-bug A bug in charon
#393 opened Oct 1, 2024 by R1kM
@Nadrieril
2
Suboptimal placement of comment C-bug A bug in charon
#388 opened Sep 30, 2024 by msprotz
1
@Nadrieril
3
Add clippy to CI
#382 opened Sep 27, 2024 by Nadrieril
@Nadrieril
Implement immutable visitor to visit ULLBC statements
#380 opened Sep 27, 2024 by sonmarcho
Add an enumerate method to the Id vectors
#379 opened Sep 27, 2024 by sonmarcho
2
Bug: can't cast constructor to a function C-bug A bug in charon
#378 opened Sep 23, 2024 by Nadrieril
1
@Nadrieril
Add a print-llbc subcommand to print an existing llbc file
#367 opened Sep 18, 2024 by Nadrieril
@Nadrieril
Support trait aliases C-unsupported-language-feature A rust feature we don't extract well
#366 opened Sep 18, 2024 by Nadrieril
@Nadrieril
Use DeBruijn indices for all type-level variables
#361 opened Sep 16, 2024 by Nadrieril
@Nadrieril
Start extracting from a specific item
#336 opened Aug 28, 2024 by Nadrieril
@Nadrieril
2
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
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
1
ProTip! Updated in the last three days: updated:>2024-11-18.