cardano-ledger - 191 commits this week

Home / Input Output / cardano-ledger

Insights Pull Requests

Nov 23, 7-8 AM (0)

Nov 23, 8-9 AM (0)

Nov 23, 9-10 AM (1)

Nov 23, 10-11 AM (0)

Nov 23, 11-12 PM (1)

Nov 23, 12-1 PM (0)

Nov 23, 1-2 PM (0)

Nov 23, 2-3 PM (1)

Nov 23, 3-4 PM (0)

Nov 23, 4-5 PM (1)

Nov 23, 5-6 PM (6)

Nov 23, 6-7 PM (0)

Nov 23, 7-8 PM (0)

Nov 23, 8-9 PM (0)

Nov 23, 9-10 PM (0)

Nov 23, 10-11 PM (0)

Nov 23, 11-12 AM (0)

Nov 24, 12-1 AM (0)

Nov 24, 1-2 AM (0)

Nov 24, 2-3 AM (0)

Nov 24, 3-4 AM (0)

Nov 24, 4-5 AM (0)

Nov 24, 5-6 AM (0)

Nov 24, 6-7 AM (0)

Nov 24, 7-8 AM (0)

Nov 24, 8-9 AM (0)

Nov 24, 9-10 AM (0)

Nov 24, 10-11 AM (0)

Nov 24, 11-12 PM (0)

Nov 24, 12-1 PM (1)

Nov 24, 1-2 PM (3)

Nov 24, 2-3 PM (0)

Nov 24, 3-4 PM (0)

Nov 24, 4-5 PM (0)

Nov 24, 5-6 PM (0)

Nov 24, 6-7 PM (0)

Nov 24, 7-8 PM (0)

Nov 24, 8-9 PM (1)

Nov 24, 9-10 PM (0)

Nov 24, 10-11 PM (0)

Nov 24, 11-12 AM (0)

Nov 25, 12-1 AM (0)

Nov 25, 1-2 AM (0)

Nov 25, 2-3 AM (0)

Nov 25, 3-4 AM (0)

Nov 25, 4-5 AM (0)

Nov 25, 5-6 AM (0)

Nov 25, 6-7 AM (0)

Nov 25, 7-8 AM (0)

Nov 25, 8-9 AM (0)

Nov 25, 9-10 AM (0)

Nov 25, 10-11 AM (0)

Nov 25, 11-12 PM (0)

Nov 25, 12-1 PM (0)

Nov 25, 1-2 PM (0)

Nov 25, 2-3 PM (0)

Nov 25, 3-4 PM (0)

Nov 25, 4-5 PM (0)

Nov 25, 5-6 PM (0)

Nov 25, 6-7 PM (0)

Nov 25, 7-8 PM (0)

Nov 25, 8-9 PM (0)

Nov 25, 9-10 PM (0)

Nov 25, 10-11 PM (0)

Nov 25, 11-12 AM (0)

Nov 26, 12-1 AM (0)

Nov 26, 1-2 AM (0)

Nov 26, 2-3 AM (0)

Nov 26, 3-4 AM (0)

Nov 26, 4-5 AM (0)

Nov 26, 5-6 AM (0)

Nov 26, 6-7 AM (0)

Nov 26, 7-8 AM (0)

Nov 26, 8-9 AM (0)

Nov 26, 9-10 AM (0)

Nov 26, 10-11 AM (0)

Nov 26, 11-12 PM (0)

Nov 26, 12-1 PM (0)

Nov 26, 1-2 PM (0)

Nov 26, 2-3 PM (0)

Nov 26, 3-4 PM (0)

Nov 26, 4-5 PM (0)

Nov 26, 5-6 PM (0)

Nov 26, 6-7 PM (0)

Nov 26, 7-8 PM (0)

Nov 26, 8-9 PM (0)

Nov 26, 9-10 PM (0)

Nov 26, 10-11 PM (1)

Nov 26, 11-12 AM (0)

Nov 27, 12-1 AM (0)

Nov 27, 1-2 AM (0)

Nov 27, 2-3 AM (0)

Nov 27, 3-4 AM (0)

Nov 27, 4-5 AM (0)

Nov 27, 5-6 AM (0)

Nov 27, 6-7 AM (0)

Nov 27, 7-8 AM (0)

