Work in progress on property-based tests
Home /
Input Output /
ouroboros-leios-sim
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 (0)
Oct 25, 6-7 AM (0)
Oct 25, 7-8 AM (0)
Oct 25, 8-9 AM (4)
Oct 25, 9-10 AM (1)
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 (0)
Oct 27, 6-7 AM (0)
Oct 27, 7-8 AM (1)
Oct 27, 8-9 AM (0)
Oct 27, 9-10 AM (1)
Oct 27, 10-11 AM (0)
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 (2)
Oct 28, 12-1 AM (1)
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 (1)
Oct 28, 4-5 PM (0)
Oct 28, 5-6 PM (1)
Oct 28, 6-7 PM (0)
Oct 28, 7-8 PM (2)
Oct 28, 8-9 PM (0)
Oct 28, 9-10 PM (0)
Oct 28, 10-11 PM (0)
Oct 28, 11-12 AM (0)
Oct 29, 12-1 AM (0)
Oct 29, 1-2 AM (0)
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 (1)
Oct 29, 7-8 AM (0)
Oct 29, 8-9 AM (9)
Oct 29, 9-10 AM (0)
Oct 29, 10-11 AM (6)
Oct 29, 11-12 PM (0)
Oct 29, 12-1 PM (0)
Oct 29, 1-2 PM (0)
Oct 29, 2-3 PM (0)
Oct 29, 3-4 PM (0)
Oct 29, 4-5 PM (2)
Oct 29, 5-6 PM (0)
Oct 29, 6-7 PM (0)
Oct 29, 7-8 PM (1)
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 (0)
Oct 30, 2-3 AM (0)
Oct 30, 3-4 AM (0)
Oct 30, 4-5 AM (0)
Oct 30, 5-6 AM (2)
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 (0)
Oct 30, 11-12 PM (5)
Oct 30, 12-1 PM (0)
Oct 30, 1-2 PM (2)
Oct 30, 2-3 PM (0)
Oct 30, 3-4 PM (0)
Oct 30, 4-5 PM (0)
Oct 30, 5-6 PM (2)
Oct 30, 6-7 PM (0)
Oct 30, 7-8 PM (2)
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 (0)
Oct 31, 4-5 PM (0)
Oct 31, 5-6 PM (0)
Oct 31, 6-7 PM (0)
Oct 31, 7-8 PM (0)
Oct 31, 8-9 PM (0)
Oct 31, 9-10 PM (0)
Oct 31, 10-11 PM (0)
Oct 31, 11-12 AM (0)
Nov 01, 12-1 AM (0)
46 commits this week
Oct 25, 2025
-
Nov 01, 2025
Tidied up function definitions
Restored some options to lake file
Moved source files to src/
Analyzed 1.4.0 results and compared to previous versions
Completed 1.4.0 simulation
Added 1.4.0 to regression tests
Added leios-mempool-size-bytes parameter to config
Added code comments and documentation to markovian model (#591)
* Added code comments to leios trace verifier * Added source documentation
Add code comments to leios trace verifier (#590)
* Added code comments to leios trace verifier
Code comments and documentation for crypto benchmarks (#588)
* Documented functions and structures * Added images * Added comments on fields. * Added efficiency notes. * Added figures to read-me * `cargo update`
deploy: 3e093873805a6fa506836ed4429847f5957c0661
site: update monthly reviews for October
functionality and roadmap
rebased on latest design doc
Fix link to technical design
Multi-line TODOs
This improves rendering in PDF
Update changelog and version
New technical design chapter
Use relevant impact analysis sections as starting point instead of the AI-summarized work of the impact analysis.
Re-order chapters so architecure/design is last
Re-order chapters so architecure/design is last
Add concrete cardinalities on thread concurrency