Commit Graph

24 Commits

Author SHA1 Message Date
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