Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Audits/certora responses #154

Merged
merged 6 commits into from
Oct 30, 2024
Merged

Audits/certora responses #154

merged 6 commits into from
Oct 30, 2024

Conversation

bulbozaur
Copy link
Contributor

No description provided.

Psirex and others added 6 commits July 22, 2024 14:16
fix: tiebreaker getter in dualgovernance

feat: rework getters

feat: move getEmergencyProtectionDetails to emergency protection lib

fix: make add/remove sealable revertable

fix: tiebreakerResumeSealable activates next state

feat: create metadata parameter for submitting proposal

Fix foundry fmt settings

fix: formatter

fix: missing natspec

fix: formatting

fix: emergency protection missed tests

feat: add tests for timelock state

feat: add missing tests for withdrawalbatchesqueue

fix: reseal committee fix & unit tests

feat: add tests for emergency activation committee

feat: add tests for emergency execution committee

feat: add tests for ProposalsList

feat: tiebreaker core unit tests

fix: small test fixes

feat: add tiebreaker sub committee tests

fix: reseal committee integration test fix

feat: remove arrays util

Remove unused contract

ProposalAlreadyScheduled -> HashAlreadyScheduled. Fix failed tests

Stricter hashes scheduling and usage rules
@bulbozaur bulbozaur changed the base branch from develop to deve October 30, 2024 10:11
@bulbozaur bulbozaur marked this pull request as ready for review October 30, 2024 10:12
@bulbozaur bulbozaur merged commit cb58570 into deve Oct 30, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants