Test for simulation probabilities
Home /
Input Output /
ouroboros-leios
Oct 25, 12-1 AM (0)
Oct 25, 1-2 AM (0)
Oct 25, 2-3 AM (0)
Oct 25, 3-4 AM (0)
Oct 25, 4-5 AM (0)
Oct 25, 5-6 AM (2)
Oct 25, 6-7 AM (0)
Oct 25, 7-8 AM (1)
Oct 25, 8-9 AM (1)
Oct 25, 9-10 AM (0)
Oct 25, 10-11 AM (0)
Oct 25, 11-12 PM (0)
Oct 25, 12-1 PM (0)
Oct 25, 1-2 PM (0)
Oct 25, 2-3 PM (0)
Oct 25, 3-4 PM (0)
Oct 25, 4-5 PM (0)
Oct 25, 5-6 PM (0)
Oct 25, 6-7 PM (0)
Oct 25, 7-8 PM (0)
Oct 25, 8-9 PM (0)
Oct 25, 9-10 PM (0)
Oct 25, 10-11 PM (0)
Oct 25, 11-12 AM (0)
Oct 26, 12-1 AM (0)
Oct 26, 1-2 AM (0)
Oct 26, 2-3 AM (0)
Oct 26, 3-4 AM (0)
Oct 26, 4-5 AM (0)
Oct 26, 5-6 AM (0)
Oct 26, 6-7 AM (0)
Oct 26, 7-8 AM (0)
Oct 26, 8-9 AM (0)
Oct 26, 9-10 AM (0)
Oct 26, 10-11 AM (0)
Oct 26, 11-12 PM (0)
Oct 26, 12-1 PM (0)
Oct 26, 1-2 PM (0)
Oct 26, 2-3 PM (0)
Oct 26, 3-4 PM (0)
Oct 26, 4-5 PM (0)
Oct 26, 5-6 PM (0)
Oct 26, 6-7 PM (0)
Oct 26, 7-8 PM (0)
Oct 26, 8-9 PM (0)
Oct 26, 9-10 PM (0)
Oct 26, 10-11 PM (0)
Oct 26, 11-12 AM (0)
Oct 27, 12-1 AM (0)
Oct 27, 1-2 AM (0)
Oct 27, 2-3 AM (0)
Oct 27, 3-4 AM (0)
Oct 27, 4-5 AM (0)
Oct 27, 5-6 AM (1)
Oct 27, 6-7 AM (0)
Oct 27, 7-8 AM (0)
Oct 27, 8-9 AM (0)
Oct 27, 9-10 AM (2)
Oct 27, 10-11 AM (2)
Oct 27, 11-12 PM (0)
Oct 27, 12-1 PM (0)
Oct 27, 1-2 PM (0)
Oct 27, 2-3 PM (0)
Oct 27, 3-4 PM (0)
Oct 27, 4-5 PM (0)
Oct 27, 5-6 PM (0)
Oct 27, 6-7 PM (0)
Oct 27, 7-8 PM (0)
Oct 27, 8-9 PM (0)
Oct 27, 9-10 PM (0)
Oct 27, 10-11 PM (0)
Oct 27, 11-12 AM (3)
Oct 28, 12-1 AM (2)
Oct 28, 1-2 AM (0)
Oct 28, 2-3 AM (0)
Oct 28, 3-4 AM (0)
Oct 28, 4-5 AM (0)
Oct 28, 5-6 AM (0)
Oct 28, 6-7 AM (0)
Oct 28, 7-8 AM (0)
Oct 28, 8-9 AM (0)
Oct 28, 9-10 AM (0)
Oct 28, 10-11 AM (0)
Oct 28, 11-12 PM (0)
Oct 28, 12-1 PM (0)
Oct 28, 1-2 PM (0)
Oct 28, 2-3 PM (0)
Oct 28, 3-4 PM (0)
Oct 28, 4-5 PM (0)
Oct 28, 5-6 PM (0)
Oct 28, 6-7 PM (0)
Oct 28, 7-8 PM (0)
Oct 28, 8-9 PM (0)
Oct 28, 9-10 PM (1)
Oct 28, 10-11 PM (0)
Oct 28, 11-12 AM (0)
Oct 29, 12-1 AM (0)
Oct 29, 1-2 AM (1)
Oct 29, 2-3 AM (0)
Oct 29, 3-4 AM (0)
Oct 29, 4-5 AM (0)
Oct 29, 5-6 AM (0)
Oct 29, 6-7 AM (0)
Oct 29, 7-8 AM (19)
Oct 29, 8-9 AM (8)
Oct 29, 9-10 AM (8)
Oct 29, 10-11 AM (19)
Oct 29, 11-12 PM (16)
Oct 29, 12-1 PM (17)
Oct 29, 1-2 PM (0)
Oct 29, 2-3 PM (1)
Oct 29, 3-4 PM (0)
Oct 29, 4-5 PM (0)
Oct 29, 5-6 PM (0)
Oct 29, 6-7 PM (0)
Oct 29, 7-8 PM (0)
Oct 29, 8-9 PM (0)
Oct 29, 9-10 PM (0)
Oct 29, 10-11 PM (0)
Oct 29, 11-12 AM (0)
Oct 30, 12-1 AM (0)
Oct 30, 1-2 AM (1)
Oct 30, 2-3 AM (0)
Oct 30, 3-4 AM (0)
Oct 30, 4-5 AM (0)
Oct 30, 5-6 AM (0)
Oct 30, 6-7 AM (0)
Oct 30, 7-8 AM (0)
Oct 30, 8-9 AM (0)
Oct 30, 9-10 AM (0)
Oct 30, 10-11 AM (3)
Oct 30, 11-12 PM (0)
Oct 30, 12-1 PM (0)
Oct 30, 1-2 PM (0)
Oct 30, 2-3 PM (1)
Oct 30, 3-4 PM (0)
Oct 30, 4-5 PM (0)
Oct 30, 5-6 PM (1)
Oct 30, 6-7 PM (0)
Oct 30, 7-8 PM (0)
Oct 30, 8-9 PM (0)
Oct 30, 9-10 PM (0)
Oct 30, 10-11 PM (0)
Oct 30, 11-12 AM (0)
Oct 31, 12-1 AM (0)
Oct 31, 1-2 AM (0)
Oct 31, 2-3 AM (0)
Oct 31, 3-4 AM (0)
Oct 31, 4-5 AM (0)
Oct 31, 5-6 AM (0)
Oct 31, 6-7 AM (0)
Oct 31, 7-8 AM (0)
Oct 31, 8-9 AM (0)
Oct 31, 9-10 AM (0)
Oct 31, 10-11 AM (0)
Oct 31, 11-12 PM (0)
Oct 31, 12-1 PM (0)
Oct 31, 1-2 PM (0)
Oct 31, 2-3 PM (0)
Oct 31, 3-4 PM (1)
Oct 31, 4-5 PM (0)
Oct 31, 5-6 PM (0)
Oct 31, 6-7 PM (1)
Oct 31, 7-8 PM (0)
Oct 31, 8-9 PM (1)
Oct 31, 9-10 PM (0)
Oct 31, 10-11 PM (0)
Oct 31, 11-12 AM (0)
Nov 01, 12-1 AM (0)
113 commits this week
Oct 25, 2025
-
Nov 01, 2025
Work in progress on property-based tests
Switched to using lakefile.lean instead of lakefile.toml
Add `sim-cli` 1.4.0 to regression experiment (#608)
* Added leios-mempool-size-bytes parameter to config * Added 1.4.0 to regression tests * Completed 1.4.0 simulation * Analyzed 1.4.0 results and compared to previous versions
Merge branch 'main' into bwbush/doc-rust
Merge branch 'main' into bwbush/doc-markov
Merge branch 'main' into bwbush/doc-ltp
Update README instructions for demo setup and Python dependencies
Signed-off-by: Hamza Jeljeli <[email protected]>
design for crypto
Merge pull request #600 from input-output-hk/hjeljeli32/voting-demo
Leios's Voting Demo
display environment information in the UI
make UI visualize committee, voters and certificate info
enhance UI visualization of Pools, Committee Selection and Voting
make UI show all steps: CM selection, voting, aggregation, verification
make UI visualize Pools in appealing way
add minimal ui that summarizes certificate
update pretty_print_cert to print voter IDs in summary