Skip to content

Commit

Permalink
feat: updated DeputyPauseModule specification (#473)
Browse files Browse the repository at this point in the history 
Updates the DeputyPauseModule specification to utilize a clearer
standardized format for invariants and assumptions.
  • Loading branch information
@smartcontracts
smartcontracts authored Dec 16, 2024
1 parent 5d2a9c1 commit 6892147
Show file tree
Hide file tree
Showing 3 changed files with 465 additions and 46 deletions.
Loading

0 comments on commit 6892147

Please sign in to comment.