Search results

Docs: add clarification to what_charon_translates.md

Status: Open.

#1079 In AeneasVerif/charon;

· oliver-butterley opened on Apr 1, 2026

Bug: self-referential clause in default associated type

A-traitsRelated to traits and trait elaborationRelated to traits and trait elaboration

C-bugA bug in charonA bug in charon

Status: Open.

#1078 In AeneasVerif/charon;

· Nadrieril opened on Mar 30, 2026

Bug: Panic with attempted .def_id() on invalid res: PrimTy(Bool)

C-bugA bug in charonA bug in charon

E-needs-minimizationThis bug needs to be minimized into a small example with minimal dependencies.This bug needs to be minimized into a small example with minimal dependencies.

Status: Open.

#1075 In AeneasVerif/charon;

· antoyo opened on Mar 30, 2026

Bug: Panic: index out of bounds: the len is 4 but the index is 4

C-bugA bug in charonA bug in charon

E-needs-minimizationThis bug needs to be minimized into a small example with minimal dependencies.This bug needs to be minimized into a small example with minimal dependencies.

Status: Open.

#1074 In AeneasVerif/charon;

· antoyo opened on Mar 30, 2026

Bug: assertion failed: x.index() < self.len()

C-bugA bug in charonA bug in charon

E-needs-minimizationThis bug needs to be minimized into a small example with minimal dependencies.This bug needs to be minimized into a small example with minimal dependencies.

Status: Open.

#1073 In AeneasVerif/charon;

· antoyo opened on Mar 25, 2026

Feature request: Subcommand to print pinned toolchain version

Status: Open.

#1072 In AeneasVerif/charon;

· joshlf opened on Mar 25, 2026

Bug: very long run time and many errors extracting spqr::kdf

C-bugA bug in charonA bug in charon

E-needs-minimizationThis bug needs to be minimized into a small example with minimal dependencies.This bug needs to be minimized into a small example with minimal dependencies.

Status: Open.

#1068 In AeneasVerif/charon;

· oliver-butterley opened on Mar 17, 2026

Bug: incorrect control-flow reconstruction in the presence of loops

C-bugA bug in charonA bug in charon

Status: Open.

#1051 In AeneasVerif/charon;

· sonmarcho opened on Mar 12, 2026

Feature request: more information in enum layout

Status: Open.

#1046 In AeneasVerif/charon;

· N1ark opened on Mar 3, 2026

Bug: reconstruct_fallible_operations fails to promote shifts assigned through dereferenced pointers

C-bugA bug in charonA bug in charon

Status: Open.

#1041 In AeneasVerif/charon;

· oliver-butterley opened on Feb 28, 2026

Bug: missing lifetime information about upvars

C-bugA bug in charonA bug in charon

Status: Open.

#1040 In AeneasVerif/charon;

· Nadrieril opened on Feb 27, 2026

Use rustc's proof trees

Status: Open.

#1038 In AeneasVerif/charon;

· Nadrieril opened on Feb 26, 2026