Commits

Commits on Sep 24, 2026

Merge pull request #2273 from cryspen/feat/core-models-debug-insts
maximebuyse
authored
84fc89f
chore(core-models): regenerate the F* library
maximebuyse
committed
bd671e0
test(core-models): cover both `Result` Debug arms in one instantiation
maximebuyse
committed
49167c8
fix(core-models): forward `Debug` to inner values and bump hax-lean
maximebuyse
committed
0848ce7
feat(core-models): model the missing `fmt::Debug` instances
maximebuyse
committed
ed2c073

Commits on Sep 23, 2026

Merge pull request #2280 from cryspen/release/v0.4.1
clementblaudeau
authored
8d6a418
chore: release v0.4.1
github-actions[bot]
committed
b8e36ba

Commits on Sep 22, 2026

Commits on Sep 21, 2026

Commits on Sep 20, 2026

proof-libs/fstar: lift while_loop_internal to a top-level let rec

karthikbhargavan
and
claude
committed
abeaead

Commits on Sep 17, 2026