Commit Graph

Select branches

Hide Pull Requests

bumb-hardhat-and-hardhat-deploy

certora-totalsent-le-totalreceived

chore/cid-should-be-bytes

chore/document-increaseAllowance-use

chore/ethers6

chore/move-circuit-files

chore/update-deps

contract-balance-spec

failed-state-transitions

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

feat/add-slots-subsets

feat/emit-request-queue-item-params

feat/request-duration-limit

feat/require-proof-to-free-slot

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

feat/verify-proof

fix/configuration-shadowed-warning

fix/vacuous-rule

get-active-slot-no-slot-collateral

list-of-active-requests

list-of-active-sales

master

perf/params-sizing

smt-checking

store-slot-index

test/payout-harness

testnet_deployment

vault

workaround-websocket-subscriptions

#1

#10

#11

#113

#118

#12

#120

#121

#122

#123

#13

#134

#135

#136

#138

#14

#140

#141

#142

#144

#145

#146

#147

#148

#15

#152

#155

#158

#16

#160

#162

#163

#166

#167

#168

#169

#169

#170

#171

#176

#177

#178

#179

#180

#181

#183

#185

#188

#189

#19

#190

#191

#193

#194

#196

#197

#198

#199

#2

#20

#200

#201

#202

#203

#203

#204

#205

#206

#206

#207

#207

#208

#209

#210

#211

#212

#213

#214

#214

#215

#216

#217

#217

#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

• ac1ad16ead
  Merge 54acaf4e832e62ccd27148eb425847dab9ad0df7 into 51bae145fcaea3bdbc764e8718bce1a9467e5c35 Arnaud 2025-01-27 13:45:34 +01:00
• 51fb478565
  Merge b8ba741abc0087a3dfd8183f61643f35b137b139 into 51bae145fcaea3bdbc764e8718bce1a9467e5c35 Adam Uhlíř 2025-01-27 12:30:41 +00:00
