Search results

Bug: Exponential slowdown translating generic-array with typenum (blocks RustCrypto crates)

C-bugA bug in charonA bug in charon

Status: Open.

#1065 In AeneasVerif/charon;

· oliver-butterley opened on Mar 14, 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

Feature request: Stop duplicating defaulted methods

Status: Open.

#1032 In AeneasVerif/charon;

· Nadrieril opened on Feb 23, 2026

Feature request: hide most warnings by default

E-needs-helpIssues where non-expert help is needed and instructions have been given.Issues where non-expert help is needed and instructions have been given.

Status: Open.

#1031 In AeneasVerif/charon;

· Nadrieril opened on Feb 23, 2026

Feature request: pattern types

Status: Open.

#1028 In AeneasVerif/charon;

· N1ark opened on Feb 18, 2026

Bug: How to build a project with lib.rs?

C-bugA bug in charonA bug in charon

Status: Open.

#1025 In AeneasVerif/charon;

· TitiSkywalker opened on Feb 16, 2026

Bug: issues in the Charon-ML name matcher

C-bugA bug in charonA bug in charon

Status: Open.

#1024 In AeneasVerif/charon;

· sonmarcho opened on Feb 14, 2026

Feature request: Allow passing --start-from arguments via file

Status: Open.

#1020 In AeneasVerif/charon;

· joshlf opened on Feb 12, 2026