Mark Spanbroek 29b5775951 [proofs] willProofBeRequired() predicts proof requirement

2022-04-05 11:36:31 +02: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

[proofs] willProofBeRequired() predicts proof requirement

2022-04-05 11:36:31 +02:00

Storage.sol

[proofs] willProofBeRequired() predicts proof requirement

2022-04-05 11:36:31 +02: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

[proofs] willProofBeRequired() predicts proof requirement

2022-04-05 11:36:31 +02:00

TestToken.sol

Lint with solhint

2022-02-10 07:46:03 +01:00