This adds a new command to package.json `verify` which can be run via
`pnpm verify`.
The command runs the certora CLI with a config file which has to be
adjusted for every individual project.
The commit also adds a dedicated task to our github actions, which
ensures, verification is done in every PR as well.
This is an initial take on adjusting the foundry-template to the Vac's
smart contract unit's needs. In a nutshell what this does is:
1. Update README to not refer to upstream repo where not necessary
2. Removes PRBergTest library from dependencies
3. Removes `FUNDING.qml`
4. Adjust CI actions
There are more things to be done and decided on in follow-up commits.
* use solhint-community fork
We're trying to keep solhint afloat with a fork, and done some work on
it so far, mainly the no-unused-imports rule.
Any feedback is appreciated, hope this helps ✨
see announcement:
https://blog.capu.tech/announcing-solhint-community.html
* docs: update README
---------
Co-authored-by: Paul Razvan Berg <paul.razvan.berg@gmail.com>
build: remove "prettier-plugin-solidity" and "solhint-plugin-prettier" deps
chore: add "fmt" configuration in Foundry config
chore: delete solidity override from Prettier rules
chore: delete solidity rules from Solhint config
chore: modify scripts to run Prettier on all files except "*.sol"
test: document "setUp" function
r4bbit
Paul Razvan Berg
Juan Pablo Capurro
Paul Razvan Berg