Home /
Input Output /
plutus
Jan 07, 11-12 PM (1)
Jan 07, 12-1 PM (3)
Jan 07, 1-2 PM (0)
Jan 07, 2-3 PM (0)
Jan 07, 3-4 PM (2)
Jan 07, 4-5 PM (0)
Jan 07, 5-6 PM (0)
Jan 07, 6-7 PM (0)
Jan 07, 7-8 PM (0)
Jan 07, 8-9 PM (0)
Jan 07, 9-10 PM (0)
Jan 07, 10-11 PM (0)
Jan 07, 11-12 AM (0)
Jan 08, 12-1 AM (0)
Jan 08, 1-2 AM (0)
Jan 08, 2-3 AM (0)
Jan 08, 3-4 AM (0)
Jan 08, 4-5 AM (0)
Jan 08, 5-6 AM (0)
Jan 08, 6-7 AM (0)
Jan 08, 7-8 AM (0)
Jan 08, 8-9 AM (0)
Jan 08, 9-10 AM (0)
Jan 08, 10-11 AM (0)
Jan 08, 11-12 PM (0)
Jan 08, 12-1 PM (1)
Jan 08, 1-2 PM (0)
Jan 08, 2-3 PM (0)
Jan 08, 3-4 PM (0)
Jan 08, 4-5 PM (0)
Jan 08, 5-6 PM (0)
Jan 08, 6-7 PM (0)
Jan 08, 7-8 PM (0)
Jan 08, 8-9 PM (0)
Jan 08, 9-10 PM (0)
Jan 08, 10-11 PM (0)
Jan 08, 11-12 AM (0)
Jan 09, 12-1 AM (0)
Jan 09, 1-2 AM (0)
Jan 09, 2-3 AM (0)
Jan 09, 3-4 AM (0)
Jan 09, 4-5 AM (0)
Jan 09, 5-6 AM (0)
Jan 09, 6-7 AM (0)
Jan 09, 7-8 AM (0)
Jan 09, 8-9 AM (0)
Jan 09, 9-10 AM (0)
Jan 09, 10-11 AM (0)
Jan 09, 11-12 PM (2)
Jan 09, 12-1 PM (0)
Jan 09, 1-2 PM (0)
Jan 09, 2-3 PM (0)
Jan 09, 3-4 PM (0)
Jan 09, 4-5 PM (0)
Jan 09, 5-6 PM (0)
Jan 09, 6-7 PM (0)
Jan 09, 7-8 PM (0)
Jan 09, 8-9 PM (1)
Jan 09, 9-10 PM (0)
Jan 09, 10-11 PM (0)
Jan 09, 11-12 AM (1)
Jan 10, 12-1 AM (0)
Jan 10, 1-2 AM (2)
Jan 10, 2-3 AM (5)
Jan 10, 3-4 AM (1)
Jan 10, 4-5 AM (0)
Jan 10, 5-6 AM (3)
Jan 10, 6-7 AM (0)
Jan 10, 7-8 AM (1)
Jan 10, 8-9 AM (0)
Jan 10, 9-10 AM (0)
Jan 10, 10-11 AM (0)
Jan 10, 11-12 PM (0)
Jan 10, 12-1 PM (0)
Jan 10, 1-2 PM (0)
Jan 10, 2-3 PM (0)
Jan 10, 3-4 PM (0)
Jan 10, 4-5 PM (0)
Jan 10, 5-6 PM (0)
Jan 10, 6-7 PM (0)
Jan 10, 7-8 PM (0)
Jan 10, 8-9 PM (0)
Jan 10, 9-10 PM (0)
Jan 10, 10-11 PM (0)
Jan 10, 11-12 AM (0)
Jan 11, 12-1 AM (0)
Jan 11, 1-2 AM (0)
Jan 11, 2-3 AM (0)
Jan 11, 3-4 AM (1)
Jan 11, 4-5 AM (0)
Jan 11, 5-6 AM (4)
Jan 11, 6-7 AM (0)
Jan 11, 7-8 AM (0)
Jan 11, 8-9 AM (0)
Jan 11, 9-10 AM (0)
Jan 11, 10-11 AM (0)
Jan 11, 11-12 PM (0)
Jan 11, 12-1 PM (0)
Jan 11, 1-2 PM (0)
Jan 11, 2-3 PM (0)
Jan 11, 3-4 PM (0)
Jan 11, 4-5 PM (0)
Jan 11, 5-6 PM (0)
Jan 11, 6-7 PM (0)
Jan 11, 7-8 PM (0)
Jan 11, 8-9 PM (0)
Jan 11, 9-10 PM (0)
Jan 11, 10-11 PM (0)
Jan 11, 11-12 AM (3)
Jan 12, 12-1 AM (0)
Jan 12, 1-2 AM (0)
Jan 12, 2-3 AM (0)
Jan 12, 3-4 AM (0)
Jan 12, 4-5 AM (1)
Jan 12, 5-6 AM (0)
Jan 12, 6-7 AM (1)
Jan 12, 7-8 AM (4)
Jan 12, 8-9 AM (2)
Jan 12, 9-10 AM (1)
Jan 12, 10-11 AM (2)
Jan 12, 11-12 PM (1)
Jan 12, 12-1 PM (10)
Jan 12, 1-2 PM (0)
Jan 12, 2-3 PM (1)
Jan 12, 3-4 PM (0)
Jan 12, 4-5 PM (2)
Jan 12, 5-6 PM (0)
Jan 12, 6-7 PM (7)
Jan 12, 7-8 PM (3)
Jan 12, 8-9 PM (3)
Jan 12, 9-10 PM (0)
Jan 12, 10-11 PM (0)
Jan 12, 11-12 AM (0)
Jan 13, 12-1 AM (1)
Jan 13, 1-2 AM (2)
Jan 13, 2-3 AM (1)
Jan 13, 3-4 AM (3)
Jan 13, 4-5 AM (2)
Jan 13, 5-6 AM (1)
Jan 13, 6-7 AM (1)
Jan 13, 7-8 AM (0)
Jan 13, 8-9 AM (0)
Jan 13, 9-10 AM (1)
Jan 13, 10-11 AM (3)
Jan 13, 11-12 PM (5)
Jan 13, 12-1 PM (6)
Jan 13, 1-2 PM (2)
Jan 13, 2-3 PM (4)
Jan 13, 3-4 PM (0)
Jan 13, 4-5 PM (5)
Jan 13, 5-6 PM (2)
Jan 13, 6-7 PM (1)
Jan 13, 7-8 PM (1)
Jan 13, 8-9 PM (3)
Jan 13, 9-10 PM (0)
Jan 13, 10-11 PM (1)
Jan 13, 11-12 AM (0)
Jan 14, 12-1 AM (0)
Jan 14, 1-2 AM (0)
Jan 14, 2-3 AM (2)
Jan 14, 3-4 AM (4)
Jan 14, 4-5 AM (1)
Jan 14, 5-6 AM (1)
Jan 14, 6-7 AM (0)
Jan 14, 7-8 AM (1)
Jan 14, 8-9 AM (0)
Jan 14, 9-10 AM (1)
Jan 14, 10-11 AM (3)
Jan 14, 11-12 PM (1)
127 commits this week
Jan 07, 2026
-
Jan 14, 2026
Update JSON files with numbers based on a new benchmark run
test(conformance): mark valueData/unValueData as expected Agda failures
The Agda metatheory implementation does not yet support valueData and unValueData builtins. Add all 24 test cases to the known failure lists to prevent CI breakage while the Agda implementation is updated.
test(conformance): add valueData and unValueData builtin tests
Add conformance tests for valueData and unValueData builtins per issue #2023. Tests cover conversion between Value and Data formats with validation of key lengths, quantity bounds, and type checking. Includes 24 test cases: 6 for valueData (success cases) and 18 for unValueData (6 success + 12 failure cases validating error paths). Test inputs created manually. Expected outputs and budgets generated via test framework using --accept flag to capture actual evaluator behavior.
Add and test some plinth examples
Update cost model tests; add memory usage for `valueData` and `unValueData`
Strict quadratic costing for unValueData
Quadratic costs for unValueData
Merge branch 'master' into kwxm/costing/fix-valueData
Rewrite note + fix
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for aee28e0467be0561de5c2f097f639914d8d7a294
Add memory models for valueData and unValueData
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 604f442be210b7285ef18f98d1dd2dfed8d53896
Deploying to gh-pages from @ IntersectMBO/plutus@aee28e0467be0561de5c2f097f639914d8d7a294 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@aee28e0467be0561de5c2f097f639914d8d7a294 🚀