status-im
/
dagger-contracts
mirror of https://github.com/status-im/dagger-contracts.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
dagger-contracts/.gitignore

7 lines
87 B
Plaintext
Raw Permalink Normal View History

Hardhat setup
2021-10-12 06:35:24 +00:00
node_modules
cache
artifacts
Add `npm start` to start development node It also creates a JSON file with addresses of the deployed contracts.
2021-11-16 15:15:11 +00:00
deployment-localhost.json
[fuzzing] Enable fuzzing for Marketplace Replaces runtime invariant checks with fuzzing tests, simplifying the contract code and lowering gas costs.
2023-01-30 09:32:30 +00:00
crytic-export
Set up certora and implement first rules (#122) Co-authored-by: 0xb337r007 <0xe4e5@proton.me> Co-authored-by: Adam Uhlíř <adam@uhlir.dev>
2024-07-24 16:50:18 +00:00
.certora_internal