Logbook.md: 2025w26 for Haskell simulator
Home /
Input Output /
ouroboros-leios-sim
Jun 23, 9-10 PM (0)
Jun 23, 10-11 PM (0)
Jun 23, 11-12 AM (0)
Jun 24, 12-1 AM (0)
Jun 24, 1-2 AM (0)
Jun 24, 2-3 AM (0)
Jun 24, 3-4 AM (0)
Jun 24, 4-5 AM (0)
Jun 24, 5-6 AM (0)
Jun 24, 6-7 AM (0)
Jun 24, 7-8 AM (5)
Jun 24, 8-9 AM (0)
Jun 24, 9-10 AM (0)
Jun 24, 10-11 AM (0)
Jun 24, 11-12 PM (2)
Jun 24, 12-1 PM (0)
Jun 24, 1-2 PM (0)
Jun 24, 2-3 PM (0)
Jun 24, 3-4 PM (0)
Jun 24, 4-5 PM (0)
Jun 24, 5-6 PM (16)
Jun 24, 6-7 PM (0)
Jun 24, 7-8 PM (6)
Jun 24, 8-9 PM (2)
Jun 24, 9-10 PM (0)
Jun 24, 10-11 PM (0)
Jun 24, 11-12 AM (1)
Jun 25, 12-1 AM (0)
Jun 25, 1-2 AM (0)
Jun 25, 2-3 AM (0)
Jun 25, 3-4 AM (0)
Jun 25, 4-5 AM (0)
Jun 25, 5-6 AM (0)
Jun 25, 6-7 AM (0)
Jun 25, 7-8 AM (3)
Jun 25, 8-9 AM (0)
Jun 25, 9-10 AM (0)
Jun 25, 10-11 AM (0)
Jun 25, 11-12 PM (0)
Jun 25, 12-1 PM (1)
Jun 25, 1-2 PM (3)
Jun 25, 2-3 PM (0)
Jun 25, 3-4 PM (0)
Jun 25, 4-5 PM (0)
Jun 25, 5-6 PM (1)
Jun 25, 6-7 PM (0)
Jun 25, 7-8 PM (0)
Jun 25, 8-9 PM (0)
Jun 25, 9-10 PM (0)
Jun 25, 10-11 PM (0)
Jun 25, 11-12 AM (0)
Jun 26, 12-1 AM (0)
Jun 26, 1-2 AM (0)
Jun 26, 2-3 AM (0)
Jun 26, 3-4 AM (0)
Jun 26, 4-5 AM (0)
Jun 26, 5-6 AM (0)
Jun 26, 6-7 AM (0)
Jun 26, 7-8 AM (1)
Jun 26, 8-9 AM (0)
Jun 26, 9-10 AM (0)
Jun 26, 10-11 AM (0)
Jun 26, 11-12 PM (0)
Jun 26, 12-1 PM (0)
Jun 26, 1-2 PM (1)
Jun 26, 2-3 PM (0)
Jun 26, 3-4 PM (0)
Jun 26, 4-5 PM (1)
Jun 26, 5-6 PM (2)
Jun 26, 6-7 PM (1)
Jun 26, 7-8 PM (3)
Jun 26, 8-9 PM (0)
Jun 26, 9-10 PM (0)
Jun 26, 10-11 PM (0)
Jun 26, 11-12 AM (0)
Jun 27, 12-1 AM (0)
Jun 27, 1-2 AM (0)
Jun 27, 2-3 AM (0)
Jun 27, 3-4 AM (0)
Jun 27, 4-5 AM (0)
Jun 27, 5-6 AM (0)
Jun 27, 6-7 AM (0)
Jun 27, 7-8 AM (0)
Jun 27, 8-9 AM (0)
Jun 27, 9-10 AM (0)
Jun 27, 10-11 AM (0)
Jun 27, 11-12 PM (0)
Jun 27, 12-1 PM (0)
Jun 27, 1-2 PM (9)
Jun 27, 2-3 PM (0)
Jun 27, 3-4 PM (0)
Jun 27, 4-5 PM (0)
Jun 27, 5-6 PM (3)
Jun 27, 6-7 PM (0)
Jun 27, 7-8 PM (0)
Jun 27, 8-9 PM (0)
Jun 27, 9-10 PM (0)
Jun 27, 10-11 PM (0)
Jun 27, 11-12 AM (0)
Jun 28, 12-1 AM (0)
Jun 28, 1-2 AM (0)
Jun 28, 2-3 AM (0)
Jun 28, 3-4 AM (0)
Jun 28, 4-5 AM (0)
Jun 28, 5-6 AM (0)
Jun 28, 6-7 AM (0)
Jun 28, 7-8 AM (0)
Jun 28, 8-9 AM (0)
Jun 28, 9-10 AM (0)
Jun 28, 10-11 AM (0)
Jun 28, 11-12 PM (0)
Jun 28, 12-1 PM (0)
Jun 28, 1-2 PM (0)
Jun 28, 2-3 PM (0)
Jun 28, 3-4 PM (0)
Jun 28, 4-5 PM (0)
Jun 28, 5-6 PM (0)
Jun 28, 6-7 PM (0)
Jun 28, 7-8 PM (0)
Jun 28, 8-9 PM (0)
Jun 28, 9-10 PM (0)
Jun 28, 10-11 PM (0)
Jun 28, 11-12 AM (0)
Jun 29, 12-1 AM (0)
Jun 29, 1-2 AM (0)
Jun 29, 2-3 AM (0)
Jun 29, 3-4 AM (0)
Jun 29, 4-5 AM (0)
Jun 29, 5-6 AM (0)
Jun 29, 6-7 AM (0)
Jun 29, 7-8 AM (0)
Jun 29, 8-9 AM (0)
Jun 29, 9-10 AM (0)
Jun 29, 10-11 AM (0)
Jun 29, 11-12 PM (0)
Jun 29, 12-1 PM (0)
Jun 29, 1-2 PM (1)
Jun 29, 2-3 PM (0)
Jun 29, 3-4 PM (0)
Jun 29, 4-5 PM (0)
Jun 29, 5-6 PM (0)
Jun 29, 6-7 PM (0)
Jun 29, 7-8 PM (0)
Jun 29, 8-9 PM (0)
Jun 29, 9-10 PM (0)
Jun 29, 10-11 PM (0)
Jun 29, 11-12 AM (0)
Jun 30, 12-1 AM (0)
Jun 30, 1-2 AM (0)
Jun 30, 2-3 AM (0)
Jun 30, 3-4 AM (0)
Jun 30, 4-5 AM (0)
Jun 30, 5-6 AM (0)
Jun 30, 6-7 AM (0)
Jun 30, 7-8 AM (0)
Jun 30, 8-9 AM (0)
Jun 30, 9-10 AM (0)
Jun 30, 10-11 AM (0)
Jun 30, 11-12 PM (0)
Jun 30, 12-1 PM (0)
Jun 30, 1-2 PM (1)
Jun 30, 2-3 PM (1)
Jun 30, 3-4 PM (2)
Jun 30, 4-5 PM (0)
Jun 30, 5-6 PM (0)
Jun 30, 6-7 PM (0)
Jun 30, 7-8 PM (0)
Jun 30, 8-9 PM (0)
Jun 30, 9-10 PM (0)
66 commits this week
Jun 23, 2025
-
Jun 30, 2025
Logbook.md: 2025w26 for Haskell simulator
Designed 50 TPS praos experiment
Designed experiment for high TPS of small transactions
Experiment of Praos with large blocks
Explain state variables in Haskell SimulatorModel.md
Also fix a few typos
Avoid false alarm in assertion that involves floating point arithmetic
The FP arithmetic that leads to the branch with the assertion and the assertion's FP arithmetic are now in monotonic relationship.
Add --skip-triangle-inequality-check flag to ols
Experiments on Leios variants at tag `leios-2025w26` (#429)
* Designed variants experiment * Updated trace processor to handle the no-IB variant * Analyzed variants experiment * Updated logbook
Designed variants experiment
First draft of variants results
Tweaked configurations for variant experiment
Updated trace processor to handle the no-IB variant
Analyzed variants experiment
Updated trace processor to handle the no-IB variant
deploy: a78de5b5d4e8a5677a32b47b432f8019dfd6e7a8
visualizer: fix security warnings
WIP instrument and attempt fix for the tardy ACK assertion failure on psuedo-mainnet
DONOTMERGE skip triangle inequality check
First draft of variants results