TimelockGuard - #752

Closed

alcueca wants to merge 7 commits into

mainfrom

acc/timelock-guard

Commits on Aug 26, 2025

initial draft
alcueca
committed

Commits on Aug 27, 2025

Multiple comments addressed
alcueca
committed
Formatted invariant
alcueca
committed

Commits on Aug 28, 2025

Extra assumption
alcueca
committed
More definitions, Requirements and Constraints section
alcueca
committed
lint and toc
alcueca
committed

Commits on Sep 3, 2025

Rewrote requirements as invariants, and removed module execution path
alcueca
committed