Merge remote-tracking branch 'origin/yura/value-data-memory-models' into ana/use-new-memory-costing
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 (3)
Dec 23, 6-7 AM (4)
Dec 23, 7-8 AM (13)
Dec 23, 8-9 AM (14)
Dec 23, 9-10 AM (63)
Dec 23, 10-11 AM (21)
Dec 23, 11-12 PM (49)
Dec 23, 12-1 PM (15)
Dec 23, 1-2 PM (28)
Dec 23, 2-3 PM (22)
Dec 23, 3-4 PM (15)
Dec 23, 4-5 PM (10)
Dec 23, 5-6 PM (19)
Dec 23, 6-7 PM (13)
Dec 23, 7-8 PM (3)
Dec 23, 8-9 PM (41)
Dec 23, 9-10 PM (11)
Dec 23, 10-11 PM (27)
Dec 23, 11-12 AM (18)
Dec 24, 12-1 AM (2)
Dec 24, 1-2 AM (3)
Dec 24, 2-3 AM (0)
Dec 24, 3-4 AM (1)
Dec 24, 4-5 AM (2)
Dec 24, 5-6 AM (0)
Dec 24, 6-7 AM (36)
Dec 24, 7-8 AM (3)
Dec 24, 8-9 AM (3)
Dec 24, 9-10 AM (11)
Dec 24, 10-11 AM (1)
2,840 commits this week
Dec 17, 2025
-
Dec 24, 2025
Introduce CRS validator
This should be used as a reference input to reduce the execution of contracts that need CRS string. Validator checks if the datum matches with the crs argument we used when creating this script outuput. Perhaps unneeded? Signed-off-by: Sasha Bogicevic <[email protected]>
fixing windows path
CDDL:dijkstra: Mk smart-constructors more type-safe
CDDL:conway: Mk smart-constructors more type-safe
CDDL:babbage: Mk smart-constructors more type-safe
CDDL:alonzo: Mk smart-constructors more type-safe
CDDL:mary: Make smart-constructors more type-safe
CDDL:allegra: Mk smart-constructors more type-safe
CDDL:shelley: Mk smart-constructors more type-safe
CDDL:core: Make smart-constructors more type-safe
Create BLS accumulator benchmarks with UTxO
Signed-off-by: Sasha Bogicevic <[email protected]>
trace verifier doc updates (#703)
* Resolving #653
Create BLS accumulator benchmartks with UTxO
Deploying to gh-pages from @ IntersectMBO/plutus@79b0431690d19985d1e8ab558dd46657fc0a1edb 🚀
reverts commit 7043008def62f76ffe75b9bd91350c2cb33f4808
Signed-off-by: bkioshn <[email protected]>
Deploying to gh-pages from @ IntersectMBO/plutus@79b0431690d19985d1e8ab558dd46657fc0a1edb 🚀
Updated questions
small cleanup
Signed-off-by: bkioshn <[email protected]>
Deploying to gh-pages from @ IntersectMBO/plutus@79b0431690d19985d1e8ab558dd46657fc0a1edb 🚀
Use patched cardano-api src package for now
Signed-off-by: Sasha Bogicevic <[email protected]>
Bump plutus to 1.53
Signed-off-by: Sasha Bogicevic <[email protected]>
Bump to plutus 1.55
Signed-off-by: Sasha Bogicevic <[email protected]>