chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI)#141

Open

avrabe wants to merge 16 commits into

mainfrom

chore/bump-rules-rocq-rust

Commits on May 23, 2026

chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration)
avrabe
committed
build(bazel): migrate MODULE.bazel for rules_rocq_rust rules_rust API
avrabe
committed

Commits on May 24, 2026

build(bazel): rename @rocq_of_rust_source → @rocq_of_rust_build
avrabe
committed
fix(proofs): decode_uleb128_small replace pattern after Rocq 9.0 simpl change
avrabe
committed
fix(proofs): StackSignature rev_involutive orientation for Rocq 9.0
avrabe
committed

Commits on May 25, 2026

Commits on May 26, 2026

fix(proofs): tolerate Rocq 9.0 simpl pre-reducing Nat.sub_0_r at line 238
avrabe
committed

Commits on May 27, 2026

Commits on May 28, 2026

Commits on May 29, 2026

Commits on May 30, 2026