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 |
Adam Uhlíř
|
d4c7057fff
|
ci: check formatting
|
2024-01-25 13:16:49 +01:00 |
Mark Spanbroek
|
6baf80d6f4
|
Refactor verifier contract: remove preprocessing
|
2024-01-25 13:08:10 +01:00 |
|
Mark Spanbroek
|
61be76da0e
|
Add preprocessing to generate verification contract
|
2024-01-25 13:08:10 +01:00 |
Ben Bierens
|
ac38d7f837
|
chore: update dependencies (#64)
Co-authored-by: Veaceslav Doina <20563034+veaceslavdoina@users.noreply.github.com>
|
2023-08-10 13:20:29 +02:00 |
|
Mark Spanbroek
|
42d4778dcc
|
[fuzzing] compile contracts before invoking docker
Ensures that `npm run fuzz` will succeed whether or
not the contracts were compiled beforehand.
|
2023-06-19 14:58:47 +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 |
benbierens
|
f69f9cf7fe
|
debugging deployment of contract to geth node
|
2023-06-19 10:49:40 +02:00 |
|
Adam Uhlíř
|
2b5d079882
|
feat: collateral fractions (#47)
Co-authored-by: Eric Mastro <github@egonat.me>
|
2023-03-30 11:11:21 +02:00 |
|
Adam Uhlíř
|
dfdbd16d5b
|
feat: collateral per slot (#44)
|
2023-03-08 12:02:34 +01:00 |
|
Mark Spanbroek
|
e89bfcbaae
|
[build] add library for statistical binomial tests
|
2023-01-30 14:47:37 +01:00 |
|
Mark Spanbroek
|
124457608d
|
[build] Update NodeJS dependencies
|
2023-01-09 12:04:23 +01:00 |
|
Mark Spanbroek
|
dfc53fb272
|
Rename: dagger -> codex
|
2023-01-09 11:42:18 +01:00 |
|
Mark Spanbroek
|
0587c2d585
|
Fix filename in Windows
|
2022-03-22 10:53:13 +01:00 |
|
Mark Spanbroek
|
c79059e470
|
npm update
|
2022-03-15 17:01:04 +01:00 |
|
Mark Spanbroek
|
7bcf3fe92c
|
Run linter before tests
|
2022-02-10 07:46:03 +01:00 |
|
Mark Spanbroek
|
f7af18eb2d
|
Lint with solhint
|
2022-02-10 07:46:03 +01:00 |
|
Mark Spanbroek
|
78755ecaa2
|
Format using prettier
|
2022-02-10 07:46:03 +01: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
|
9b957b9663
|
Add hardhat-deploy-ethers plugin
|
2021-11-18 13:56:12 +01:00 |
|
Mark Spanbroek
|
3431f77c82
|
Add hardhat-deploy plugin
|
2021-11-18 13:56:12 +01:00 |
|
Mark Spanbroek
|
0c0ee0fad6
|
MIT license
|
2021-11-08 16:03:32 +01:00 |
|
Mark Spanbroek
|
545ed4b011
|
Add OpenZeppelin contracts
|
2021-10-12 13:35:41 +02:00 |
|
Mark Spanbroek
|
44433926bf
|
Hardhat setup
|
2021-10-12 08:35:24 +02:00 |