• 51bae145fc
  Reward validator when marking missing proof (#209) master Arnaud 2025-01-27 11:33:23 +01:00
• 86ba72d106
  Merge branch 'master' into feat/reward-validators-when-marking-proof-is-missing Arnaud 2025-01-27 11:27:20 +01:00
• 6753d20b17
  Remove missing proof leniency (#210) Arnaud 2025-01-27 11:14:53 +01:00
• 4740c86b69
  test(certora): timestamp back with uint64 with require perf/params-sizing Adam Uhlíř 2025-01-21 15:03:22 +01:00
• 79c60e72a4
  test(certora): timestamp with mathint Adam Uhlíř 2025-01-17 15:18:33 +01:00
• 228c60665d
  test(certora): timestamp conversion revert to assert_uint64 Adam Uhlíř 2025-01-16 17:25:12 +01:00
• 921680fab1
  test(certora): timestamp conversion again Adam Uhlíř 2025-01-16 17:03:15 +01:00
• 399f5f0de2
  test(certora): timestamp conversion Adam Uhlíř 2025-01-16 14:05:37 +01:00
• d9b0703918
  fix: ends type Adam Uhlíř 2025-01-15 11:02:26 +01:00
• 38b551ef6f
  Merge branch 'master' into feat/remove-missing-proof-leniency Arnaud 2025-01-27 11:12:05 +01:00
• 6d8726a2ad
  chore: more and more fixes for certora spec Adam Uhlíř 2025-01-15 10:58:03 +01:00
• b6f5494e41
  chore: more fixes for certora spec Adam Uhlíř 2025-01-15 10:30:26 +01:00
• 69ad7542c0
  chore: fix certora spec Adam Uhlíř 2025-01-15 08:57:50 +01:00
• 32ee1fc02d
  chore: fixes Adam Uhlíř 2025-01-13 15:48:35 +01:00
• 4cd517a176
  perf: more optimizations Adam Uhlíř 2025-01-10 09:26:29 +01:00
• 3517a2176b
  Merge branch 'master' into feat/reward-validators-when-marking-proof-is-missing Arnaud 2025-01-27 11:11:17 +01:00
• 1b618ac10f
  Merge branch 'master' into feat/remove-missing-proof-leniency Arnaud 2025-01-27 11:08:36 +01:00
• a5d5738b75
  style: formatting Adam Uhlíř 2025-01-10 09:08:12 +01:00
• f8c1c707f2
  chore: feedback Adam Uhlíř 2025-01-10 08:30:41 +01:00
• ff345c8358
  perf: optimizing parameters sizing Adam Uhlíř 2025-01-08 14:58:51 +01:00
• 78c15710f3
  Remove the mapping _probabilities (#215) Arnaud 2025-01-27 11:02:27 +01:00
• 152e83191a
  Remove custom errorr Proofs_InvalidProbability not used anymore Arnaud 2025-01-27 10:59:06 +01:00
• 16f092995f
  Merge branch 'chore/remove-_probabilities' of github.com:codex-storage/codex-contracts-eth into chore/remove-_probabilities Arnaud 2025-01-27 10:56:21 +01:00
• ef69408a6d
  Merge branch 'master' into chore/remove-_probabilities Arnaud 2025-01-27 10:55:42 +01:00
• e74d3397a1
  Feat: price per byte (#208) Marcin Czenko 2025-01-24 15:28:29 +01:00
• 2346fd9d6d
  Renaming <<collateral>> and <<reward>> to <<collateralPerByte>> and <<pricePerBytePerSecond>> respectively (merged in the meantime to the master) Marcin Czenko 2025-01-24 14:24:41 +01:00
• 9ebd087e90
  mints more tokens so that it can be used with contracts tests in nim-codex Marcin Czenko 2025-01-17 19:51:35 +01:00
• 5f48199dcd
  fix comment Marcin Czenko 2025-01-17 17:23:25 +01:00
• 908e53833e
  formatting Marcin Czenko 2025-01-17 14:57:33 +01:00
• a2b641a3aa
  makes sure that the intended use of the <<currentCollateral>> view function is demonstrated in tests Marcin Czenko 2025-01-17 13:59:51 +01:00
• bc0459784f
  adds collateralPerSlot helper Marcin Czenko 2025-01-17 13:46:34 +01:00
• 8466bce54e
  uses pricePerSlotPerSecond in maxPriceHelper Marcin Czenko 2025-01-17 13:46:12 +01:00
• 312a9cc006
  updates names for price and collateral Marcin Czenko 2025-01-17 13:33:07 +01:00
• b3d2e440f3
  adds public view function returning currentCollateral for the slot Marcin Czenko 2025-01-15 18:46:05 +01:00
• 33f4283da1
  introduces AskHelpers to compute price and collateral per slot Marcin Czenko 2025-01-15 15:00:28 +01:00
• bd427cfd71
  updates tests Marcin Czenko 2025-01-09 15:53:47 +01:00
• 9433e4108e
  collateral => collateralPerByte Marcin Czenko 2025-01-09 14:08:31 +01:00
• b5bbe10af0
  changes reward => pricePerByte Marcin Czenko 2025-01-09 13:53:43 +01:00
• d04acafde2
  Add request validations (#213) Arnaud 2025-01-24 12:49:06 +01:00
• 96a8559582
  Merge branch 'master' into chore/request-storage-input-validation Arnaud 2025-01-24 11:09:32 +01:00
• 5e7eef40d2
  Merge branch 'master' into feat/remove-missing-proof-leniency Arnaud 2025-01-24 11:08:36 +01:00
• 500498f8bc
  Replace assert by revert (#216) Arnaud 2025-01-24 11:07:55 +01:00
• 9996ac3045
  Merge branch 'master' into chore/replace-asserts-with-require Arnaud 2025-01-24 10:15:33 +01:00
• dc47e1d7f4
  Merge branch 'master' into feat/remove-missing-proof-leniency Arnaud 2025-01-24 10:14:52 +01:00
• 93738f2015
  Merge branch 'master' into chore/request-storage-input-validation Arnaud 2025-01-24 10:14:22 +01:00
• 604d4c87eb
  Reject when probability is 0 (#212) Arnaud 2025-01-24 10:13:45 +01:00
• f0b940a152
  Merge branch 'master' into chore/remove-_probabilities Arnaud 2025-01-24 10:11:00 +01:00
• da88e7252c
  Merge branch 'master' into chore/replace-asserts-with-require Arnaud 2025-01-24 09:25:16 +01:00
• db93ff0a62
  Merge branch 'master' into chore/request-storage-input-validation Arnaud 2025-01-24 09:24:36 +01:00
• 2f0e12d6a1
  Merge branch 'master' into chore/proofs-reject-zero-probability Arnaud 2025-01-24 09:23:57 +01:00
• bfa5a78b4f
  Verify than secondsPerPeriod cannot be zero (#211) Arnaud 2025-01-24 09:22:21 +01:00
• 1439553656
  Fix the slot propability calculation test by filling slot only instead of requiring proofs Arnaud 2025-01-24 09:18:26 +01:00
• cf875eb0d7 vault: do not allow flow when lock already expired vault Mark Spanbroek 2025-01-23 15:05:07 +01:00
• 38f3a73c8f vault: reject flow when insufficient tokens available Mark Spanbroek 2025-01-23 14:28:17 +01:00
• d9452a7ac2 vault: stop flowing when lock expires Mark Spanbroek 2025-01-23 10:29:53 +01:00
• b8ba741abc
  test(certora): payout harness test/payout-harness Adam Uhlíř 2025-01-21 17:03:27 +01:00
• d9722d55fd vault: use custom operators to improve readability Mark Spanbroek 2025-01-23 10:19:41 +01:00
• 1df6afb132 vault: move flow accumulation calculation into VaultBase Mark Spanbroek 2025-01-22 16:10:16 +01:00
• 0ccea78369 update prettier-plugin-solidity to 1.4.2 Mark Spanbroek 2025-01-22 16:07:47 +01:00
• b3fbc19bf5 vault: designate tokens that flow Mark Spanbroek 2025-01-22 15:58:34 +01:00
• f59ec3d5e2 vault: flow tokens from one recipient to the other Mark Spanbroek 2025-01-22 15:07:51 +01:00
• 9c6224a370 update solhint to 5.0.5 Mark Spanbroek 2025-01-22 14:51:43 +01:00
• 922121e659 vault: allow recipient to withdraw Mark Spanbroek 2025-01-22 11:32:22 +01:00
• 834255c871 vault: further test for locks Mark Spanbroek 2025-01-21 14:06:59 +01:00
• 572ada3c83 vault: remove duplication in tests Mark Spanbroek 2025-01-21 14:06:01 +01:00
• 9dd5d7bc5f vault: simplify test setup Mark Spanbroek 2025-01-21 14:05:04 +01:00
• bd9d88443c vault: lock is deleted upon withdrawal Mark Spanbroek 2025-01-21 13:37:01 +01:00
• bfd3c43555 vault: lock up tokens until expiry time Mark Spanbroek 2025-01-15 14:51:53 +01:00
• 43f310518f vault: designate tokens for a single recipient Mark Spanbroek 2025-01-15 11:43:18 +01:00
• 2412eb092e vault: transfer tokens from one recipient to the other Mark Spanbroek 2025-01-15 10:08:10 +01:00
• 69b2b4fd90 vault: burning funds Mark Spanbroek 2025-01-14 14:11:53 +01:00
• 7e6bc18b19 vault: change data structure to be recipient oriented Mark Spanbroek 2025-01-14 12:09:48 +01:00
• 5a2e183610 vault: deposit and withdraw Mark Spanbroek 2025-01-13 12:04:03 +01:00
• 44fcab0fc5 update solidity to version 0.8.28 Mark Spanbroek 2025-01-13 11:24:26 +01:00
• 47f414b879
  Merge 968d8467415c350a5719160ad2cf911ab13cac6e into 02e3b8d22b15975fd450ccdad30e32c0be7e593f Adam Uhlíř 2025-01-21 14:03:34 +00:00
• 968d846741
  test(certora): timestamp back with uint64 with require Adam Uhlíř 2025-01-21 15:03:22 +01:00
• 676ee6194e
  test(certora): timestamp with mathint Adam Uhlíř 2025-01-17 15:18:33 +01:00
• 7f4b32c311
  Fix style Arnaud 2025-01-17 14:31:52 +01:00
• 60e217fc68
  Replace assert with revert Arnaud 2025-01-17 14:29:10 +01:00
• 0e9e80c7c4
  Remove the mapping _probabilities Arnaud 2025-01-17 11:25:41 +01:00
• 643c5b2ac3
  test(certora): timestamp conversion revert to assert_uint64 Adam Uhlíř 2025-01-16 17:25:12 +01:00
• d2ce4c90f6
  test(certora): timestamp conversion again Adam Uhlíř 2025-01-16 17:03:15 +01:00
• d99a89718f
  test(certora): timestamp conversion Adam Uhlíř 2025-01-16 14:05:37 +01:00
• 6cec720122
  fix: ends type Adam Uhlíř 2025-01-15 11:02:26 +01:00
• beb594fae1
  chore: more and more fixes for certora spec Adam Uhlíř 2025-01-15 10:58:03 +01:00
• b5be3a37a0
  chore: more fixes for certora spec Adam Uhlíř 2025-01-15 10:30:26 +01:00
• b7b73e8574
  chore: fix certora spec Adam Uhlíř 2025-01-15 08:57:50 +01:00
• cd38843c5f
  chore: fixes Adam Uhlíř 2025-01-13 15:48:35 +01:00
• ff55ea5366
  perf: more optimizations Adam Uhlíř 2025-01-10 09:26:29 +01:00
• 42ae26fae5
  style: formatting Adam Uhlíř 2025-01-10 09:08:12 +01:00
• 8bb3d2a942
  chore: feedback Adam Uhlíř 2025-01-10 08:30:41 +01:00
• 9e96a6eb92
  perf: optimizing parameters sizing Adam Uhlíř 2025-01-08 14:58:51 +01:00
• 8e478b8637
  Apply custom error Arnaud 2025-01-16 15:20:05 +01:00
• b80294a2f1
  Merge branch 'master' into chore/seconds-per-period-can-t-be-zero Arnaud 2025-01-16 15:16:50 +01:00
• 89bd8c412b
  Apply custom error Arnaud 2025-01-16 15:15:46 +01:00
• 4118609b6a
  Merge branch 'master' into chore/proofs-reject-zero-probability Arnaud 2025-01-16 15:12:02 +01:00
• f09f457b8c
  Apply custom errors Arnaud 2025-01-16 15:11:13 +01:00
• afd5e30d26
  Merge branch 'master' into chore/request-storage-input-validation Arnaud 2025-01-16 15:06:23 +01:00