Nov 27, 8-9 AM (0)

Nov 27, 9-10 AM (0)

Nov 27, 10-11 AM (3)

Nov 27, 11-12 PM (0)

Nov 27, 12-1 PM (0)

Nov 27, 1-2 PM (0)

Nov 27, 2-3 PM (0)

Nov 27, 3-4 PM (1)

Nov 27, 4-5 PM (1)

Nov 27, 5-6 PM (0)

Nov 27, 6-7 PM (0)

Nov 27, 7-8 PM (0)

Nov 27, 8-9 PM (0)

Nov 27, 9-10 PM (1)

Nov 27, 10-11 PM (2)

Nov 27, 11-12 AM (1)

Nov 28, 12-1 AM (0)

Nov 28, 1-2 AM (0)

Nov 28, 2-3 AM (0)

Nov 28, 3-4 AM (0)

Nov 28, 4-5 AM (0)

Nov 28, 5-6 AM (0)

Nov 28, 6-7 AM (0)

Nov 28, 7-8 AM (0)

Nov 28, 8-9 AM (0)

Nov 28, 9-10 AM (0)

Nov 28, 10-11 AM (0)

Nov 28, 11-12 PM (0)

Nov 28, 12-1 PM (3)

Nov 28, 1-2 PM (1)

Nov 28, 2-3 PM (2)

Nov 28, 3-4 PM (1)

Nov 28, 4-5 PM (0)

Nov 28, 5-6 PM (0)

Nov 28, 6-7 PM (0)

Nov 28, 7-8 PM (0)

Nov 28, 8-9 PM (18)

Nov 28, 9-10 PM (2)

Nov 28, 10-11 PM (0)

Nov 28, 11-12 AM (0)

Nov 29, 12-1 AM (0)

Nov 29, 1-2 AM (0)

Nov 29, 2-3 AM (0)

Nov 29, 3-4 AM (2)

Nov 29, 4-5 AM (0)

Nov 29, 5-6 AM (0)

Nov 29, 6-7 AM (0)

Nov 29, 7-8 AM (0)

Nov 29, 8-9 AM (120)

Nov 29, 9-10 AM (0)

Nov 29, 10-11 AM (0)

Nov 29, 11-12 PM (8)

Nov 29, 12-1 PM (1)

Nov 29, 1-2 PM (0)

Nov 29, 2-3 PM (0)

Nov 29, 3-4 PM (1)

Nov 29, 4-5 PM (0)

Nov 29, 5-6 PM (0)

Nov 29, 6-7 PM (1)

Nov 29, 7-8 PM (1)

Nov 29, 8-9 PM (0)

Nov 29, 9-10 PM (0)

Nov 29, 10-11 PM (0)

Nov 29, 11-12 AM (1)

Nov 30, 12-1 AM (4)

Nov 30, 1-2 AM (0)

Nov 30, 2-3 AM (0)

Nov 30, 3-4 AM (0)

Nov 30, 4-5 AM (0)

Nov 30, 5-6 AM (0)

Nov 30, 6-7 AM (0)

Nov 30, 7-8 AM (0)

191 commits this week Nov 23, 2023 - Nov 30, 2023

lehins · Thu, 30 Nov 23 01:07:46 +0000 · cardano-ledger

Add missing files

4a87af98 · lehins/plutus-language-to-type-level · 2/307 ++ 0 --

lehins · Thu, 30 Nov 23 01:07:37 +0000 · cardano-ledger

Fixup

33c8672d · lehins/plutus-language-to-type-level · 1/1 ++ 1 --

lehins · Thu, 30 Nov 23 01:01:13 +0000 · cardano-ledger

Turn off warnings for now

11c7c241 · lehins/plutus-language-to-type-level · 1/2 ++ 2 --

lehins · Thu, 30 Nov 23 01:01:00 +0000 · cardano-ledger

Everything builds

d35a267f · lehins/plutus-language-to-type-level · 15/39 ++ 35 --

lehins · Thu, 30 Nov 23 00:07:05 +0000 · cardano-ledger

cardano-ledger-test is done

811601ad · lehins/plutus-language-to-type-level · 20/256 ++ 187 --

lehins · Wed, 29 Nov 23 20:10:17 +0000 · cardano-ledger

Updated

