r4bbit
|
688a8ed929
|
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 18:50:18 +02:00 |
Mark Spanbroek
|
3390e21071
|
[fuzzing] Enable fuzzing for Marketplace
Replaces runtime invariant checks with fuzzing tests,
simplifying the contract code and lowering gas costs.
|
2023-06-19 14:58:47 +02:00 |
|
Mark Spanbroek
|
a794141308
|
Add `npm start` to start development node
It also creates a JSON file with addresses
of the deployed contracts.
|
2021-11-18 13:56:12 +01:00 |
|
Mark Spanbroek
|
44433926bf
|
Hardhat setup
|
2021-10-12 08:35:24 +02:00 |