9 Commits

Author SHA1 Message Date
Mark Spanbroek
f9cc73d62f Rename invariants to avoid name clashes 2022-03-15 10:01:12 +01:00
Mark Spanbroek
e963a25c94 Replace Stakes with Collateral
Removes the old Stakes implementation in favor of the
new Collateral implementation.
2022-03-01 09:38:53 +01:00
Mark Spanbroek
91a976a007 Prevent withdrawal of locked collateral 2022-03-01 09:38:53 +01:00
Mark Spanbroek
ab38473688 Slash collateral 2022-03-01 09:38:53 +01:00
Mark Spanbroek
2f59927b30 Check result of ERC20 transferFrom call 2022-03-01 09:38:53 +01:00
Mark Spanbroek
9e0d05965d Update collateral totals and balance at the same time 2022-03-01 09:38:53 +01:00
Mark Spanbroek
c86fdfbec1 Withdraw collateral 2022-03-01 09:38:53 +01:00
Mark Spanbroek
3d50e56fe7 Collateral invariant 2022-03-01 09:38:53 +01:00
Mark Spanbroek
6e0aded775 Deposit collateral 2022-03-01 09:38:53 +01:00