Ignore new value tests in agda-conformance
Home /
Input Output /
plutus
Sep 29, 8-9 AM (0)
Sep 29, 9-10 AM (1)
Sep 29, 10-11 AM (5)
Sep 29, 11-12 PM (1)
Sep 29, 12-1 PM (0)
Sep 29, 1-2 PM (2)
Sep 29, 2-3 PM (1)
Sep 29, 3-4 PM (2)
Sep 29, 4-5 PM (0)
Sep 29, 5-6 PM (1)
Sep 29, 6-7 PM (7)
Sep 29, 7-8 PM (1)
Sep 29, 8-9 PM (0)
Sep 29, 9-10 PM (2)
Sep 29, 10-11 PM (0)
Sep 29, 11-12 AM (0)
Sep 30, 12-1 AM (0)
Sep 30, 1-2 AM (0)
Sep 30, 2-3 AM (0)
Sep 30, 3-4 AM (0)
Sep 30, 4-5 AM (0)
Sep 30, 5-6 AM (0)
Sep 30, 6-7 AM (0)
Sep 30, 7-8 AM (0)
Sep 30, 8-9 AM (1)
Sep 30, 9-10 AM (8)
Sep 30, 10-11 AM (1)
Sep 30, 11-12 PM (2)
Sep 30, 12-1 PM (1)
Sep 30, 1-2 PM (0)
Sep 30, 2-3 PM (3)
Sep 30, 3-4 PM (0)
Sep 30, 4-5 PM (3)
Sep 30, 5-6 PM (2)
Sep 30, 6-7 PM (0)
Sep 30, 7-8 PM (0)
Sep 30, 8-9 PM (1)
Sep 30, 9-10 PM (1)
Sep 30, 10-11 PM (0)
Sep 30, 11-12 AM (0)
Oct 01, 12-1 AM (0)
Oct 01, 1-2 AM (0)
Oct 01, 2-3 AM (0)
Oct 01, 3-4 AM (0)
Oct 01, 4-5 AM (0)
Oct 01, 5-6 AM (2)
Oct 01, 6-7 AM (2)
Oct 01, 7-8 AM (1)
Oct 01, 8-9 AM (1)
Oct 01, 9-10 AM (3)
Oct 01, 10-11 AM (1)
Oct 01, 11-12 PM (2)
Oct 01, 12-1 PM (7)
Oct 01, 1-2 PM (6)
Oct 01, 2-3 PM (5)
Oct 01, 3-4 PM (1)
Oct 01, 4-5 PM (1)
Oct 01, 5-6 PM (0)
Oct 01, 6-7 PM (1)
Oct 01, 7-8 PM (1)
Oct 01, 8-9 PM (0)
Oct 01, 9-10 PM (0)
Oct 01, 10-11 PM (0)
Oct 01, 11-12 AM (2)
Oct 02, 12-1 AM (2)
Oct 02, 1-2 AM (1)
Oct 02, 2-3 AM (6)
Oct 02, 3-4 AM (1)
Oct 02, 4-5 AM (1)
Oct 02, 5-6 AM (0)
Oct 02, 6-7 AM (0)
Oct 02, 7-8 AM (1)
Oct 02, 8-9 AM (4)
Oct 02, 9-10 AM (1)
Oct 02, 10-11 AM (2)
Oct 02, 11-12 PM (5)
Oct 02, 12-1 PM (2)
Oct 02, 1-2 PM (1)
Oct 02, 2-3 PM (0)
Oct 02, 3-4 PM (0)
Oct 02, 4-5 PM (0)
Oct 02, 5-6 PM (1)
Oct 02, 6-7 PM (0)
Oct 02, 7-8 PM (0)
Oct 02, 8-9 PM (0)
Oct 02, 9-10 PM (0)
Oct 02, 10-11 PM (0)
Oct 02, 11-12 AM (0)
Oct 03, 12-1 AM (0)
Oct 03, 1-2 AM (3)
Oct 03, 2-3 AM (0)
Oct 03, 3-4 AM (0)
Oct 03, 4-5 AM (0)
Oct 03, 5-6 AM (0)
Oct 03, 6-7 AM (0)
Oct 03, 7-8 AM (0)
Oct 03, 8-9 AM (0)
Oct 03, 9-10 AM (0)
Oct 03, 10-11 AM (19)
Oct 03, 11-12 PM (0)
Oct 03, 12-1 PM (0)
Oct 03, 1-2 PM (1)
Oct 03, 2-3 PM (0)
Oct 03, 3-4 PM (0)
Oct 03, 4-5 PM (2)
Oct 03, 5-6 PM (0)
Oct 03, 6-7 PM (0)
Oct 03, 7-8 PM (0)
Oct 03, 8-9 PM (0)
Oct 03, 9-10 PM (0)
Oct 03, 10-11 PM (0)
Oct 03, 11-12 AM (0)
Oct 04, 12-1 AM (0)
Oct 04, 1-2 AM (0)
Oct 04, 2-3 AM (0)
Oct 04, 3-4 AM (0)
Oct 04, 4-5 AM (0)
Oct 04, 5-6 AM (0)
Oct 04, 6-7 AM (0)
Oct 04, 7-8 AM (0)
Oct 04, 8-9 AM (0)
Oct 04, 9-10 AM (0)
Oct 04, 10-11 AM (0)
Oct 04, 11-12 PM (0)
Oct 04, 12-1 PM (0)
Oct 04, 1-2 PM (0)
Oct 04, 2-3 PM (0)
Oct 04, 3-4 PM (0)
Oct 04, 4-5 PM (0)
Oct 04, 5-6 PM (0)
Oct 04, 6-7 PM (0)
Oct 04, 7-8 PM (0)
Oct 04, 8-9 PM (0)
Oct 04, 9-10 PM (0)
Oct 04, 10-11 PM (0)
Oct 04, 11-12 AM (0)
Oct 05, 12-1 AM (0)
Oct 05, 1-2 AM (1)
Oct 05, 2-3 AM (0)
Oct 05, 3-4 AM (0)
Oct 05, 4-5 AM (0)
Oct 05, 5-6 AM (0)
Oct 05, 6-7 AM (0)
Oct 05, 7-8 AM (0)
Oct 05, 8-9 AM (0)
Oct 05, 9-10 AM (0)
Oct 05, 10-11 AM (0)
Oct 05, 11-12 PM (0)
Oct 05, 12-1 PM (0)
Oct 05, 1-2 PM (0)
Oct 05, 2-3 PM (0)
Oct 05, 3-4 PM (0)
Oct 05, 4-5 PM (0)
Oct 05, 5-6 PM (0)
Oct 05, 6-7 PM (0)
Oct 05, 7-8 PM (0)
Oct 05, 8-9 PM (0)
Oct 05, 9-10 PM (0)
Oct 05, 10-11 PM (0)
Oct 05, 11-12 AM (0)
Oct 06, 12-1 AM (0)
Oct 06, 1-2 AM (0)
Oct 06, 2-3 AM (0)
Oct 06, 3-4 AM (1)
Oct 06, 4-5 AM (0)
Oct 06, 5-6 AM (0)
Oct 06, 6-7 AM (0)
Oct 06, 7-8 AM (0)
Oct 06, 8-9 AM (0)
137 commits this week
Sep 29, 2025
-
Oct 06, 2025
Add conformance tests for maximum key lengh
Ignore agda conformance test of Value built-ins for now
Update test cases now that valueContains does not allow negative amounts
Add conformance tests of value constants
rename unionValue tests
More valueContains conformance tests
Add cancel test with arguments swapped
Add one more test to insertCoin
Fix test for valueContains
More valueContains tests
add insertCoin/lookupCoin test
Give sensible names to insertCoin conformance tests
Remove test in /interleaving
Add some simple tests for valueContains
Add conformance tests for unionValue
Use conciser syntax for function application in tests
Fix expected and expected budget for lookupCoin tests
Initial conformance tests for lookupCoin
Add conformance tests for insertCoin
Add postulate for agdaUnparse of Value, fix Value representation in Raw.hs
Deploying to gh-pages from @ IntersectMBO/plutus@3cd4cbaf7cf73c6234182137972e23cd54d61247 🚀