As discussed in #46, `CollectibleV1` is not a good name for this
contract as we don't want versioning in the naming. To align with other
contracts in this repository, we're renaming this contract to
`CommunityERC721`.
BREAKING CHANGE: Any references to `CollectibleV1` must be replaced with
`CommunityERC721`
Closes#46
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`.
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.
This commit does a couple of things:
- moves the project to our foundry template structure and workflows
- removes hardhat usage and dependencies
- removes unused contracts
- ports existing JS tests to foundry tests
- adds additional tests for `CommunityERC20` contract
- Introduces deploy scripts written in solidity which are also covered
by tests
The projects can now be build and tests with:
```
$ forge build
```
```
$ forge test
```
Test deployments can be done via
```
$ forge script script/DeployOwnerToken.sol
```
r4bbit
0xb337r007