LivenessModule#751

Closed

alcueca wants to merge 12 commits intomainfrom

ac/liveness-module

Commits on Aug 25, 2025

initial draft
alcueca
committed

Commits on Aug 26, 2025

Merge branch 'main' into ac/liveness-module
alcueca
authored

Commits on Aug 27, 2025

Addressed non-format comments
alcueca
committed
Formatted the assumptions and invariants
alcueca
committed

Commits on Aug 28, 2025

Blaine's review
alcueca
committed
Added another invariant
alcueca
committed
No restrictions on enabling.
alcueca
committed
Fix toc
alcueca
committed
lint
alcueca
committed

Commits on Aug 29, 2025

Wording
alcueca
committed

Commits on Sep 2, 2025

better invariants, matching function spec to implementation lessons
alcueca
committed

Commits on Sep 3, 2025

More explicit specs about when to cancel a challenge
alcueca
committed