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

49 Open 115 Closed
49 Open 115 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: ill-typed projection element C-bug A bug in charon
#508 opened Dec 23, 2024 by msprotz
Bug: faulty control-flow reconstruction in ML-DSA C-bug A bug in charon
#507 opened Dec 23, 2024 by msprotz
2
Compilation error with 2024-12-19 rust toolchain
#505 opened Dec 20, 2024 by zhassan-aws
1
Revert the NameMatcher's hack
#503 opened Dec 20, 2024 by sonmarcho
@Nadrieril
Explicitly bind trait methods
#495 opened Dec 11, 2024 by Nadrieril
@Nadrieril
Clarify Vector usage
#490 opened Dec 11, 2024 by Nadrieril
@Nadrieril
1
Rework rust visitor infrastructure
#489 opened Dec 10, 2024 by Nadrieril
@Nadrieril
Compute short names of items
#488 opened Dec 10, 2024 by Nadrieril
@Nadrieril
5
Only translate trait method when used
#487 opened Dec 10, 2024 by Nadrieril
@Nadrieril
5
Support return position impl trait in trait C-unsupported-language-feature A rust feature we don't extract well
#478 opened Nov 28, 2024 by Nadrieril
Support for Generalized Associated Types C-unsupported-language-feature A rust feature we don't extract well
#477 opened Nov 28, 2024 by R1kM
2
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
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
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
Start extracting from a specific item
#336 opened Aug 28, 2024 by Nadrieril
@Nadrieril
2
ProTip! no:milestone will show everything without a milestone.