Search results

[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

build: Nix build fails on Darwin

Status: Open.

#1273 In AeneasVerif/charon;

· gkgoat1 opened on Jun 7, 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

Clarify the CLI flags

Status: Open.

#1252 In AeneasVerif/charon;

· Nadrieril opened on Jun 3, 2026

Feature request: translate to MiniRust

Status: Open.

#1251 In AeneasVerif/charon;

· Nadrieril opened on Jun 2, 2026

Make the AST structs and enums non-exhaustive

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

Status: Open.

#1250 In AeneasVerif/charon;

· Nadrieril opened on Jun 2, 2026