Skip to content

framework spec: first pass at the Move Prover modifies cascade - #359

Draft
booleanfunction wants to merge 2 commits into
m1from
spec/distribute-rewards-modifies-cascade
Draft

framework spec: first pass at the Move Prover modifies cascade#359
booleanfunction wants to merge 2 commits into
m1from
spec/distribute-rewards-modifies-cascade

checkpoint: aptos_coin spec fix find_delegation aborts_if address

538cd22
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
setup
succeeded May 15, 2026 in 11s