Adam Uhlíř 7e6187d4b1 feat: hosts payed by actual time hosting a slot (#160) ... Co-authored-by: Eric <5089238+emizzle@users.noreply.github.com> Co-authored-by: r4bbit <445106+0x-r4bbit@users.noreply.github.com>		2024-10-08 09:38:19 +02:00
..
Configuration.sol	feat(slot-reservations): Allow slots to be reserved (#177)	2024-10-03 11:01:21 +10:00
Endian.sol	Update solidity to 0.8.23	2024-01-25 13:08:10 +01:00
FuzzMarketplace.sol	feat(slot-reservations): Allow slots to be reserved (#177)	2024-10-03 11:01:21 +10: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	feat: hosts payed by actual time hosting a slot (#160)	2024-10-08 09:38:19 +02:00
Periods.sol	Update solidity to 0.8.23	2024-01-25 13:08:10 +01:00
Proofs.sol	chore(certora): slot's missed periods count should be equal to the count of slot's missing periods set to true (#155)	2024-08-15 12:51:14 +02:00
Requests.sol	feat: hosts payed by actual time hosting a slot (#160)	2024-10-08 09:38:19 +02:00
SlotReservations.sol	feat(slot-reservations): Add `SlotReservationsFull` event (#183)	2024-10-04 13:28:39 +10: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	Set up certora and implement first rules (#122)	2024-07-24 18:50:18 +02:00
TestSlotReservations.sol	feat(slot-reservations): Allow slots to be reserved (#177)	2024-10-03 11:01:21 +10: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