From 6205ad10680e76905e8d72968652c54dab6d3bcd Mon Sep 17 00:00:00 2001
From: Andrea Vezzosi <andrea@well-typed.com>
Date: Fri, 13 Dec 2024 16:55:22 +0100
Subject: [PATCH] updated Logbook

---
 Logbook.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/Logbook.md b/Logbook.md
index c6292f79..fb6b7bae 100644
--- a/Logbook.md
+++ b/Logbook.md
@@ -1,5 +1,18 @@
 # Leios logbook
 
+## 2024-12-13
+
+### Haskell simulation
+
+- Merged leios visualizations on `main`.
+- P2P visualization improvements:
+  * Block types are differentiated by shapes, and pipelines by color.
+  * Charting diffusion latency of each block type.
+  * TODO: chart CPU usage.
+- Reworked generation of EBs and Votes to handle `>= 1` frequencies
+  like IBs (except max 1 EB per pipeline per node).
+- Visualizations helped with discovering and fixing some modeling errors.
+
 ## 2024-12-12
 
 ### Review Session 1 - Formal Specification