quickcheck-contractmodel 0.1.5.0 (#504) * Added quickcheck-threatmodel-1.1.0 Fr… - input-output-hk/cardano-haskell-package-repo@950962bc

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 (14)

Sep 29, 9-10 PM (0)

4,482 commits this week Sep 22, 2023 - Sep 29, 2023

matiwinnetou · Fri, 29 Sep 23 21:56:56 +0000 · cip30-data-signature-parser

fix: Typhon Wallet workaround

3bbbe31d · typhon-wallet-issues · 2/73 ++ 39 --

matiwinnetou · Fri, 29 Sep 23 21:52:52 +0000 · cip8-java

fix: Typhon Wallet workaround

38ca4b65 · typhon-wallet-issues · 2/73 ++ 39 --

MicroProofs · Fri, 29 Sep 23 21:47:39 +0000 · aiken

inline is actually cheaper in a lot of cases

fb2ca0e3 · main · 1/1 ++ 21 --

MicroProofs · Fri, 29 Sep 23 21:47:39 +0000 · aiken

Add placeholders for new terms in optimize

Update tests to check optimization is applied properly

335560b8 · main · 2/38 ++ 23 --

MicroProofs · Fri, 29 Sep 23 21:47:39 +0000 · aiken

fix: optmizer should never inline recursive functions

chore: some renames

a2068ff0 · main · 2/139 ++ 116 --

MicroProofs · Fri, 29 Sep 23 21:47:39 +0000 · aiken

chore: fix blueprint validator tests

83f0dd2c · main · 1/6 ++ 6 --

MicroProofs · Fri, 29 Sep 23 21:47:39 +0000 · aiken

optimization: increase the cases that inline_basic_reduce can handle

5e2a7817 · main · 2/22 ++ 4 --

CryptoKnightIOG · Fri, 29 Sep 23 21:47:33 +0000 · atala-prism-building-blocks

feat: store link secret

Signed-off-by: Bassam Riman <[email protected]>

70a5f9e8 · feat/link-secret-storage · 10/128 ++ 11 --

stevenj · Fri, 29 Sep 23 21:38:11 +0000 · catalyst-ci

feat(docs): Add generalized documentation Earthly commands and builders (#11)

76b09e00 · master · 23/2,315 ++ 1 --

lehins · Fri, 29 Sep 23 21:21:08 +0000 · cardano-ledger-specs

Merge branch 'master' into jj/protver-field

2588ec75 · jj/protver-field · 29/307 ++ 240 --

matiwinnetou · Fri, 29 Sep 23 21:20:37 +0000 · cip30-data-signature-parser

feat: KID4 fixes.

364551d1 · typhon-wallet-issues · 2/77 ++ 39 --

MicroProofs · Fri, 29 Sep 23 21:20:12 +0000 · aiken

chore: fix blueprint validator tests

1457b45a · pull/746/head · 1/6 ++ 6 --

mondonet · Fri, 29 Sep 23 21:14:15 +0000 · cardano-token-registry

Create 73c24eed1d3db827f3b7a9f94c1d8f75a4074646c81b631a78cfd2b154504758.json

847c5b2c · pull/3542/head · 1/64 ++ 0 --

IsabelSchoepd · Fri, 29 Sep 23 21:08:47 +0000 · CIPs

IsabelSchoeps

1bf9fe3b · pull/598/head · 2/1 ++ 455 --

brendanrbrown · Fri, 29 Sep 23 20:54:33 +0000 · marconi

skeleton of point consistency check; undefined error thrown till new variant created

8d3b0166 · PLT-7739-add-missing-parameters-to-mint-burn-indexer · 1/10 ++ 0 --

mondonet · Fri, 29 Sep 23 20:39:30 +0000 · cardano-token-registry

Update 73c24eed1d3db827f3b7a9f94c1d8f75a4074646c81b631a78cfd2b154504758.json

change logo

06d20239 · pull/3541/head · 1/2 ++ 2 --

cardano-bot · Fri, 29 Sep 23 20:34:25 +0000 · pool_groups

Scheduled update

ce4ad6fe · main · 1/2 ++ 2 --

MicroProofs · Fri, 29 Sep 23 20:31:28 +0000 · aiken

inline is actually cheaper in a lot of cases

1fcf61c8 · optimization-branch · 1/1 ++ 21 --

mondonet · Fri, 29 Sep 23 20:11:53 +0000 · cardano-token-registry

Update 73c24eed1d3db827f3b7a9f94c1d8f75a4074646c81b631a78cfd2b154504758.json

775bda5a · pull/3540/head · 1/2 ++ 2 --

johnalotoski · Fri, 29 Sep 23 20:11:46 +0000 · cardano-world

imp: update the sanchonet useLedgerAfterSlot

3edafb9e · sanchonet-updated · 1/1 ++ 1 --

MicroProofs · Fri, 29 Sep 23 20:11:29 +0000 · aiken

fix: optmizer should never inline recursive functions

chore: some renames

c6cd45f7 · optimization-branch · 2/139 ++ 116 --

sgillespie · Fri, 29 Sep 23 20:04:39 +0000 · cardano-db-sync

Fix: Disable ouroboros-network-framework haddock

Haddock won't build this with ghc < 9.

36745bca · kderme/update-deps-8.4-pre · 1/1 ++ 0 --

hrajchert · Fri, 29 Sep 23 20:01:39 +0000 · marlowe-ts-sdk

wip Split types/interfaces from guards in language-core-v1

0cebc481 · hrajchert/PLT-7500-compatibility-layer · 28/1,162 ++ 290 --

mondonet · Fri, 29 Sep 23 19:57:36 +0000 · cardano-token-registry

Delete mappings/73c24eed1d3db827f3b7a9f94c1d8f75a4074646c81b631a78cfd2b154504758.json

f6d3184c · pull/3539/head · 1/0 ++ 64 --

abailly-iohk · Fri, 29 Sep 23 19:53:54 +0000 · cardano-updates

deploy: 013800033be8826a55ce43235fc5616a410ae255

de561602 · gh-pages · 300/2,458 ++ 2,395 --

Show more commits

Showing 25 of 4482 recent commits.

Yesterday's Report

New Repo Discovered

New Releases