060663ac · gh-pages · 300/747,258 ++ 0 --

github · Wed, 29 Nov 23 19:21:23 +0000 · cardano-ledger

add Haskell Benchmark (customSmallerIsBetter) benchmark result for 096b772f93a376fc97783054240df533160691c4

0fe1fff1 · gh-pages · 2/361 ++ 0 --

TimSheard · Wed, 29 Nov 23 16:20:31 +0000 · cardano-ledger

Fixed broken test, test compared the brute force DRepDistr computation on the first MockChainState of an epoch to the Pulsed DrepDistr on the final MochChainState of the Epoch. Failed because we need the intermediate NES in the first state, since the LEDGERS rule changes the NES after the TICK rule runs.

53de7981 · ts-fix-bruteforce · 6/17 ++ 16 --

jasagredo · Wed, 29 Nov 23 13:59:12 +0000 · cardano-ledger

Move `tree-diff` dependency to tests together with all instances (#3893)

* Move tree-diff dependency to tests together with all instances

* Bump versions and add changelog entries

* Adjust bounds on packages

45c67892 · master · 151/1,142 ++ 925 --

MaximilianAlgehed · Wed, 29 Nov 23 12:51:43 +0000 · cardano-ledger

Work on pool stuff + fix some warnings

b3d8fb6c · constrained-v2 · 12/118 ++ 268 --

aniketd · Wed, 29 Nov 23 12:50:05 +0000 · cardano-ledger

Prune proposals unreachable due to enactment

8bf867fc · aniketd/remove-unreachable-proposals · 20/730 ++ 248 --

Soupstraw · Wed, 29 Nov 23 12:20:33 +0000 · cardano-ledger

Added constrained generators to conformance tests

40cdbfb5 · jj/conformance-generators · 23/488 ++ 86 --

MaximilianAlgehed · Wed, 29 Nov 23 12:16:56 +0000 · cardano-ledger

WIP constraints for GOV state generation

687f68aa · constrained-v2 · 5/111 ++ 39 --

Soupstraw · Wed, 29 Nov 23 12:12:22 +0000 · cardano-ledger

Constrained generator tweaks

9622e3d0 · jj/conformance-certs · 4/100 ++ 84 --

jasagredo · Wed, 29 Nov 23 12:01:12 +0000 · cardano-ledger

Adjust bounds on packages

a98672a5 · js/move-tree-diff-to-tests · 17/81 ++ 82 --

jasagredo · Wed, 29 Nov 23 12:01:10 +0000 · cardano-ledger

Bump versions and add changelog entries

0ac2f4fe · js/move-tree-diff-to-tests · 20/32 ++ 39 --

jasagredo · Wed, 29 Nov 23 12:01:08 +0000 · cardano-ledger

Move tree-diff dependency to tests together with all instances

f5244169 · js/move-tree-diff-to-tests · 136/1,055 ++ 830 --

MaximilianAlgehed · Wed, 29 Nov 23 09:37:42 +0000 · cardano-ledger

wip

437de315 · constrained-v2 · 11/665 ++ 620 --

MaximilianAlgehed · Wed, 29 Nov 23 09:37:42 +0000 · cardano-ledger

Compiling version of Eq-only with instances for the Conway types

1a76dc2e · constrained-v2 · 14/970 ++ 625 --

MaximilianAlgehed · Wed, 29 Nov 23 09:37:42 +0000 · cardano-ledger

Still completely broken

30300a68 · constrained-v2 · 10/339 ++ 79 --

UlfNorell · Wed, 29 Nov 23 09:37:42 +0000 · cardano-ledger

size constraints on sets

56a47914 · constrained-v2 · 7/194 ++ 175 --

MaximilianAlgehed · Wed, 29 Nov 23 09:37:42 +0000 · cardano-ledger

First working generator for Conway stuff!

50876a52 · constrained-v2 · 6/313 ++ 106 --

MaximilianAlgehed · Wed, 29 Nov 23 09:37:42 +0000 · cardano-ledger

Working forAll on maps

f2d6f778 · constrained-v2 · 6/188 ++ 92 --

UlfNorell · Wed, 29 Nov 23 09:37:42 +0000 · cardano-ledger

generalise generics

b9aa77ce · constrained-v2 · 4/34 ++ 34 --