Mark Spanbroek e31e39f22c simplify time-based logic in tests, and fix requestEnd() ...

- use the `allowBlocksWithSameTimestamp` hardhat option
- remove block time gymnastics from marketplace tests
- fix erroneous implementation of requestEnd() which
  surfaced because of the the improved tests

2025-03-04 08:58:10 +01:00

..

Configuration.sol

perf: optimizing parameters sizing (#207)

2025-02-20 16:54:41 +11:00

Endian.sol

Update solidity to 0.8.23

2024-01-25 13:08:10 +01:00

FuzzMarketplace.sol

perf: optimizing parameters sizing (#207)

2025-02-20 16:54:41 +11:00

Groth16.sol

uint -> uint256

2024-03-13 15:25:59 +01:00

Groth16Verifier.sol

Provide all gas to precompiles

2024-03-13 15:25:59 +01:00

Marketplace.sol

simplify time-based logic in tests, and fix requestEnd()

2025-03-04 08:58:10 +01:00

Periods.sol

perf: optimizing parameters sizing (#207)

2025-02-20 16:54:41 +11:00

Proofs.sol

perf: optimizing parameters sizing (#207)

2025-02-20 16:54:41 +11:00

Requests.sol

perf: optimizing parameters sizing (#207)

2025-02-20 16:54:41 +11:00

SlotReservations.sol

perf: optimizing parameters sizing (#207)

2025-02-20 16:54:41 +11:00

StateRetrieval.sol

Update solidity to 0.8.23

2024-01-25 13:08:10 +01:00

TestEndian.sol

Set up certora and implement first rules (#122)

2024-07-24 18:50:18 +02:00

TestMarketplace.sol

Set up certora and implement first rules (#122)

2024-07-24 18:50:18 +02:00

TestProofs.sol

Remove the mapping _probabilities (#215)

2025-01-27 10:02:27 +00:00

TestSlotReservations.sol

fix(slot-reservations): ensure slot is free (#196)

2024-10-30 15:48:37 +11:00

TestToken.sol

Set up certora and implement first rules (#122)

2024-07-24 18:50:18 +02:00

TestVerifier.sol

Represent elements from field F_{p^2} as real + i * imag

2024-02-21 10:42:41 +01:00