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
|
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
|
b9a9be350a
|
Simplify signature of TestToken.mint
To be compatible with nim-web3, which doesn't
support arrays in a method signature.
|
2021-11-23 14:35:00 +01:00 |
|
Mark Spanbroek
|
7b16841534
|
Change test token to allow arbitrary minting
|
2021-11-18 13:56:12 +01:00 |
|
Mark Spanbroek
|
afad0e49ec
|
Mint test tokens for both client and host
|
2021-11-04 11:32:21 +01:00 |
|
Mark Spanbroek
|
c013a37229
|
Add contract for keeping track of stakes in ERC20 tokens
|
2021-10-21 14:09:37 +02:00 |