Commit Graph

Select branches

Hide Pull Requests

bumb-hardhat-and-hardhat-deploy

certora-totalsent-le-totalreceived

chore/document-increaseAllowance-use

chore/ethers6

chore/move-circuit-files

chore/update-deps

contract-balance-spec

custom-errors

failed-state-transitions

feat/add-expiry-to-storage-requested-event

feat/add-slots-subsets

feat/emit-request-queue-item-params

feat/slot-reservations/1-allow-slots-to-be-reserved

feat/slot-reservations/2-add-dispersal-parameter

feat/slot-reservations/4-add-slotreservationfull-event

feat/verify-proof

fix/repaird-partial-reward

fix/vacuous-rule

get-active-slot-no-slot-collateral

list-of-active-requests

list-of-active-sales

master

smt-checking

store-slot-index

testnet_deployment

#1

#10

#11

#113

#118

#12

#120

#121

#122

#123

#123

#13

#134

#135

#136

#138

#14

#140

#141

#141

#142

#144

#145

#146

#147

#147

#148

#15

#152

#155

#158

#16

#160

#160

#162

#163

#166

#167

#168

#169

#169

#170

#171

#176

#177

#177

#178

#179

#180

#181

#19

#2

#20

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#4

#41

#44

#47

#48

#5

#51

#52

#54

#55

#56

#58

#59

#6

#60

#61

#62

#63

#64

#65

#65

#66

#67

#68

#69

#7

#72

#73

#74

#75

#77

#78

#79

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#90

#91

#92

#93

#94

#96

#97

#97

#99

Mono Color

• cd108712c3
  Merge 8bbb4257f7 into 3a074abd20 Adam Uhlíř 2024-09-30 14:18:30 +0200
• ec416c1916
  Merge 733aab007e into 3a074abd20 Eric 2024-09-30 14:18:30 +0200
• a9563e8c0b
  Merge 018ed2567f into 3a074abd20 r4bbit 2024-09-30 14:18:29 +0200
• 3a074abd20 chore(certora): verify possible slot state transitions master Andrea Franz 2024-08-29 16:33:23 +0200
• 90b22947d2
  chore(certora): verify possible slot state transitions Andrea Franz 2024-08-29 16:33:23 +0200
• 73bcf8c21d
  Align params after rebase feat/slot-reservations/4-add-slotreservationfull-event Eric 2024-09-26 17:05:26 +1000
• 9a912dde54
  change SlotReservationsFull emission params Eric 2024-09-26 16:51:12 +1000
• 238ca1b877
  Add SlotReservationsFull event Eric 2024-09-26 14:31:27 +1000
• 733aab007e
  Move `_MAX_RESERVATIONS` to config feat/slot-reservations/1-allow-slots-to-be-reserved Eric 2024-09-26 17:02:10 +1000
• 1e49b7b2f0
  Change canReserveSlot and reserveSlot parameters Eric 2024-09-26 16:43:09 +1000
• 122e6858a0
  Remove return value for `reserveSlot` Eric 2024-09-19 14:25:41 +1000
• 36f12e089a
  uses msg.sender for slot reservation address Eric 2024-09-18 20:22:17 +1000
• ad448efb9a
  feat(slot-reservations): Allow slots to be reserved Eric 2024-09-18 19:34:43 +1000
