status-im
/
communities-contracts
mirror of https://github.com/status-im/communities-contracts.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
60 Commits 25 Branches 1 Tag 1.9 MiB
Commit Graph

9 Commits

Author SHA1 Message Date
r4bbit 7908fa4b5d
dispatch resolve setMaxSupply as OwnerToken has vacious behavior 2024-02-21 18:00:12 +01:00
r4bbit e7333a350e
add missing invariant 2024-02-21 17:46:14 +01:00
r4bbit 9194946d1d
adjust config 2024-02-21 16:47:31 +01:00
0xb337r007 77b799111d
update certora config and add a rule for setMaxSupply 2024-02-21 16:27:15 +01:00
0xb337r007 36efa32a9c
fix integrityOfMintTo 2024-02-21 16:27:15 +01:00
0xb337r007 50d22d68a5
add specs 2024-02-21 16:27:15 +01:00
r4bbit e3142f1e52 refactor: move certora configs into individual scripts 
This is done to allow execution of multiple verifications per command,
such that we can still use `pnpm verify` as usual to run all specs, but
also target individual specs using `pnpm verify:sub_command`.
 2024-01-19 07:28:25 +01:00
r4bbit 847cbb9107 chore: introduce certora specs for CommunityTokenDeployer 
This adds some basic specs for the `CommunityTokenDeployer` and its
interaction with `CommunityOwnerTokenRegistry`.
 2024-01-19 07:28:25 +01:00
r4bbit 8773220abe
feat: add certora CI integration (#24) 
This backports Certora CI integration to this repository, resulting in
GitHub Actions being extended to run formal verification on any change
to contracts that comes in via pull requests.
 2023-12-14 08:53:57 +01:00