Jul 12, 7-8 PM (18)
Jul 12, 8-9 PM (8)
Jul 12, 9-10 PM (9)
Jul 12, 10-11 PM (31)
Jul 12, 11-12 AM (21)
Jul 13, 12-1 AM (3)
Jul 13, 1-2 AM (9)
Jul 13, 2-3 AM (2)
Jul 13, 3-4 AM (3)
Jul 13, 4-5 AM (1)
Jul 13, 5-6 AM (1)
Jul 13, 6-7 AM (12)
Jul 13, 7-8 AM (5)
Jul 13, 8-9 AM (7)
Jul 13, 9-10 AM (17)
Jul 13, 10-11 AM (5)
Jul 13, 11-12 PM (7)
Jul 13, 12-1 PM (5)
Jul 13, 1-2 PM (4)
Jul 13, 2-3 PM (5)
Jul 13, 3-4 PM (10)
Jul 13, 4-5 PM (4)
Jul 13, 5-6 PM (11)
Jul 13, 6-7 PM (4)
Jul 13, 7-8 PM (5)
Jul 13, 8-9 PM (8)
Jul 13, 9-10 PM (7)
Jul 13, 10-11 PM (23)
Jul 13, 11-12 AM (22)
Jul 14, 12-1 AM (6)
Jul 14, 1-2 AM (3)
Jul 14, 2-3 AM (4)
Jul 14, 3-4 AM (5)
Jul 14, 4-5 AM (2)
Jul 14, 5-6 AM (2)
Jul 14, 6-7 AM (1)
Jul 14, 7-8 AM (6)
Jul 14, 8-9 AM (4)
Jul 14, 9-10 AM (5)
Jul 14, 10-11 AM (3)
Jul 14, 11-12 PM (6)
Jul 14, 12-1 PM (7)
Jul 14, 1-2 PM (8)
Jul 14, 2-3 PM (14)
Jul 14, 3-4 PM (35)
Jul 14, 4-5 PM (7)
Jul 14, 5-6 PM (13)
Jul 14, 6-7 PM (3)
Jul 14, 7-8 PM (3)
Jul 14, 8-9 PM (6)
Jul 14, 9-10 PM (2)
Jul 14, 10-11 PM (20)
Jul 14, 11-12 AM (18)
Jul 15, 12-1 AM (10)
Jul 15, 1-2 AM (5)
Jul 15, 2-3 AM (2)
Jul 15, 3-4 AM (14)
Jul 15, 4-5 AM (7)
Jul 15, 5-6 AM (12)
Jul 15, 6-7 AM (19)
Jul 15, 7-8 AM (63)
Jul 15, 8-9 AM (91)
Jul 15, 9-10 AM (59)
Jul 15, 10-11 AM (60)
Jul 15, 11-12 PM (83)
Jul 15, 12-1 PM (64)
Jul 15, 1-2 PM (52)
Jul 15, 2-3 PM (37)
Jul 15, 3-4 PM (28)
Jul 15, 4-5 PM (23)
Jul 15, 5-6 PM (23)
Jul 15, 6-7 PM (10)
Jul 15, 7-8 PM (17)
Jul 15, 8-9 PM (22)
Jul 15, 9-10 PM (32)
Jul 15, 10-11 PM (34)
Jul 15, 11-12 AM (24)
Jul 16, 12-1 AM (9)
Jul 16, 1-2 AM (10)
Jul 16, 2-3 AM (16)
Jul 16, 3-4 AM (18)
Jul 16, 4-5 AM (11)
Jul 16, 5-6 AM (17)
Jul 16, 6-7 AM (24)
Jul 16, 7-8 AM (38)
Jul 16, 8-9 AM (52)
Jul 16, 9-10 AM (50)
Jul 16, 10-11 AM (60)
Jul 16, 11-12 PM (80)
Jul 16, 12-1 PM (87)
Jul 16, 1-2 PM (48)
Jul 16, 2-3 PM (78)
Jul 16, 3-4 PM (42)
Jul 16, 4-5 PM (24)
Jul 16, 5-6 PM (14)
Jul 16, 6-7 PM (20)
Jul 16, 7-8 PM (58)
Jul 16, 8-9 PM (10)
Jul 16, 9-10 PM (8)
Jul 16, 10-11 PM (27)
Jul 16, 11-12 AM (31)
Jul 17, 12-1 AM (6)
Jul 17, 1-2 AM (8)
Jul 17, 2-3 AM (3)
Jul 17, 3-4 AM (5)
Jul 17, 4-5 AM (3)
Jul 17, 5-6 AM (4)
Jul 17, 6-7 AM (21)
Jul 17, 7-8 AM (46)
Jul 17, 8-9 AM (55)
Jul 17, 9-10 AM (63)
Jul 17, 10-11 AM (47)
Jul 17, 11-12 PM (76)
Jul 17, 12-1 PM (33)
Jul 17, 1-2 PM (53)
Jul 17, 2-3 PM (60)
Jul 17, 3-4 PM (53)
Jul 17, 4-5 PM (10)
Jul 17, 5-6 PM (24)
Jul 17, 6-7 PM (30)
Jul 17, 7-8 PM (16)
Jul 17, 8-9 PM (16)
Jul 17, 9-10 PM (8)
Jul 17, 10-11 PM (24)
Jul 17, 11-12 AM (18)
Jul 18, 12-1 AM (8)
Jul 18, 1-2 AM (18)
Jul 18, 2-3 AM (7)
Jul 18, 3-4 AM (6)
Jul 18, 4-5 AM (2)
Jul 18, 5-6 AM (23)
Jul 18, 6-7 AM (21)
Jul 18, 7-8 AM (39)
Jul 18, 8-9 AM (63)
Jul 18, 9-10 AM (96)
Jul 18, 10-11 AM (176)
Jul 18, 11-12 PM (215)
Jul 18, 12-1 PM (56)
Jul 18, 1-2 PM (45)
Jul 18, 2-3 PM (42)
Jul 18, 3-4 PM (62)
Jul 18, 4-5 PM (28)
Jul 18, 5-6 PM (21)
Jul 18, 6-7 PM (25)
Jul 18, 7-8 PM (22)
Jul 18, 8-9 PM (12)
Jul 18, 9-10 PM (20)
Jul 18, 10-11 PM (17)
Jul 18, 11-12 AM (6)
Jul 19, 12-1 AM (13)
Jul 19, 1-2 AM (43)
Jul 19, 2-3 AM (6)
Jul 19, 3-4 AM (3)
Jul 19, 4-5 AM (3)
Jul 19, 5-6 AM (5)
Jul 19, 6-7 AM (29)
Jul 19, 7-8 AM (350)
Jul 19, 8-9 AM (102)
Jul 19, 9-10 AM (67)
Jul 19, 10-11 AM (68)
Jul 19, 11-12 PM (47)
Jul 19, 12-1 PM (91)
Jul 19, 1-2 PM (61)
Jul 19, 2-3 PM (37)
Jul 19, 3-4 PM (49)
Jul 19, 4-5 PM (46)
Jul 19, 5-6 PM (12)
Jul 19, 6-7 PM (10)
Jul 19, 7-8 PM (1)
4,822 commits this week Jul 12, 2024 - Jul 19, 2024
Added minitracing over things with ExecSpecRule instances.
Add a few missing constraints from CERT and GOVCERT.

Removed screening out some Signals. They were screened out because of bugs in
the Agda MAlonzo code, or because the conformance tests could not handle
differences between the Spec and the Implementation. An example of this was
screening out the RetirePool PoolCert because the implementation and the spec
changed the state in different rules. This caused all sorts of problems by
breaking the generators. So now all signals are generated fairly, and and
broken conformance tests are moved from 'prop' to 'xprop' until the MAlonzo
code is fixed, or differences can be adjusted.