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
communities-contracts/certora
History
0xb337r007 66ba281c75
fix setMaxSupply to check total minted (#27) 		2024-02-22 11:44:48 +01:00
..
harness fix setMaxSupply to check total minted (#27) 2024-02-22 11:44:48 +01:00
scripts fix setMaxSupply to check total minted (#27) 2024-02-22 11:44:48 +01:00
specs fix setMaxSupply to check total minted (#27) 2024-02-22 11:44:48 +01:00
certora.conf fix setMaxSupply to check total minted (#27) 2024-02-22 11:44:48 +01:00