Sep 22, 9-10 PM (10)
Sep 22, 10-11 PM (20)
Sep 22, 11-12 AM (8)
Sep 23, 12-1 AM (3)
Sep 23, 1-2 AM (4)
Sep 23, 2-3 AM (1)
Sep 23, 3-4 AM (7)
Sep 23, 4-5 AM (5)
Sep 23, 5-6 AM (3)
Sep 23, 6-7 AM (2)
Sep 23, 7-8 AM (3)
Sep 23, 8-9 AM (2)
Sep 23, 9-10 AM (3)
Sep 23, 10-11 AM (2)
Sep 23, 11-12 PM (21)
Sep 23, 12-1 PM (2)
Sep 23, 1-2 PM (33)
Sep 23, 2-3 PM (26)
Sep 23, 3-4 PM (2)
Sep 23, 4-5 PM (4)
Sep 23, 5-6 PM (14)
Sep 23, 6-7 PM (2)
Sep 23, 7-8 PM (3)
Sep 23, 8-9 PM (2)
Sep 23, 9-10 PM (3)
Sep 23, 10-11 PM (17)
Sep 23, 11-12 AM (38)
Sep 24, 12-1 AM (3)
Sep 24, 1-2 AM (16)
Sep 24, 2-3 AM (0)
Sep 24, 3-4 AM (3)
Sep 24, 4-5 AM (1)
Sep 24, 5-6 AM (3)
Sep 24, 6-7 AM (2)
Sep 24, 7-8 AM (2)
Sep 24, 8-9 AM (2)
Sep 24, 9-10 AM (1)
Sep 24, 10-11 AM (3)
Sep 24, 11-12 PM (1)
Sep 24, 12-1 PM (6)
Sep 24, 1-2 PM (6)
Sep 24, 2-3 PM (2)
Sep 24, 3-4 PM (1)
Sep 24, 4-5 PM (5)
Sep 24, 5-6 PM (7)
Sep 24, 6-7 PM (4)
Sep 24, 7-8 PM (9)
Sep 24, 8-9 PM (5)
Sep 24, 9-10 PM (2)
Sep 24, 10-11 PM (15)
Sep 24, 11-12 AM (7)
Sep 25, 12-1 AM (3)
Sep 25, 1-2 AM (3)
Sep 25, 2-3 AM (3)
Sep 25, 3-4 AM (6)
Sep 25, 4-5 AM (6)
Sep 25, 5-6 AM (6)
Sep 25, 6-7 AM (29)
Sep 25, 7-8 AM (66)
Sep 25, 8-9 AM (49)
Sep 25, 9-10 AM (70)
Sep 25, 10-11 AM (51)
Sep 25, 11-12 PM (56)
Sep 25, 12-1 PM (95)
Sep 25, 1-2 PM (53)
Sep 25, 2-3 PM (73)
Sep 25, 3-4 PM (30)
Sep 25, 4-5 PM (44)
Sep 25, 5-6 PM (55)
Sep 25, 6-7 PM (87)
Sep 25, 7-8 PM (32)
Sep 25, 8-9 PM (5)
Sep 25, 9-10 PM (9)
Sep 25, 10-11 PM (15)
Sep 25, 11-12 AM (17)
Sep 26, 12-1 AM (22)
Sep 26, 1-2 AM (3)
Sep 26, 2-3 AM (3)
Sep 26, 3-4 AM (16)
Sep 26, 4-5 AM (6)
Sep 26, 5-6 AM (17)
Sep 26, 6-7 AM (16)
Sep 26, 7-8 AM (59)
Sep 26, 8-9 AM (172)
Sep 26, 9-10 AM (52)
Sep 26, 10-11 AM (63)
Sep 26, 11-12 PM (62)
Sep 26, 12-1 PM (41)
Sep 26, 1-2 PM (60)
Sep 26, 2-3 PM (41)
Sep 26, 3-4 PM (42)
Sep 26, 4-5 PM (44)
Sep 26, 5-6 PM (29)
Sep 26, 6-7 PM (36)
Sep 26, 7-8 PM (22)
Sep 26, 8-9 PM (20)
Sep 26, 9-10 PM (8)
Sep 26, 10-11 PM (16)
Sep 26, 11-12 AM (7)
Sep 27, 12-1 AM (6)
Sep 27, 1-2 AM (1)
Sep 27, 2-3 AM (0)
Sep 27, 3-4 AM (4)
Sep 27, 4-5 AM (4)
Sep 27, 5-6 AM (5)
Sep 27, 6-7 AM (52)
Sep 27, 7-8 AM (28)
Sep 27, 8-9 AM (71)
Sep 27, 9-10 AM (71)
Sep 27, 10-11 AM (27)
Sep 27, 11-12 PM (88)
Sep 27, 12-1 PM (90)
Sep 27, 1-2 PM (90)
Sep 27, 2-3 PM (106)
Sep 27, 3-4 PM (51)
Sep 27, 4-5 PM (27)
Sep 27, 5-6 PM (16)
Sep 27, 6-7 PM (42)
Sep 27, 7-8 PM (65)
Sep 27, 8-9 PM (19)
Sep 27, 9-10 PM (28)
Sep 27, 10-11 PM (45)
Sep 27, 11-12 AM (28)
Sep 28, 12-1 AM (5)
Sep 28, 1-2 AM (2)
Sep 28, 2-3 AM (5)
Sep 28, 3-4 AM (20)
Sep 28, 4-5 AM (9)
Sep 28, 5-6 AM (16)
Sep 28, 6-7 AM (17)
Sep 28, 7-8 AM (39)
Sep 28, 8-9 AM (76)
Sep 28, 9-10 AM (62)
Sep 28, 10-11 AM (44)
Sep 28, 11-12 PM (70)
Sep 28, 12-1 PM (76)
Sep 28, 1-2 PM (43)
Sep 28, 2-3 PM (41)
Sep 28, 3-4 PM (36)
Sep 28, 4-5 PM (28)
Sep 28, 5-6 PM (9)
Sep 28, 6-7 PM (11)
Sep 28, 7-8 PM (14)
Sep 28, 8-9 PM (6)
Sep 28, 9-10 PM (35)
Sep 28, 10-11 PM (34)
Sep 28, 11-12 AM (21)
Sep 29, 12-1 AM (13)
Sep 29, 1-2 AM (9)
Sep 29, 2-3 AM (6)
Sep 29, 3-4 AM (9)
Sep 29, 4-5 AM (4)
Sep 29, 5-6 AM (12)
Sep 29, 6-7 AM (32)
Sep 29, 7-8 AM (39)
Sep 29, 8-9 AM (92)
Sep 29, 9-10 AM (43)
Sep 29, 10-11 AM (38)
Sep 29, 11-12 PM (52)
Sep 29, 12-1 PM (133)
Sep 29, 1-2 PM (53)
Sep 29, 2-3 PM (55)
Sep 29, 3-4 PM (25)
Sep 29, 4-5 PM (32)
Sep 29, 5-6 PM (57)
Sep 29, 6-7 PM (16)
Sep 29, 7-8 PM (9)
Sep 29, 8-9 PM (13)
Sep 29, 9-10 PM (0)
4,485 commits this week
Sep 22, 2023
-
Sep 29, 2023
fix: Typhon Wallet workaround
Add placeholders for new terms in optimize
Update tests to check optimization is applied properly
fix: optmizer should never inline recursive functions
chore: some renames
optimization: increase the cases that inline_basic_reduce can handle
feat: store link secret
Signed-off-by: Bassam Riman <[email protected]>
feat(docs): Add generalized documentation Earthly commands and builders (#11)
Merge branch 'master' into jj/protver-field
feat: KID4 fixes.
Create 73c24eed1d3db827f3b7a9f94c1d8f75a4074646c81b631a78cfd2b154504758.json
skeleton of point consistency check; undefined error thrown till new variant created
Update 73c24eed1d3db827f3b7a9f94c1d8f75a4074646c81b631a78cfd2b154504758.json
change logo
inline is actually cheaper in a lot of cases
Update 73c24eed1d3db827f3b7a9f94c1d8f75a4074646c81b631a78cfd2b154504758.json
imp: update the sanchonet useLedgerAfterSlot
fix: optmizer should never inline recursive functions
chore: some renames
Fix: Disable ouroboros-network-framework haddock
Haddock won't build this with ghc < 9.
wip Split types/interfaces from guards in language-core-v1
Delete mappings/73c24eed1d3db827f3b7a9f94c1d8f75a4074646c81b631a78cfd2b154504758.json
deploy: 013800033be8826a55ce43235fc5616a410ae255
deploy: f6ad39556a007700647ab75a1c721dc19b14eca9