0xb337r007
f629e447af
fix spec
2024-02-22 10:28:29 +01:00
0xb337r007
6a55d407cd
fix maxSupplyNotLowerThanTotalSupply in CollectibleV1 spec
2024-02-22 09:37:37 +01:00
0xb337r007
d929335678
update certora config and add a rule for setMaxSupply
2024-02-18 15:24:57 +01:00
0xb337r007
09c5b560ac
fix integrityOfMintTo
2024-02-11 14:22:32 +01:00
0xb337r007
a8fe12bbc8
add specs
2024-02-11 11:36:19 +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