Default Branch

924d192de1 · ci: update actions to the latest major versions (#120) · Updated 2024-06-14 11:53:18 +00:00

Branches

fa626d741b · Add deployed Marketplace smart contract (#119) · Updated 2024-06-13 19:20:28 +00:00

1
3

f2d2d7d502 · docs: proofs comments · Updated 2024-06-12 13:40:46 +00:00

1
1

f9a9fe9024 · Remove vscode settings files · Updated 2024-03-27 01:55:40 +00:00

2
2

1da7ae190a · clean up · Updated 2023-09-13 00:03:31 +00:00

90
2

9e95b28be5 · chore: bump dependencies · Updated 2023-08-09 13:16:55 +00:00

93
3

d6fbfdc5d8 · Bump node to the latest LTS - 18.17.0 · Updated 2023-08-08 10:04:35 +00:00

93
2

df219c85d7 · copy slotIndex before delete for emit · Updated 2023-06-21 07:54:41 +00:00

114
3

e96d2b244b · clean up · Updated 2023-06-13 07:16:12 +00:00

120
2

3a900ca247 · chore: bump solidity · Updated 2023-04-27 13:12:45 +00:00

116
2

fb76f7d0b2 · retreive active slot for sales state restoration · Updated 2023-03-30 01:36:19 +00:00

122
1

974e5470b5 · fix test · Updated 2023-02-13 06:45:47 +00:00

122
3

5f1da8c59a · [build] Allow model checking with solidity compiler · Updated 2023-01-25 11:00:19 +00:00

127
1

6181d31e42 · change the maxSlotLoss in gas limits test to 0 · Updated 2022-12-14 06:26:28 +00:00

216
33

fb47176450 · [marketplace] formatting · Updated 2022-10-26 08:58:29 +00:00

217
0
Included

c14de10672 · WIP: fix proof expected result · Updated 2022-06-15 07:38:08 +00:00

277
15

5152734897 · [wip] script and config for deployment on a test network · Updated 2022-04-24 07:10:40 +00:00

277
1