Mark Spanbroek 81c7dcd25a Disallow finishing of contract that wasn't started		2022-03-22 12:41:13 +01:00
..
AccountLocks.sol	Disable solhint about relying on timestamp	2022-03-15 10:01:12 +01:00
Collateral.sol	Rename invariants to avoid name clashes	2022-03-15 10:01:12 +01:00
Marketplace.sol	Disallow starting an offer that was not selected	2022-03-22 12:41:13 +01:00
Proofs.sol	Fix flaky tests	2022-03-15 10:01:12 +01:00
Storage.sol	Disallow finishing of contract that wasn't started	2022-03-22 12:41:13 +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
TestProofs.sol	Fix flaky tests	2022-03-15 10:01:12 +01:00
TestToken.sol	Lint with solhint	2022-02-10 07:46:03 +01:00