Move the Charon pin to current and drop the patch machinery - #4883

Merged

feliperodri merged 9 commits into

model-checking:mainfrom

feliperodri:charon-bump

Sep 30, 2026

Commits on Sep 29, 2026

Move the Charon pin to nightly-2026.09.26 and drop the patch machinery

feliperodri
authored and
tautschnig
committed
cbd1e83
LLBC: configure and run Charon the way `charon --preset aeneas` does

feliperodri
authored and
tautschnig
committed
d950a8b
cargo deny: update the exceptions for Charon's new dependency set

feliperodri
authored and
tautschnig
committed
45f9d71
LLBC: port the MIR-to-ULLBC translation to the current Charon AST

feliperodri
authored and
tautschnig
committed
5563d50
LLBC: refresh the expected output for the current Charon

feliperodri
authored and
tautschnig
committed
e88ea4e
LLBC: declare generic parameters and regions the way Charon numbers them

tautschnig
and
kiro-agent
committed
f5c3d51
LLBC: stop with an error instead of a `todo!()` when Charon reports errors

tautschnig
and
kiro-agent
committed
817c2aa
LLBC: name the drop glue correctly and drop an unused parameter

tautschnig
and
kiro-agent
committed
3a07dcf
Move the Charon pin to nightly-2026.09.29 and drop the `serde_state` git source

tautschnig
and
kiro-agent
committed
c00ab40