• a5aa19453e
  Add codex_testnet deployment artifacts (#181) Slava 2024-09-24 13:31:07 +0300
• 753d146b41
  Add codex_testnet deployment artifacts Slava 2024-09-24 12:20:19 +0300
• 9722753e54
  Update circuit files for codex_testnet (#180) Slava 2024-09-23 18:30:02 +0300
• c6e5bfa7dc
  Update circuit files for codex_testnet Slava 2024-09-23 17:53:26 +0300
• 2331ae1f0a
  clean up feat/slot-reservations/2-add-dispersal-parameter Eric 2024-09-23 11:27:59 +1000
• 558bf645c3
  Updates circuit file hash (#178) Ben Bierens 2024-09-20 11:08:23 +0200
• 8b909f55d2
  Remove saturation parameter Eric 2024-09-20 15:57:14 +1000
• 72de1f6b74
  Updates example proof Ben 2024-09-19 15:21:20 +0200
• 1a0162243b
  wasm and r1cs files appear to be unchanged Ben 2024-09-19 14:46:51 +0200
• 7fb19f1586
  Add `saturation` parameter Eric 2024-09-19 19:26:33 +1000
• 0dabfd16d3
  Move expansion from Ask to Request Eric 2024-09-19 16:55:47 +1000
• 3d5fa4708b
  feat(slot-reservations): Add expansion parameter Eric 2024-09-19 16:48:16 +1000
• d2ba8693e7
  Remove return value for `reserveSlot` Eric 2024-09-19 14:25:41 +1000
• b62c72b5e1
  uses msg.sender for slot reservation address Eric 2024-09-18 20:22:17 +1000
• 64ce222e24
  feat(slot-reservations): Allow slots to be reserved Eric 2024-09-18 19:34:43 +1000
• bba8736132 refactor(certora): use ghost variables for `requestContext` and `slots` r4bbit 2024-08-26 15:56:30 +0200
• dfecbb647e
  Merge 1e5c8df2fb into 38caabeee3 Andrea Franz 2024-08-28 09:18:37 +0200
• 8d418e2314 refactor(certora): use ghost variables for `requestContext` and `slots` r4bbit 2024-08-26 15:56:30 +0200
• 38caabeee3 fix(certora): remove incorrect requirment in `paidSlotAlwaysHasCancelledOrFinishedRequest` r4bbit 2024-08-26 14:49:42 +0200
• 9de8400318 fix(certora): remove incorrect requirment in `paidSlotAlwaysHasCancelledOrFinishedRequest` r4bbit 2024-08-26 14:49:42 +0200
• cc0b2732ad fix(Marketplace): ensure requests include ask with sufficient slots r4bbit 2024-08-23 09:46:28 +0200
• 1e5c8df2fb
  chore(certora): contract balance increases when new storage requests are added contract-balance-spec Andrea Franz 2024-08-27 11:08:33 +0200
• 018ed2567f
  chore(certora): add invariant that totalSent is <= totalReceived certora-totalsent-le-totalreceived r4bbit 2024-08-09 09:58:39 +0200
• 3c9e350ae7
  fix(Marketplace): ensure requests include ask with sufficient slots r4bbit 2024-08-23 09:46:28 +0200
• 6d319c76b9 fix(certora): make vacuous rule pass r4bbit 2024-08-27 10:52:56 +0200
• 50e90b6816 chore(CI): update certora-cli to 7.10.2 r4bbit 2024-08-27 12:47:22 +0200
• 00093fdae2
  fix(certora): make vacuous rule pass r4bbit 2024-08-27 10:52:56 +0200
• c3c3ae4cf7
  chore(CI): update certora-cli to 7.10.2 r4bbit 2024-08-27 12:47:22 +0200
• 6ae0d85d4e
  fix(certora): make vacuous rule pass fix/vacuous-rule r4bbit 2024-08-27 10:52:56 +0200
• 3a6249e886 fix(certora): make rule for allowed request state changes work again r4bbit 2024-08-21 21:31:56 +0200
• 7dc26ccc47 chore(certora): add rule that cancelled requests stay cancelled and finished requests stay finished r4bbit 2024-08-21 21:30:20 +0200
• 09ca8481fb fix(certora): fix rule that describes allowed request state changes r4bbit 2024-08-21 21:12:26 +0200
• faeb808d41 fix(certora): fix invariant that requests are started when slots filled r4bbit 2024-08-21 20:58:18 +0200
• 7c542e72b6 chore(certora); add rule to verify slot is failed or free when request has failed r4bbit 2024-08-21 20:53:38 +0200
• 7dc5566cd9 chore(certora): add invariant that cancelled slots always belong to cancelled requests r4bbit 2024-08-21 20:49:33 +0200
• 0acb522fe7 chore(certora): add invariant that paid slots always have a finished or cancelled request r4bbit 2024-08-21 20:48:47 +0200
• a1229b5af3 chore(certora): introduce invariant that finished slots always belong to finished requests r4bbit 2024-08-21 20:47:14 +0200
• 5b5a3c9e2e chore(certora): introduce invariant that failed requests are always ended r4bbit 2024-08-21 20:45:49 +0200
• 7ce7a5dda0 chore(certora): add invariant that cancelled requests are always expired r4bbit 2024-08-21 20:37:43 +0200
• ebdf9ed366 fix(certora): fix rule that missed slots == number of issed periods r4bbit 2024-08-21 20:22:39 +0200
• ec68bdb1ff
  fix(certora): make rule for allowed request state changes work again r4bbit 2024-08-21 21:31:56 +0200
• 696128d96b
  chore(certora): add rule that cancelled requests stay cancelled and finished requests stay finished r4bbit 2024-08-21 21:30:20 +0200
• 47708128ce
  fix(certora): fix rule that describes allowed request state changes r4bbit 2024-08-21 21:12:26 +0200
• 0bd34aba3c
  fix(certora): fix invariant that requests are started when slots filled r4bbit 2024-08-21 20:58:18 +0200
• afb64a0120
  chore(certora); add rule to verify slot is failed or free when request has failed r4bbit 2024-08-21 20:53:38 +0200
• 2f57e554c9
  chore(certora): add invariant that cancelled slots always belong to cancelled requests r4bbit 2024-08-21 20:49:33 +0200
• 3ee2ebdb9c
  chore(certora): add invariant that paid slots always have a finished or cancelled request r4bbit 2024-08-21 20:48:47 +0200
• 6d3c3635af
  chore(certora): introduce invariant that finished slots always belong to finished requests r4bbit 2024-08-21 20:47:14 +0200
• 98b463a58a
  chore(certora): introduce invariant that failed requests are always ended r4bbit 2024-08-21 20:45:49 +0200
• 1f5fefb73d
  chore(certora): add invariant that cancelled requests are always expired r4bbit 2024-08-21 20:37:43 +0200
• 54306bd051
  fix(certora): fix rule that missed slots == number of issed periods r4bbit 2024-08-21 20:22:39 +0200
• 8bbb4257f7
  style: formatting fix/repaird-partial-reward Adam Uhlíř 2024-08-21 09:08:17 +0200
• 9885d84ad4
  test: fixes rebase Adam Uhlíř 2024-08-20 13:16:17 +0200
• 476e615fec
  test: fixes states changes Adam Uhlíř 2024-08-20 11:34:51 +0200
• 711f8f4c9f
  chore: tweaks Adam Uhlíř 2024-08-20 11:06:48 +0200
• bb043ad2d0
  chore: wording feedback Adam Uhlíř 2024-08-20 10:55:34 +0200
• 04c93fd1a2
  feat: hosts payed by actual time hosting a slot Adam Uhlíř 2024-08-19 23:14:48 +0200
• 92ab1e50dd chore(certora): set MarketplaceHarness as parametric_contract config value Andrea Franz 2024-08-16 11:59:59 +0200
• a5dc3cfa8c
  chore(certora): set MarketplaceHarness as parametric_contract config value Andrea Franz 2024-08-16 11:59:59 +0200
• 73a2ca0bd3
  feat: adds an optional `payoutAddress` to allow payouts to be paid to separate address (#144) Eric 2024-08-19 09:09:48 +0200
• 4c1c5c6539
  update certora spec for new sigs Eric 2024-08-16 18:54:31 +1000
• 63ff5a0c70
  refactor: change withdrawFunds and freeSlot overloads Eric 2024-08-16 12:55:04 +1000
• 9e46a4ba7f
  Add collateralRecipient Eric 2024-08-16 11:20:50 +1000
• 9401b41aef
  formatting Eric 2024-08-14 17:32:09 +1000
• da9cc6150c
  Update tests for paying out to withdrawAddress Eric 2024-08-14 17:28:43 +1000
• c892b308d3
  Add withdrawAddress to withdrawFunds Eric 2024-08-14 16:39:26 +1000
• 5897d953c8
  update certora spec to match updated function signature Eric 2024-08-13 13:57:43 +1000
• 317e251070
  formatting Eric 2024-08-13 12:46:01 +1000
• d298076a6f
  Move payoutAddress to freeSlot Eric 2024-08-13 12:43:05 +1000
• 2f94f4716b
  remove optional payoutAddress parameter Eric 2024-08-12 13:33:34 +1000
• c055a2aa96
  formatting Eric 2024-08-07 15:07:01 +1000
• e537cecdd6
  add doc to patchFillSlotOverloads Eric 2024-08-07 15:05:37 +1000
• ae43c3b965
  add tests for payoutAddress Eric 2024-08-07 14:54:11 +1000
• cd71adb9ad
  Add fillSlot overload to make payoutAddress "optional" Eric 2024-08-07 14:53:04 +1000
• 95435d4929
  initial commit for splitting payouts Eric 2024-08-06 17:11:37 +1000
• ba42fb3428
  WIP failed-state-transitions Andrea Franz 2024-08-16 18:11:24 +0200
• e45724f825
  WIP r4bbit 2024-08-16 14:30:18 +0200
• 73215545b4
  Merge 576fefe46e into 29f39d52c7 r4bbit 2024-08-15 15:10:42 +0200
• 29f39d52c7
  chore(certora): slot's missed periods count should be equal to the count of slot's missing periods set to true (#155) Andrea Franz 2024-08-15 12:51:14 +0200
• 71c83a9f86
  chore(certora): slot's missed periods count should be equal to the count of slot's missing periods set to true Andrea Franz 2024-08-14 17:15:22 +0200
• a27da9738a chore(certora): verify SlotState and RequestState changes count r4bbit 2024-08-13 14:16:12 +0200
• 457a09992f
  chore(certora): verify SlotState and RequestState changes count r4bbit 2024-08-13 14:16:12 +0200
• ed428767b3
  chore: add `downtimeProduct` configuration parameter (#138) Eric 2024-08-14 07:50:32 +0200
• 4a379f0324
  formatting Eric 2024-08-05 17:00:13 +1000
• 392a2190ca
  add `downtimeProduct` configuration parameter Eric 2024-08-05 16:45:18 +1000
• 6a1e72396d
  Merge c2a17a3a28 into 1d36256230 Eric 2024-08-13 11:27:13 +0200
• 1d36256230 chore(certora): add invariant that proofs cant be missing when in period r4bbit 2024-08-09 13:05:56 +0200