Deploying to gh-pages from @ IntersectMBO/plutus@2aaccb0dc7095df37df8909c63a694a2fa960a4d 🚀
Dec 16, 6-7 AM (13)
Dec 16, 7-8 AM (25)
Dec 16, 8-9 AM (36)
Dec 16, 9-10 AM (49)
Dec 16, 10-11 AM (53)
Dec 16, 11-12 PM (46)
Dec 16, 12-1 PM (71)
Dec 16, 1-2 PM (54)
Dec 16, 2-3 PM (40)
Dec 16, 3-4 PM (25)
Dec 16, 4-5 PM (33)
Dec 16, 5-6 PM (30)
Dec 16, 6-7 PM (20)
Dec 16, 7-8 PM (20)
Dec 16, 8-9 PM (41)
Dec 16, 9-10 PM (18)
Dec 16, 10-11 PM (65)
Dec 16, 11-12 AM (26)
Dec 17, 12-1 AM (10)
Dec 17, 1-2 AM (5)
Dec 17, 2-3 AM (6)
Dec 17, 3-4 AM (1)
Dec 17, 4-5 AM (4)
Dec 17, 5-6 AM (5)
Dec 17, 6-7 AM (13)
Dec 17, 7-8 AM (14)
Dec 17, 8-9 AM (26)
Dec 17, 9-10 AM (22)
Dec 17, 10-11 AM (56)
Dec 17, 11-12 PM (38)
Dec 17, 12-1 PM (39)
Dec 17, 1-2 PM (49)
Dec 17, 2-3 PM (35)
Dec 17, 3-4 PM (27)
Dec 17, 4-5 PM (21)
Dec 17, 5-6 PM (26)
Dec 17, 6-7 PM (9)
Dec 17, 7-8 PM (26)
Dec 17, 8-9 PM (6)
Dec 17, 9-10 PM (11)
Dec 17, 10-11 PM (26)
Dec 17, 11-12 AM (20)
Dec 18, 12-1 AM (44)
Dec 18, 1-2 AM (11)
Dec 18, 2-3 AM (10)
Dec 18, 3-4 AM (14)
Dec 18, 4-5 AM (4)
Dec 18, 5-6 AM (8)
Dec 18, 6-7 AM (7)
Dec 18, 7-8 AM (10)
Dec 18, 8-9 AM (21)
Dec 18, 9-10 AM (27)
Dec 18, 10-11 AM (40)
Dec 18, 11-12 PM (29)
Dec 18, 12-1 PM (49)
Dec 18, 1-2 PM (38)
Dec 18, 2-3 PM (47)
Dec 18, 3-4 PM (61)
Dec 18, 4-5 PM (31)
Dec 18, 5-6 PM (43)
Dec 18, 6-7 PM (28)
Dec 18, 7-8 PM (11)
Dec 18, 8-9 PM (17)
Dec 18, 9-10 PM (13)
Dec 18, 10-11 PM (40)
Dec 18, 11-12 AM (31)
Dec 19, 12-1 AM (2)
Dec 19, 1-2 AM (6)
Dec 19, 2-3 AM (4)
Dec 19, 3-4 AM (19)
Dec 19, 4-5 AM (5)
Dec 19, 5-6 AM (6)
Dec 19, 6-7 AM (4)
Dec 19, 7-8 AM (22)
Dec 19, 8-9 AM (51)
Dec 19, 9-10 AM (41)
Dec 19, 10-11 AM (20)
Dec 19, 11-12 PM (68)
Dec 19, 12-1 PM (34)
Dec 19, 1-2 PM (34)
Dec 19, 2-3 PM (50)
Dec 19, 3-4 PM (37)
Dec 19, 4-5 PM (52)
Dec 19, 5-6 PM (33)
Dec 19, 6-7 PM (32)
Dec 19, 7-8 PM (14)
Dec 19, 8-9 PM (12)
Dec 19, 9-10 PM (4)
Dec 19, 10-11 PM (26)
Dec 19, 11-12 AM (15)
Dec 20, 12-1 AM (0)
Dec 20, 1-2 AM (1)
Dec 20, 2-3 AM (3)
Dec 20, 3-4 AM (3)
Dec 20, 4-5 AM (1)
Dec 20, 5-6 AM (0)
Dec 20, 6-7 AM (0)
Dec 20, 7-8 AM (1)
Dec 20, 8-9 AM (2)
Dec 20, 9-10 AM (4)
Dec 20, 10-11 AM (12)
Dec 20, 11-12 PM (2)
Dec 20, 12-1 PM (4)
Dec 20, 1-2 PM (0)
Dec 20, 2-3 PM (2)
Dec 20, 3-4 PM (10)
Dec 20, 4-5 PM (6)
Dec 20, 5-6 PM (2)
Dec 20, 6-7 PM (16)
Dec 20, 7-8 PM (17)
Dec 20, 8-9 PM (18)
Dec 20, 9-10 PM (0)
Dec 20, 10-11 PM (21)
Dec 20, 11-12 AM (32)
Dec 21, 12-1 AM (0)
Dec 21, 1-2 AM (0)
Dec 21, 2-3 AM (3)
Dec 21, 3-4 AM (4)
Dec 21, 4-5 AM (13)
Dec 21, 5-6 AM (3)
Dec 21, 6-7 AM (3)
Dec 21, 7-8 AM (6)
Dec 21, 8-9 AM (5)
Dec 21, 9-10 AM (0)
Dec 21, 10-11 AM (1)
Dec 21, 11-12 PM (3)
Dec 21, 12-1 PM (1)
Dec 21, 1-2 PM (1)
Dec 21, 2-3 PM (9)
Dec 21, 3-4 PM (2)
Dec 21, 4-5 PM (12)
Dec 21, 5-6 PM (17)
Dec 21, 6-7 PM (7)
Dec 21, 7-8 PM (2)
Dec 21, 8-9 PM (0)
Dec 21, 9-10 PM (15)
Dec 21, 10-11 PM (29)
Dec 21, 11-12 AM (23)
Dec 22, 12-1 AM (0)
Dec 22, 1-2 AM (1)
Dec 22, 2-3 AM (4)
Dec 22, 3-4 AM (8)
Dec 22, 4-5 AM (3)
Dec 22, 5-6 AM (3)
Dec 22, 6-7 AM (8)
Dec 22, 7-8 AM (37)
Dec 22, 8-9 AM (22)
Dec 22, 9-10 AM (25)
Dec 22, 10-11 AM (27)
Dec 22, 11-12 PM (26)
Dec 22, 12-1 PM (21)
Dec 22, 1-2 PM (43)
Dec 22, 2-3 PM (24)
Dec 22, 3-4 PM (29)
Dec 22, 4-5 PM (16)
Dec 22, 5-6 PM (17)
Dec 22, 6-7 PM (2)
Dec 22, 7-8 PM (25)
Dec 22, 8-9 PM (16)
Dec 22, 9-10 PM (18)
Dec 22, 10-11 PM (30)
Dec 22, 11-12 AM (27)
Dec 23, 12-1 AM (15)
Dec 23, 1-2 AM (15)
Dec 23, 2-3 AM (25)
Dec 23, 3-4 AM (1)
Dec 23, 4-5 AM (4)
Dec 23, 5-6 AM (1)
Dec 23, 6-7 AM (0)
3,193 commits this week
Dec 16, 2025
-
Dec 23, 2025
Deploying to gh-pages from @ IntersectMBO/plutus@2aaccb0dc7095df37df8909c63a694a2fa960a4d 🚀
Merge pull request #592 from IntersectMBO/nm/sseq-functions
Add some missing functions to `Data.Sequence.Strict`
Add some missing functions to Data.Sequence.Strict
These are all in the upstream library, and are both more efficient than their list equivalents and more convenient than converting to and from the wrapped `Seq`
misc: improve terminal and logging support
add DEMO policy example asset for the Adadata project
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 30d293d7166561d47bccf56b7e1473cdab84714d
Merge pull request #5473 from IntersectMBO/carlos/update-fls-enable-tests-5
Update formal-ledger-specification and enable tests
Add a phantom-type test for deriveEnum (#7499)
Co-authored-by: Nikolaos Bezirgiannis <[email protected]>
Call `SUBGOV` from `SUBLEDGER`
Call `SUBUTXO` from `SUBUTXOW`
Introduce `SubCertsEnv` and use it as environment for `SUBCERTS` rule
since `CertsEnv` uses `TopTx` level, which is not suitable for the SUB rules
Remove some redundant constraints of functions in Ledger rules
Call `SUBCERT` from `SUBCERTS`
Introduce `SUBCERT` and `SUBCERTS` rules
Call `SUBUTXOS` from `SUBUTXO`
Introduce `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` rules
Call `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` from `SUBCERT`
Introduce `SUBLEDGER` rule
Call `SUBCERTS` from `SUBLEDGER`
Define `dijkstraLedgerTransition` using the one from conway
so we can call subledgers rule from it
Call `SUBLEDGERS` and conway `LEDGER` rules from dijkstra `LEDGER` rule
Introduce `SUBUTXO` rule