Commit Graph

Select branches

Hide Pull Requests

certora-totalsent-le-totalreceived

chore/add-graph-file

chore/adjust-hardhat-timeout

chore/document-increaseAllowance-use

chore/move-circuit-files

chore/sepolia-deployment

chore/update-deps

contract-balance-spec

failed-state-transitions

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

feat/add-slots-subsets

feat/decrease-period-for-proofs-on-new-thread

feat/emit-request-queue-item-params

feat/etherscan-verification

feat/increase-period-for-windows-ci

feat/protocol-burn-fee

feat/require-proof-to-free-slot

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

feat/upgradable-contract

feat/verify-proof

fix/transfer-from-error-handling

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

vault-integration

vault-integration-merge-certora

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

#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

#204

#205

#206

#207

#208

#209

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#223

#223

#226

#227

#228

#228

#229

#23

#231

#234

#235

#236

#237

#238

#24

#241

#242

#242

#243

#244

#245

#246

#247

#248

#248

#249

#25

#250

#251

#252

#253

#253

#254

#255

#255

#256

#257

#257

#258

#258

#259

#26

#260

#261

#262

#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

#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

#99

Mono Color

• e159ceee44
  Rename Codex to Logos Storage (#262) master Arnaud 2025-12-16 07:19:52 +01:00
• c266f65ff1
  Rename Codex to Logos Storage Arnaud 2025-12-15 13:33:44 +01:00
• 8a7cb119ca
  Merge 64174d8ce666e33d21e17acea76b2b66e0f1b6c8 into da1400ce9a65c3695d7847f7ca8e3386a5a189c8 Adam Uhlíř 2025-08-27 04:57:16 +10:00
• da1400ce9a
  Adds env-var configurable configuration (#261) Ben Bierens 2025-08-25 11:08:06 +02:00
• 99f8798ad1
  Adds env-var configurable configuration Ben 2025-08-25 10:55:44 +02:00
• 92b796f537
  fix(tests): maximum gas deviation for reserveSlot (#250) markspanbroek 2025-08-13 16:36:57 +02:00
• ae13351dfa
  fix: hardhat ignition support Adam Uhlíř 2025-08-13 16:33:07 +02:00
• 3ce91a51ab
  fix(tests): maximum gas deviation for reserveSlot Mark Spanbroek 2025-06-17 14:42:19 +02:00
• 78334edccf
  feat(tests): calculate maximum deviation for gas estimates Mark Spanbroek 2025-06-16 15:18:49 +02:00
• 7f844817ab
  chore(tests): remove unnecessary async Mark Spanbroek 2025-06-16 15:17:14 +02:00
• 5fb0bf94a1
  Merge a7d0332a584653a516fce240008cf5c9c9f0dc52 into b5ab3869b949f651a3ed9aeb914feed7bd0dfd47 Aleksander Kryukov 2025-08-01 16:36:15 +00:00
• a7d0332a58 Another mutation: freezeFunds when already withdrawing Jochen Hoenicke 2025-08-01 18:30:26 +02:00
• 7c2e9e68fc Fix compile problem in one mutation Jochen Hoenicke 2025-08-01 18:14:20 +02:00
• 4dff946866 New mutation for extendLock Jochen Hoenicke 2025-08-01 18:10:33 +02:00
• ff6b69caed Added mutations to config file Jochen Hoenicke 2025-08-01 17:33:35 +02:00
• 6c96ce84de add the rest mutations zanderbyte-certora 2025-07-31 11:07:39 +03:00
• 2220c6659b next period logic bug zanderbyte-certora 2025-07-30 13:10:03 +03:00
• 8cdf17987a remove holder restriction zanderbyte-certora 2025-07-30 13:08:08 +03:00
• e21324f3ff add modifier bypass mutations zanderbyte-certora 2025-07-30 12:03:51 +03:00
• a3992bc0c0 add encoding and calculation mutations zanderbyte-certora 2025-07-30 11:52:01 +03:00
• d2ca1ae5b1 add more mutations zanderbyte-certora 2025-07-29 20:09:27 +03:00
• a63fcd9b56 Add mutation 001: accumulateFlows off-by-one zanderbyte-certora 2025-07-29 10:48:59 +03:00
• a86575b262
  ci: add a way to pass contracts repository ref (#260) Slava 2025-07-28 13:47:50 +03:00
• 8835697e7b
  ci: add a way to pass contracts repository ref Slava 2025-07-23 17:03:11 +03:00
• c6b4e5e5b5 Added a README file Jochen Hoenicke 2025-07-18 17:29:38 +02:00
• dee68bd53b Added multi_assert_check to avoid timeout Jochen Hoenicke 2025-07-18 15:50:00 +02:00
• 191b9b65b7 Minor comment changes Jochen Hoenicke 2025-07-17 12:57:53 +02:00
• 0f09197806 Fix rules and clean ups. Jochen Hoenicke 2025-07-14 18:21:19 +02:00
• d99499b1cf check in the latest code Aleksander Kryukov 2025-06-30 23:59:10 +01:00
• 2e675d31ed flowEnd as definition Aleksander Kryukov 2025-06-13 17:24:45 +01:00
• 7ca5c8eb77 updated solvency for review Aleksander Kryukov 2025-06-13 15:50:05 +01:00
• a217a0476d hook check in Aleksander Kryukov 2025-06-12 15:09:33 +01:00
• 3350ab70dc finished Codex's invariants and more spec cleaning Aleksander Kryukov 2025-06-02 16:42:31 +01:00
• 965ae4df1e spec cleaning Aleksander Kryukov 2025-06-02 10:31:23 +01:00
• 17ebb6909d tmp save Aleksander Kryukov 2025-05-30 00:32:25 +01:00
• 3b5bd3d4fc bug finding invariants Aleksander Kryukov 2025-04-29 11:57:37 +01:00
• 2a46f53a0c started implementing solvency Aleksander Kryukov 2025-04-16 23:21:47 +01:00
• 980ca16766 adding CVLStatus to use in quantifiers Aleksander Kryukov 2025-04-16 23:09:30 +01:00
• 6aed0bb07a attempt to use sum ghost Aleksander Kryukov 2025-04-09 00:29:56 +01:00
• 2f458d90ce try to hook on _funds. fixed required Aleksander Kryukov 2025-04-06 00:39:55 +01:00
• e22799e1f8
  ci: devnet contracts deployment (#259) Slava 2025-07-16 07:36:34 +03:00
• cab1797e5d
  ci: devnet contracts deployment Slava 2025-07-15 20:04:08 +03:00
• 3824afec48
  Merge d6cf524255338ad34d7dad280e8fdb41654d1f8d into 64174d8ce666e33d21e17acea76b2b66e0f1b6c8 Adam Uhlíř 2025-07-01 15:50:03 +02:00
• d6cf524255
  feat: etherscan verification feat/etherscan-verification Adam Uhlíř 2025-07-01 15:48:54 +02:00
• 0d73a0acf7
  Merge 9967bc89e8a66372a37fd33683874b88a990ee81 into 64174d8ce666e33d21e17acea76b2b66e0f1b6c8 Adam Uhlíř 2025-07-01 14:42:57 +02:00
• 64174d8ce6
  docs: safe multisig upgrade documentation feat/upgradable-contract Adam Uhlíř 2025-07-01 14:40:59 +02:00
• 9967bc89e8
  chore: sepolia deployment chore/sepolia-deployment Adam Uhlíř 2025-07-01 12:19:51 +02:00
• 03b5227356
  test: upgrade tests Adam Uhlíř 2025-06-26 09:59:05 +02:00
• 5717ff0713
  docs: upgrade documentation and tweaks Adam Uhlíř 2025-06-26 09:58:38 +02:00
• 17cb41726b
  feat: upgradable Marketplace contract Adam Uhlíř 2025-06-19 13:04:24 +02:00
• cd6a78e548
  reduce proof period feat/decrease-period-for-proofs-on-new-thread Eric 2025-06-26 15:59:02 +10:00
• a179deb2f9
  chore: deploy smart contracts for Devnet on Status L2 Tetsnet (#256) Slava 2025-06-24 14:41:36 +03:00
• 4a6c0276e0
  chore: deploy smart contracts for Devnet on Status L2 Tetsnet Slava 2025-06-24 12:31:18 +03:00
• dee3d7b654
  feat: move to hardhat ignition for deployments (#231) Arnaud 2025-06-20 16:05:57 +02:00
• 5a74b83c4c
  Merge b5ab3869b949f651a3ed9aeb914feed7bd0dfd47 into 2dddc260152b6e9c24ae372397f9b9b2d27ce8e4 markspanbroek 2025-06-20 08:31:27 +02:00
• 836ba52e07
  Remove deployments files from linea and testnet and update the last commit hashes to those artifacts Arnaud 2025-06-20 08:30:15 +02:00
• c22b6e0481
  Update commit for last testnet artifacts Arnaud 2025-06-20 06:26:44 +02:00
• 4b0fbcc8e7
  Remove default deployer Arnaud 2025-06-20 06:16:07 +02:00
• d46d975424
  Update dependencies Arnaud 2025-06-19 17:09:30 +02:00
• 8a863b7694
  Npm audit fix Arnaud 2025-06-12 11:37:36 +02:00
• 9650566134
  fix md format Arnaud 2025-06-05 10:20:00 +02:00
• a6786413e4
  Remove HARDHAT_NETWORK and update documentation Arnaud 2025-06-05 10:19:00 +02:00
• b40b111636
  Update testnet artifact reference Arnaud 2025-06-03 09:46:03 +02:00
• 1672bd6eee
  Add log when reusing token address Arnaud 2025-05-29 15:38:57 +02:00
• 9d57e3b22c
  Fix typo in documentation Arnaud 2025-05-23 11:27:20 +02:00
• 04ee629017
  Remove previous deployment scripts Arnaud 2025-05-23 11:24:47 +02:00
• e4ae6f0012
  Set mine script for localhost deployment only and add deploy reset command Arnaud 2025-05-23 11:22:57 +02:00
• af3338e754
  Ignore localhost deployments in git Arnaud 2025-05-23 11:21:20 +02:00
• 02a5e032b0
  Add section in README for deployments Arnaud 2025-05-23 11:20:54 +02:00
• 442340a0e5
  Remove localhost deployment artifacts Arnaud 2025-05-23 11:04:10 +02:00
• ba0882077c
  Fix token deployment with contractAt Arnaud 2025-05-23 08:57:20 +02:00
• 7cf952c63b
  Add TOKEN_ADDRESS to reuse the token contract deployed Arnaud 2025-05-22 19:52:41 +02:00
• 70433f1bde
  Add testnet deployment addresses Arnaud 2025-05-22 19:25:06 +02:00
• 36a5d02fee
  Add guard to check that configs has tags Arnaud 2025-05-22 17:39:01 +02:00
• 28cf61f45e
  Use HARDHAT_NETWORK env variable to deploy marketplace contract Arnaud 2025-05-22 17:38:13 +02:00
• a11f756f1a
  Fix build-info ignore Arnaud 2025-05-22 17:36:35 +02:00
• b5368a1286
  Add deployments artifacts Arnaud 2025-05-22 11:20:28 +02:00
• 2e8efb05ab
  Apply prettier formatting and bug test with ignition syntax Arnaud 2025-05-19 16:17:14 +02:00
• 8aeaf52ff1
  Set hardhat gas limit to auto and restore manual mining for Vault tests Arnaud 2025-05-19 15:55:00 +02:00
• cbe1992a25
  Put back the comment related to hardhat automine Arnaud 2025-05-19 11:44:21 +02:00
• 184355e338
  Remove deployments folder and add README for previous files references Arnaud 2025-05-19 09:18:56 +02:00
• 6d732b7e6c
  Fix formatting Arnaud 2025-05-16 20:55:50 +02:00
• 3e34117422
  Remove old .tool-versions Arnaud 2025-05-16 20:52:25 +02:00
• 959364a385
  Add vault ignition module Arnaud 2025-05-16 20:48:31 +02:00
• 4690c6373a
  Update token description Arnaud 2025-05-16 20:46:23 +02:00
• 0807f7d52c
  Update Vault tests for ignition Arnaud 2025-05-16 20:37:20 +02:00
• 110ac8197a
  Update dependencies Arnaud 2025-05-16 20:36:38 +02:00
• d3207ed068
  Remove conditional allowBlocksWithSameTimestamp, set true everytime Arnaud 2025-04-18 09:28:38 +02:00
• 3614bfe7ed
  Add process names when running concurrently Arnaud 2025-04-17 16:07:30 +02:00
• ca9d8bb31e
  Remove old deployments folder Arnaud 2025-04-15 15:40:17 +02:00
• 5d632cd070
  Refactoring Arnaud 2025-04-15 15:38:33 +02:00
• f2757067f6
  Export contract deployment custom error assert into a function Arnaud 2025-04-15 15:37:23 +02:00
• ec47be2685
  Remove unused function Arnaud 2025-04-15 15:30:14 +02:00
• fc2c710377
  Fix deployment modules for local env Arnaud 2025-04-15 15:28:48 +02:00
• f5b9ded909
  Update dependencies and use extract mining to a script in order to use hardhat ignition deploy command Arnaud 2025-04-15 15:28:17 +02:00
• eb6cbfc86d
  Use contract initial balance instead of const value Arnaud 2025-04-15 15:26:41 +02:00
• 8f25aafc6b
  Add localhost configuration for hardhat ignition Arnaud 2025-04-15 15:25:40 +02:00
• 784fa5584f
  Remove useless comment Arnaud 2025-04-11 14:35:09 +02:00
• 6994dea0e5
  Remove npx call in package.json Arnaud 2025-04-10 09:24:35 +02:00
• 74411ebf7c
  Remove comment Arnaud 2025-04-10 09:24:08 +02:00