All issues

Search results

Bug: iter_crate_with_span/map_crate_with_span doesn't track the item environment for type decls

C-bugA bug in charonA bug in charon

Status: Open.

#1346 In AeneasVerif/charon;

· mpenciak opened on Aug 5, 2026

Feature request: include global magic functions

Status: Open.

#1344 In AeneasVerif/charon;

· N1ark opened on Aug 3, 2026

Closure sub-items cannot be targeted by --opaque/--exclude name patterns — contradicts the documented "item and all subitems" opacity

Status: Open.

#1339 In AeneasVerif/charon;

· PlanetMacro opened on Jul 31, 2026

Document charon_lib

Status: Open.

#1299 In AeneasVerif/charon;

· Nadrieril opened on Jun 25, 2026

[charon-ml] LLBC loader uses both result and exception

Status: Open.

#1287 In AeneasVerif/charon;

· niooss-ledger opened on Jun 13, 2026

Feature request: dynamically-linked plugin system

Status: Open.

#1286 In AeneasVerif/charon;

· Nadrieril opened on Jun 12, 2026

Bug: dyn supertrait method dispatch reads the wrong vtable

C-bugA bug in charonA bug in charon

Status: Open.

#1285 In AeneasVerif/charon;

· niooss-ledger opened on Jun 12, 2026

Bug: weirdly typed ProjectionElem::PtrMetadata

C-bugA bug in charonA bug in charon

Status: Open.

#1281 In AeneasVerif/charon;

· N1ark opened on Jun 11, 2026

Add a lot of examples in docs

Status: Open.

#1277 In AeneasVerif/charon;

· Nadrieril opened on Jun 8, 2026

Split up AggregateKind::Adt

S-representationThis feature requires a nontrivial change to the AST of CharonThis feature requires a nontrivial change to the AST of Charon

Status: Open.

#1276 In AeneasVerif/charon;

· Nadrieril opened on Jun 8, 2026

Feature request: supported unsized globals

Status: Open.

#1265 In AeneasVerif/charon;

· N1ark opened on Jun 4, 2026

Bug: missing vtables for builtin traits in monomorphic mode

C-bugA bug in charonA bug in charon

Status: Open.

#1264 In AeneasVerif/charon;

· N1ark opened on Jun 4, 2026