sim-rs: fix duplicate transactions in praos
Home /
Input Output /
ouroboros-leios-sim
May 18, 9-10 AM (0)
May 18, 10-11 AM (0)
May 18, 11-12 PM (0)
May 18, 12-1 PM (0)
May 18, 1-2 PM (0)
May 18, 2-3 PM (0)
May 18, 3-4 PM (0)
May 18, 4-5 PM (0)
May 18, 5-6 PM (0)
May 18, 6-7 PM (0)
May 18, 7-8 PM (0)
May 18, 8-9 PM (0)
May 18, 9-10 PM (0)
May 18, 10-11 PM (0)
May 18, 11-12 AM (0)
May 19, 12-1 AM (0)
May 19, 1-2 AM (0)
May 19, 2-3 AM (0)
May 19, 3-4 AM (0)
May 19, 4-5 AM (0)
May 19, 5-6 AM (0)
May 19, 6-7 AM (1)
May 19, 7-8 AM (0)
May 19, 8-9 AM (0)
May 19, 9-10 AM (0)
May 19, 10-11 AM (0)
May 19, 11-12 PM (0)
May 19, 12-1 PM (0)
May 19, 1-2 PM (0)
May 19, 2-3 PM (0)
May 19, 3-4 PM (0)
May 19, 4-5 PM (0)
May 19, 5-6 PM (0)
May 19, 6-7 PM (0)
May 19, 7-8 PM (2)
May 19, 8-9 PM (1)
May 19, 9-10 PM (0)
May 19, 10-11 PM (0)
May 19, 11-12 AM (0)
May 20, 12-1 AM (0)
May 20, 1-2 AM (0)
May 20, 2-3 AM (0)
May 20, 3-4 AM (0)
May 20, 4-5 AM (0)
May 20, 5-6 AM (0)
May 20, 6-7 AM (0)
May 20, 7-8 AM (0)
May 20, 8-9 AM (0)
May 20, 9-10 AM (0)
May 20, 10-11 AM (2)
May 20, 11-12 PM (6)
May 20, 12-1 PM (2)
May 20, 1-2 PM (0)
May 20, 2-3 PM (0)
May 20, 3-4 PM (0)
May 20, 4-5 PM (0)
May 20, 5-6 PM (0)
May 20, 6-7 PM (0)
May 20, 7-8 PM (0)
May 20, 8-9 PM (0)
May 20, 9-10 PM (0)
May 20, 10-11 PM (0)
May 20, 11-12 AM (0)
May 21, 12-1 AM (0)
May 21, 1-2 AM (1)
May 21, 2-3 AM (0)
May 21, 3-4 AM (0)
May 21, 4-5 AM (0)
May 21, 5-6 AM (0)
May 21, 6-7 AM (0)
May 21, 7-8 AM (0)
May 21, 8-9 AM (2)
May 21, 9-10 AM (0)
May 21, 10-11 AM (1)
May 21, 11-12 PM (0)
May 21, 12-1 PM (0)
May 21, 1-2 PM (1)
May 21, 2-3 PM (0)
May 21, 3-4 PM (2)
May 21, 4-5 PM (2)
May 21, 5-6 PM (1)
May 21, 6-7 PM (2)
May 21, 7-8 PM (0)
May 21, 8-9 PM (0)
May 21, 9-10 PM (1)
May 21, 10-11 PM (2)
May 21, 11-12 AM (0)
May 22, 12-1 AM (0)
May 22, 1-2 AM (0)
May 22, 2-3 AM (0)
May 22, 3-4 AM (0)
May 22, 4-5 AM (0)
May 22, 5-6 AM (0)
May 22, 6-7 AM (1)
May 22, 7-8 AM (3)
May 22, 8-9 AM (1)
May 22, 9-10 AM (1)
May 22, 10-11 AM (1)
May 22, 11-12 PM (1)
May 22, 12-1 PM (2)
May 22, 1-2 PM (0)
May 22, 2-3 PM (0)
May 22, 3-4 PM (0)
May 22, 4-5 PM (0)
May 22, 5-6 PM (15)
May 22, 6-7 PM (3)
May 22, 7-8 PM (0)
May 22, 8-9 PM (0)
May 22, 9-10 PM (0)
May 22, 10-11 PM (0)
May 22, 11-12 AM (0)
May 23, 12-1 AM (0)
May 23, 1-2 AM (0)
May 23, 2-3 AM (0)
May 23, 3-4 AM (0)
May 23, 4-5 AM (0)
May 23, 5-6 AM (0)
May 23, 6-7 AM (0)
May 23, 7-8 AM (0)
May 23, 8-9 AM (1)
May 23, 9-10 AM (0)
May 23, 10-11 AM (3)
May 23, 11-12 PM (0)
May 23, 12-1 PM (0)
May 23, 1-2 PM (2)
May 23, 2-3 PM (1)
May 23, 3-4 PM (0)
May 23, 4-5 PM (1)
May 23, 5-6 PM (0)
May 23, 6-7 PM (1)
May 23, 7-8 PM (0)
May 23, 8-9 PM (1)
May 23, 9-10 PM (0)
May 23, 10-11 PM (0)
May 23, 11-12 AM (0)
May 24, 12-1 AM (0)
May 24, 1-2 AM (0)
May 24, 2-3 AM (0)
May 24, 3-4 AM (0)
May 24, 4-5 AM (0)
May 24, 5-6 AM (0)
May 24, 6-7 AM (0)
May 24, 7-8 AM (0)
May 24, 8-9 AM (0)
May 24, 9-10 AM (0)
May 24, 10-11 AM (0)
May 24, 11-12 PM (0)
May 24, 12-1 PM (0)
May 24, 1-2 PM (0)
May 24, 2-3 PM (0)
May 24, 3-4 PM (0)
May 24, 4-5 PM (0)
May 24, 5-6 PM (0)
May 24, 6-7 PM (0)
May 24, 7-8 PM (0)
May 24, 8-9 PM (0)
May 24, 9-10 PM (0)
May 24, 10-11 PM (0)
May 24, 11-12 AM (0)
May 25, 12-1 AM (0)
May 25, 1-2 AM (0)
May 25, 2-3 AM (0)
May 25, 3-4 AM (0)
May 25, 4-5 AM (0)
May 25, 5-6 AM (0)
May 25, 6-7 AM (0)
May 25, 7-8 AM (0)
May 25, 8-9 AM (0)
May 25, 9-10 AM (0)
67 commits this week
May 18, 2025
-
May 25, 2025
Designed new tx lifecycle scenario
sim-rs: only generate EBs/Votes for useful pipelines
fix: discontinue on error for docs workflow
git: update agda docs workflows
Merge branch 'main' into yveshauser/trace-verifier-verbose-errors
Added tests for trace verifier
Documentation and test cases for conformance coverage (#364)
* Catalog of conformance-test coverage * Renamed agda test cases * Defined default topology * Defined default configuration * Test case for genesis slot * DSL for defining events in traces * Test for skipping block production * Test of sporadic block production * More elaborate sequences of trace messages * Applied fourmolu formatting * Updated logbook Fixes #361 Fixes #362
Applied fourmolu formatting
More elaborate sequences of trace messages
Test of sporadic block production
Refactored module structure
Test for skipping block production
Implemented IB support in DSL
DSL for defining events in traces
Defined default configuration