status-im
/
dagger-contracts
mirror of https://github.com/status-im/dagger-contracts.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Commit Graph

  • db80a31143
         Merge 49f4b5aeb6 into dfab6102e7 Eric 2024-12-12 21:16:54 +0100
  • dfab6102e7
         feat: repair reward (#193) master Adam Uhlíř 2024-12-12 18:39:42 +0100
  • f1d3b98b34
         test(certora): functionsCausingSlotStateChanges tweak for repair again Adam Uhlíř 2024-12-09 17:26:33 +0100
  • d94b36b419
         test(certora): functionsCausingSlotStateChanges tweak for repair Adam Uhlíř 2024-12-09 16:57:49 +0100
  • a8d39d9340
         fix: do not delete slot but reset its properties Adam Uhlíř 2024-12-05 15:20:12 +0100
  • 5d315f9776
         test(verifier): repair state can go to filled again Adam Uhlíř 2024-12-05 14:53:17 +0100
  • 7855c5736b
         test(verifier): repair state can go to filled Adam Uhlíř 2024-12-04 17:10:48 +0100
  • aee48b04ef
         fix: allow start of request only for new one Adam Uhlíř 2024-12-03 15:40:52 +0100
  • 824f2baec9
         feat: repair reward Adam Uhlíř 2024-10-11 09:14:00 +0200
  • 06f9f56cd2
         ci: tweaks run triggers and checkout hash (#205) Adam Uhlíř 2024-12-05 11:10:29 +0100
  • d60aa3ab42
         ci: tweaks run triggers and checkout hash Adam Uhlíř 2024-12-04 17:18:51 +0100
  • b181639bb6
         Add codex_testnet deployment artifacts (#204) Slava 2024-11-26 11:43:22 +0200
  • 50b159810b
         Add codex_testnet deployment artifacts Slava 2024-11-26 06:05:13 +0200
  • 49f4b5aeb6
         formatting fix/configuration-shadowed-warning Eric 2024-11-26 14:54:52 +1100
  • 5e334eee4e
         change constructor param to config Eric 2024-11-26 13:49:45 +1100
  • c970c632b8
         Add codex_testnet deployment artifacts (#199) Slava 2024-11-25 20:27:00 +0200
  • d51076fe3d
         Merge branch 'master' into feat/deploy-smart-contracts-for-codex_testnet Slava 2024-11-25 19:38:44 +0200
  • 945f6008c8 Increase proof period to 90 seconds on hardhat network Mark Spanbroek 2024-11-14 13:28:14 +0100
  • c4ec37461a Increase proof period to 90 seconds on hardhat network Mark Spanbroek 2024-11-14 13:28:14 +0100
  • cc69f3a3ae Add workaround for websocket subscription issues workaround-websocket-subscriptions Mark Spanbroek 2024-11-08 16:00:49 +0100
  • 11ccefd720 Different configurations for different networks Mark Spanbroek 2024-11-07 15:27:22 +0100
  • 37122703d6 Different configurations for different networks Mark Spanbroek 2024-11-07 15:27:22 +0100
  • bacdc8a65c
         Add codex_testnet deployment artifacts Slava 2024-11-03 09:36:14 +0200
  • 1ce3d10fa2
         fix(slot-reservations): ensure slot is free (#196) Eric 2024-10-30 15:48:37 +1100
  • a74df0cd48
         fix(slot-reservations): ensure slot is free Eric 2024-10-17 18:15:33 +1100
  • 7645df19ab
         renames config to configuration (#198) Eric 2024-10-29 19:02:42 +1100
  • 0586425980
         renames config to configuration Eric 2024-10-28 17:27:35 +1100
  • 0b39274ed5 refactor(certora): extract `allowedRequestStateChanges` rule into own file r4bbit 2024-10-15 12:12:59 +0200
  • 285eee253f
         refactor(certora): extract `allowedRequestStateChanges` rule into own file r4bbit 2024-10-15 12:12:59 +0200
  • 85d70ba96e
         chore(ci): update certora-cli version certora-totalsent-le-totalreceived r4bbit 2024-10-21 12:25:42 +0200
  • b413d776cc
         chore(certora): add invariant that totalSent is <= totalReceived r4bbit 2024-08-09 09:58:39 +0200
  • c3e4fdd321
         Add codex_testnet deployment artifacts (#197) Slava 2024-10-21 11:00:46 +0300
  • ad2688d05b
         Add codex_testnet deployment artifacts Slava 2024-10-21 10:37:31 +0300
  • 2a1bef5255 chore(certora): verify slots transitions and that a slot can be paid only once Andrea Franz 2024-10-04 11:38:25 +0200
  • 777dc484a0
         chore(certora): verify slots transitions and that a slot can be paid only once Andrea Franz 2024-10-04 11:38:25 +0200
  • c3cc2cda7d
         update Certora spec feat/require-proof-to-free-slot Eric 2024-10-09 16:24:23 +1100
  • 997696a20e
         Add codex_testnet deployment artifacts (#190) Slava 2024-10-08 15:27:06 +0300
  • 952767c056
         feat: require proof for freeSlot Eric 2024-10-08 20:39:19 +1100
  • ad18ea049d
         Add codex_testnet deployment artifacts Slava 2024-10-08 11:15:09 +0300
  • 7e6187d4b1
         feat: hosts payed by actual time hosting a slot (#160) Adam Uhlíř 2024-10-08 09:38:19 +0200
  • 08aa1c291a
         fix(certora): fix failing rule that cancelled requests stay cancelled (#189) r4bbit 2024-10-07 21:42:37 +0200
  • 9cdf34dc9e
         chore: feedback implementation Adam Uhlíř 2024-10-07 13:02:31 +0200
  • c51421ff45
         test: implementing feedback for tests Adam Uhlíř 2024-10-03 12:02:42 +0200
  • 50305ee19e
         style: formatting Adam Uhlíř 2024-08-21 09:08:17 +0200
  • 1a10479745
         test: fixes rebase Adam Uhlíř 2024-08-20 13:16:17 +0200
  • f061986423
         test: fixes states changes Adam Uhlíř 2024-08-20 11:34:51 +0200
  • 8f73b0db07
         chore: tweaks Adam Uhlíř 2024-08-20 11:06:48 +0200
  • 4a7bf8e5c0
         chore: wording feedback Adam Uhlíř 2024-08-20 10:55:34 +0200
  • 363c6651d7
         feat: hosts payed by actual time hosting a slot Adam Uhlíř 2024-08-19 23:14:48 +0200
  • f5a54c7ed4
         feat(slot-reservations): require slots to be reserved before filling slot (#185) Eric 2024-10-08 15:55:17 +1100
  • be25944f56
         fix(certora): fix failing rule that cancelled requests stay cancelled r4bbit 2024-10-07 13:06:27 +0200
  • 2ee0803687
         chore: feedback implementation Adam Uhlíř 2024-10-07 13:02:31 +0200
  • d785817246
         test: implementing feedback for tests Adam Uhlíř 2024-10-03 12:02:42 +0200
  • 5b5c2e6698
         style: formatting Adam Uhlíř 2024-08-21 09:08:17 +0200
  • 18ad67253f
         test: fixes rebase Adam Uhlíř 2024-08-20 13:16:17 +0200
  • 7f956f815c
         test: fixes states changes Adam Uhlíř 2024-08-20 11:34:51 +0200
  • 97c2ce2f81
         chore: tweaks Adam Uhlíř 2024-08-20 11:06:48 +0200
  • 7c3648c170
         chore: wording feedback Adam Uhlíř 2024-08-20 10:55:34 +0200
  • 0f40d23ecf
         feat: hosts payed by actual time hosting a slot Adam Uhlíř 2024-08-19 23:14:48 +0200
  • 3d4ea97b1d
         Add test that checks filling slot fails without reservation Eric 2024-10-04 13:35:13 +1000
  • a4c39f6959
         Require slots to be reserved before filling slot Eric 2024-10-03 12:46:36 +1000
  • 807fc973c8
         feat(slot-reservations): Add `SlotReservationsFull` event (#183) Eric 2024-10-04 13:28:39 +1000
  • 65eb31fdb1
         Align params after rebase Eric 2024-09-26 17:05:26 +1000
  • 385bc5571a
         change SlotReservationsFull emission params Eric 2024-09-26 16:51:12 +1000
  • c4918fc2de
         Add SlotReservationsFull event Eric 2024-09-26 14:31:27 +1000
  • 33010bd20c
         feat(slot-reservations): Allow slots to be reserved (#177) Eric 2024-10-03 11:01:21 +1000
  • 7001e9ae94
         Move `_MAX_RESERVATIONS` to config Eric 2024-09-26 17:02:10 +1000
  • e5ef28f0f0
         Change canReserveSlot and reserveSlot parameters Eric 2024-09-26 16:43:09 +1000
  • d49b9a3af5
         Remove return value for `reserveSlot` Eric 2024-09-19 14:25:41 +1000
  • 6041c2fe11
         uses msg.sender for slot reservation address Eric 2024-09-18 20:22:17 +1000
  • dcea9599fd
         feat(slot-reservations): Allow slots to be reserved Eric 2024-09-18 19:34:43 +1000
  • 3a074abd20 chore(certora): verify possible slot state transitions 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
  • 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
  • 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