Mark Spanbroek 05fbd244e2 Formatting		2022-03-15 10:01:12 +01:00
..
AccountLocks.sol	Document the account locking design	2022-03-01 09:38:53 +01:00
Collateral.sol	Rename invariants to avoid name clashes	2022-03-15 10:01:12 +01:00
Contracts.sol	Replace Stakes with Collateral	2022-03-01 09:38:53 +01:00
Marketplace.sol	Formatting	2022-03-15 10:01:12 +01:00
Proofs.sol	Lint with solhint	2022-02-10 07:46:03 +01:00
Storage.sol	Replace Stakes with Collateral	2022-03-01 09:38:53 +01:00
TestAccountLocks.sol	Account locking	2022-03-01 09:38:53 +01:00
TestCollateral.sol	Prevent withdrawal of locked collateral	2022-03-01 09:38:53 +01:00
TestContracts.sol	Format using prettier	2022-02-10 07:46:03 +01:00
TestProofs.sol	Format using prettier	2022-02-10 07:46:03 +01:00
TestToken.sol	Lint with solhint	2022-02-10 07:46:03 +01:00