Merge pull request #15 from rrruko/rrruko/constr-tag-102
Aug 01, 6-7 PM (20)
Aug 01, 7-8 PM (16)
Aug 01, 8-9 PM (11)
Aug 01, 9-10 PM (9)
Aug 01, 10-11 PM (16)
Aug 01, 11-12 AM (11)
Aug 02, 12-1 AM (6)
Aug 02, 1-2 AM (5)
Aug 02, 2-3 AM (0)
Aug 02, 3-4 AM (1)
Aug 02, 4-5 AM (1)
Aug 02, 5-6 AM (1)
Aug 02, 6-7 AM (7)
Aug 02, 7-8 AM (4)
Aug 02, 8-9 AM (7)
Aug 02, 9-10 AM (0)
Aug 02, 10-11 AM (12)
Aug 02, 11-12 PM (10)
Aug 02, 12-1 PM (5)
Aug 02, 1-2 PM (4)
Aug 02, 2-3 PM (11)
Aug 02, 3-4 PM (4)
Aug 02, 4-5 PM (4)
Aug 02, 5-6 PM (0)
Aug 02, 6-7 PM (7)
Aug 02, 7-8 PM (10)
Aug 02, 8-9 PM (0)
Aug 02, 9-10 PM (0)
Aug 02, 10-11 PM (13)
Aug 02, 11-12 AM (20)
Aug 03, 12-1 AM (2)
Aug 03, 1-2 AM (2)
Aug 03, 2-3 AM (0)
Aug 03, 3-4 AM (3)
Aug 03, 4-5 AM (2)
Aug 03, 5-6 AM (1)
Aug 03, 6-7 AM (1)
Aug 03, 7-8 AM (6)
Aug 03, 8-9 AM (2)
Aug 03, 9-10 AM (4)
Aug 03, 10-11 AM (18)
Aug 03, 11-12 PM (1)
Aug 03, 12-1 PM (3)
Aug 03, 1-2 PM (13)
Aug 03, 2-3 PM (15)
Aug 03, 3-4 PM (12)
Aug 03, 4-5 PM (19)
Aug 03, 5-6 PM (3)
Aug 03, 6-7 PM (20)
Aug 03, 7-8 PM (40)
Aug 03, 8-9 PM (4)
Aug 03, 9-10 PM (7)
Aug 03, 10-11 PM (18)
Aug 03, 11-12 AM (10)
Aug 04, 12-1 AM (5)
Aug 04, 1-2 AM (6)
Aug 04, 2-3 AM (4)
Aug 04, 3-4 AM (3)
Aug 04, 4-5 AM (6)
Aug 04, 5-6 AM (21)
Aug 04, 6-7 AM (46)
Aug 04, 7-8 AM (34)
Aug 04, 8-9 AM (20)
Aug 04, 9-10 AM (26)
Aug 04, 10-11 AM (46)
Aug 04, 11-12 PM (37)
Aug 04, 12-1 PM (44)
Aug 04, 1-2 PM (39)
Aug 04, 2-3 PM (26)
Aug 04, 3-4 PM (92)
Aug 04, 4-5 PM (38)
Aug 04, 5-6 PM (36)
Aug 04, 6-7 PM (14)
Aug 04, 7-8 PM (20)
Aug 04, 8-9 PM (3)
Aug 04, 9-10 PM (7)
Aug 04, 10-11 PM (28)
Aug 04, 11-12 AM (18)
Aug 05, 12-1 AM (9)
Aug 05, 1-2 AM (2)
Aug 05, 2-3 AM (21)
Aug 05, 3-4 AM (18)
Aug 05, 4-5 AM (11)
Aug 05, 5-6 AM (18)
Aug 05, 6-7 AM (39)
Aug 05, 7-8 AM (28)
Aug 05, 8-9 AM (24)
Aug 05, 9-10 AM (23)
Aug 05, 10-11 AM (30)
Aug 05, 11-12 PM (41)
Aug 05, 12-1 PM (45)
Aug 05, 1-2 PM (38)
Aug 05, 2-3 PM (44)
Aug 05, 3-4 PM (41)
Aug 05, 4-5 PM (14)
Aug 05, 5-6 PM (64)
Aug 05, 6-7 PM (4)
Aug 05, 7-8 PM (45)
Aug 05, 8-9 PM (8)
Aug 05, 9-10 PM (14)
Aug 05, 10-11 PM (17)
Aug 05, 11-12 AM (14)
Aug 06, 12-1 AM (6)
Aug 06, 1-2 AM (5)
Aug 06, 2-3 AM (3)
Aug 06, 3-4 AM (3)
Aug 06, 4-5 AM (3)
Aug 06, 5-6 AM (23)
Aug 06, 6-7 AM (36)
Aug 06, 7-8 AM (20)
Aug 06, 8-9 AM (44)
Aug 06, 9-10 AM (51)
Aug 06, 10-11 AM (30)
Aug 06, 11-12 PM (66)
Aug 06, 12-1 PM (48)
Aug 06, 1-2 PM (44)
Aug 06, 2-3 PM (55)
Aug 06, 3-4 PM (25)
Aug 06, 4-5 PM (16)
Aug 06, 5-6 PM (16)
Aug 06, 6-7 PM (16)
Aug 06, 7-8 PM (4)
Aug 06, 8-9 PM (18)
Aug 06, 9-10 PM (11)
Aug 06, 10-11 PM (23)
Aug 06, 11-12 AM (18)
Aug 07, 12-1 AM (2)
Aug 07, 1-2 AM (3)
Aug 07, 2-3 AM (5)
Aug 07, 3-4 AM (1)
Aug 07, 4-5 AM (3)
Aug 07, 5-6 AM (10)
Aug 07, 6-7 AM (32)
Aug 07, 7-8 AM (51)
Aug 07, 8-9 AM (24)
Aug 07, 9-10 AM (23)
Aug 07, 10-11 AM (29)
Aug 07, 11-12 PM (32)
Aug 07, 12-1 PM (136)
Aug 07, 1-2 PM (100)
Aug 07, 2-3 PM (47)
Aug 07, 3-4 PM (19)
Aug 07, 4-5 PM (14)
Aug 07, 5-6 PM (8)
Aug 07, 6-7 PM (13)
Aug 07, 7-8 PM (22)
Aug 07, 8-9 PM (5)
Aug 07, 9-10 PM (6)
Aug 07, 10-11 PM (11)
Aug 07, 11-12 AM (10)
Aug 08, 12-1 AM (3)
Aug 08, 1-2 AM (7)
Aug 08, 2-3 AM (21)
Aug 08, 3-4 AM (9)
Aug 08, 4-5 AM (6)
Aug 08, 5-6 AM (11)
Aug 08, 6-7 AM (23)
Aug 08, 7-8 AM (43)
Aug 08, 8-9 AM (19)
Aug 08, 9-10 AM (82)
Aug 08, 10-11 AM (33)
Aug 08, 11-12 PM (72)
Aug 08, 12-1 PM (88)
Aug 08, 1-2 PM (51)
Aug 08, 2-3 PM (19)
Aug 08, 3-4 PM (18)
Aug 08, 4-5 PM (19)
Aug 08, 5-6 PM (6)
Aug 08, 6-7 PM (1)
3,354 commits this week
Aug 01, 2025
-
Aug 08, 2025
Revised simulation figures for CIP
Merge branch 'master' into kwxm/benchmark-consistency
doc: add details about forks and results
Signed-off-by: Arnaud Bailly <[email protected]>
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 47f4f4ed7f3d5ee95c6e2dd73c5c0eb412c8449f
Fix the flaky nightly constrained generator tests (#5216)
Remove redundant witness constraint in `wdrlSpec`
fix cargo formatting
Signed-off-by: Jonathan Lim <[email protected]>
fixed has length check
Signed-off-by: Jonathan Lim <[email protected]>
refactor: cleanup of unneeded variable
Signed-off-by: Jonathan Lim <[email protected]>
combined legacy datum processing check
Signed-off-by: Jonathan Lim <[email protected]>
handle definite array sizes for legacy output and refactored modern map handling
Signed-off-by: Jonathan Lim <[email protected]>
revised overall structure, adopted pr suggestions
Signed-off-by: Jonathan Lim <[email protected]>
added check for hash length in decode
Signed-off-by: Jonathan Lim <[email protected]>
added definite array to legacy check
Signed-off-by: Jonathan Lim <[email protected]>
cargo formatting fix
Signed-off-by: Jonathan Lim <[email protected]>
followup to address encoding pr
Signed-off-by: Jonathan Lim <[email protected]>
Remove the Categories section
It is not part of the CIP structure, and the content has been covered elsewhere, such as in "Implementation and Integration Considerations"