[Meta] Add 'TRIAGING.md'
Home /
Input Output /
plutus
May 24, 11-12 AM (0)
May 25, 12-1 AM (2)
May 25, 1-2 AM (0)
May 25, 2-3 AM (1)
May 25, 3-4 AM (0)
May 25, 4-5 AM (2)
May 25, 5-6 AM (0)
May 25, 6-7 AM (1)
May 25, 7-8 AM (1)
May 25, 8-9 AM (0)
May 25, 9-10 AM (2)
May 25, 10-11 AM (0)
May 25, 11-12 PM (0)
May 25, 12-1 PM (3)
May 25, 1-2 PM (4)
May 25, 2-3 PM (1)
May 25, 3-4 PM (0)
May 25, 4-5 PM (0)
May 25, 5-6 PM (2)
May 25, 6-7 PM (1)
May 25, 7-8 PM (2)
May 25, 8-9 PM (1)
May 25, 9-10 PM (0)
May 25, 10-11 PM (0)
May 25, 11-12 AM (1)
May 26, 12-1 AM (0)
May 26, 1-2 AM (0)
May 26, 2-3 AM (2)
May 26, 3-4 AM (0)
May 26, 4-5 AM (1)
May 26, 5-6 AM (0)
May 26, 6-7 AM (0)
May 26, 7-8 AM (0)
May 26, 8-9 AM (0)
May 26, 9-10 AM (0)
May 26, 10-11 AM (0)
May 26, 11-12 PM (0)
May 26, 12-1 PM (3)
May 26, 1-2 PM (6)
May 26, 2-3 PM (5)
May 26, 3-4 PM (4)
May 26, 4-5 PM (9)
May 26, 5-6 PM (4)
May 26, 6-7 PM (1)
May 26, 7-8 PM (0)
May 26, 8-9 PM (0)
May 26, 9-10 PM (0)
May 26, 10-11 PM (0)
May 26, 11-12 AM (0)
May 27, 12-1 AM (0)
May 27, 1-2 AM (0)
May 27, 2-3 AM (0)
May 27, 3-4 AM (0)
May 27, 4-5 AM (0)
May 27, 5-6 AM (0)
May 27, 6-7 AM (0)
May 27, 7-8 AM (0)
May 27, 8-9 AM (0)
May 27, 9-10 AM (0)
May 27, 10-11 AM (0)
May 27, 11-12 PM (0)
May 27, 12-1 PM (0)
May 27, 1-2 PM (0)
May 27, 2-3 PM (0)
May 27, 3-4 PM (0)
May 27, 4-5 PM (0)
May 27, 5-6 PM (0)
May 27, 6-7 PM (0)
May 27, 7-8 PM (0)
May 27, 8-9 PM (0)
May 27, 9-10 PM (0)
May 27, 10-11 PM (0)
May 27, 11-12 AM (0)
May 28, 12-1 AM (0)
May 28, 1-2 AM (0)
May 28, 2-3 AM (0)
May 28, 3-4 AM (0)
May 28, 4-5 AM (0)
May 28, 5-6 AM (0)
May 28, 6-7 AM (0)
May 28, 7-8 AM (0)
May 28, 8-9 AM (0)
May 28, 9-10 AM (0)
May 28, 10-11 AM (0)
May 28, 11-12 PM (0)
May 28, 12-1 PM (0)
May 28, 1-2 PM (0)
May 28, 2-3 PM (0)
May 28, 3-4 PM (0)
May 28, 4-5 PM (0)
May 28, 5-6 PM (0)
May 28, 6-7 PM (0)
May 28, 7-8 PM (0)
May 28, 8-9 PM (0)
May 28, 9-10 PM (0)
May 28, 10-11 PM (0)
May 28, 11-12 AM (0)
May 29, 12-1 AM (0)
May 29, 1-2 AM (0)
May 29, 2-3 AM (0)
May 29, 3-4 AM (0)
May 29, 4-5 AM (0)
May 29, 5-6 AM (0)
May 29, 6-7 AM (0)
May 29, 7-8 AM (0)
May 29, 8-9 AM (0)
May 29, 9-10 AM (0)
May 29, 10-11 AM (0)
May 29, 11-12 PM (0)
May 29, 12-1 PM (2)
May 29, 1-2 PM (0)
May 29, 2-3 PM (0)
May 29, 3-4 PM (0)
May 29, 4-5 PM (0)
May 29, 5-6 PM (0)
May 29, 6-7 PM (0)
May 29, 7-8 PM (0)
May 29, 8-9 PM (0)
May 29, 9-10 PM (1)
May 29, 10-11 PM (0)
May 29, 11-12 AM (0)
May 30, 12-1 AM (0)
May 30, 1-2 AM (0)
May 30, 2-3 AM (0)
May 30, 3-4 AM (0)
May 30, 4-5 AM (0)
May 30, 5-6 AM (0)
May 30, 6-7 AM (0)
May 30, 7-8 AM (0)
May 30, 8-9 AM (0)
May 30, 9-10 AM (0)
May 30, 10-11 AM (1)
May 30, 11-12 PM (2)
May 30, 12-1 PM (0)
May 30, 1-2 PM (0)
May 30, 2-3 PM (1)
May 30, 3-4 PM (10)
May 30, 4-5 PM (0)
May 30, 5-6 PM (0)
May 30, 6-7 PM (0)
May 30, 7-8 PM (0)
May 30, 8-9 PM (0)
May 30, 9-10 PM (0)
May 30, 10-11 PM (0)
May 30, 11-12 AM (0)
May 31, 12-1 AM (0)
May 31, 1-2 AM (0)
May 31, 2-3 AM (0)
May 31, 3-4 AM (1)
May 31, 4-5 AM (1)
May 31, 5-6 AM (0)
May 31, 6-7 AM (0)
May 31, 7-8 AM (0)
May 31, 8-9 AM (2)
May 31, 9-10 AM (0)
May 31, 10-11 AM (0)
May 31, 11-12 PM (0)
May 31, 12-1 PM (0)
May 31, 1-2 PM (0)
May 31, 2-3 PM (2)
May 31, 3-4 PM (0)
May 31, 4-5 PM (0)
May 31, 5-6 PM (0)
May 31, 6-7 PM (0)
May 31, 7-8 PM (1)
May 31, 8-9 PM (0)
May 31, 9-10 PM (0)
May 31, 10-11 PM (0)
May 31, 11-12 AM (0)
83 commits this week
May 25, 2023
-
Jun 01, 2023
Address some comments.
Update nix/cells/automation/ciJobs.nix
Update nix/cells/automation/ciJobs.nix
[Refactoring] [TypeCheck] Get rid of 'dummy' nonsense
Rename to commuteFunWithConst.
Run over subterms too.
Add commuteEquals to simplifier pass.
Add helper functions and rewrite commute fn.
Address some comments.
[Refactoring] [TypeCheck] Get rid of 'dummy' nonsense
Resolve some remaining conflicts
Merge branch 'master' into kwxm/BLS12_381/prototype
[Refactoring] [TypeCheck] Get rid of 'dummy' nonsense
[Triage] Help out with 'loadFromFile'
[Refactoring] [TypeCheck] Get rid of 'dummy' nonsense
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for e2f664e52a5cfef99bf863de945e9f03d505b071