ouroboros-leios-sim - 26 commits this week

Home / Input Output / ouroboros-leios-sim

Insights Pull Requests

Sep 09, 6-7 PM (0)

Sep 09, 7-8 PM (1)

Sep 09, 8-9 PM (0)

Sep 09, 9-10 PM (0)

Sep 09, 10-11 PM (0)

Sep 09, 11-12 AM (0)

Sep 10, 12-1 AM (0)

Sep 10, 1-2 AM (0)

Sep 10, 2-3 AM (0)

Sep 10, 3-4 AM (0)

Sep 10, 4-5 AM (0)

Sep 10, 5-6 AM (0)

Sep 10, 6-7 AM (0)

Sep 10, 7-8 AM (0)

Sep 10, 8-9 AM (3)

Sep 10, 9-10 AM (0)

Sep 10, 10-11 AM (1)

Sep 10, 11-12 PM (0)

Sep 10, 12-1 PM (0)

Sep 10, 1-2 PM (0)

Sep 10, 2-3 PM (0)

Sep 10, 3-4 PM (1)

Sep 10, 4-5 PM (1)

Sep 10, 5-6 PM (0)

Sep 10, 6-7 PM (0)

Sep 10, 7-8 PM (0)

Sep 10, 8-9 PM (0)

Sep 10, 9-10 PM (0)

Sep 10, 10-11 PM (0)

Sep 10, 11-12 AM (0)

Sep 11, 12-1 AM (0)

Sep 11, 1-2 AM (0)

Sep 11, 2-3 AM (0)

Sep 11, 3-4 AM (0)

Sep 11, 4-5 AM (0)

Sep 11, 5-6 AM (0)

Sep 11, 6-7 AM (0)

Sep 11, 7-8 AM (0)

Sep 11, 8-9 AM (0)

Sep 11, 9-10 AM (0)

Sep 11, 10-11 AM (0)

Sep 11, 11-12 PM (1)

Sep 11, 12-1 PM (0)

Sep 11, 1-2 PM (10)

Sep 11, 2-3 PM (2)

Sep 11, 3-4 PM (0)

Sep 11, 4-5 PM (0)

Sep 11, 5-6 PM (0)

Sep 11, 6-7 PM (0)

Sep 11, 7-8 PM (0)

Sep 11, 8-9 PM (0)

Sep 11, 9-10 PM (0)

Sep 11, 10-11 PM (0)

Sep 11, 11-12 AM (0)

Sep 12, 12-1 AM (0)

Sep 12, 1-2 AM (0)

Sep 12, 2-3 AM (0)

Sep 12, 3-4 AM (0)

Sep 12, 4-5 AM (0)

Sep 12, 5-6 AM (0)

Sep 12, 6-7 AM (0)

Sep 12, 7-8 AM (0)

Sep 12, 8-9 AM (0)

Sep 12, 9-10 AM (0)

Sep 12, 10-11 AM (0)

Sep 12, 11-12 PM (0)

Sep 12, 12-1 PM (0)

Sep 12, 1-2 PM (1)

Sep 12, 2-3 PM (0)

Sep 12, 3-4 PM (0)

Sep 12, 4-5 PM (0)

Sep 12, 5-6 PM (0)

Sep 12, 6-7 PM (0)

Sep 12, 7-8 PM (0)

Sep 12, 8-9 PM (2)

Sep 12, 9-10 PM (0)

Sep 12, 10-11 PM (0)

Sep 12, 11-12 AM (0)

Sep 13, 12-1 AM (0)

Sep 13, 1-2 AM (0)

Sep 13, 2-3 AM (0)

Sep 13, 3-4 AM (0)

Sep 13, 4-5 AM (0)

Sep 13, 5-6 AM (0)

Sep 13, 6-7 AM (0)

Sep 13, 7-8 AM (0)

Sep 13, 8-9 AM (0)

Sep 13, 9-10 AM (0)

Sep 13, 10-11 AM (0)

Sep 13, 11-12 PM (0)

Sep 13, 12-1 PM (0)

Sep 13, 1-2 PM (0)

Sep 13, 2-3 PM (0)

Sep 13, 3-4 PM (0)

Sep 13, 4-5 PM (0)

Sep 13, 5-6 PM (0)

Sep 13, 6-7 PM (0)

Sep 13, 7-8 PM (0)

Sep 13, 8-9 PM (0)

Sep 13, 9-10 PM (0)

Sep 13, 10-11 PM (0)

Sep 13, 11-12 AM (0)

Sep 14, 12-1 AM (0)

Sep 14, 1-2 AM (0)

Sep 14, 2-3 AM (0)

Sep 14, 3-4 AM (0)

Sep 14, 4-5 AM (0)

Sep 14, 5-6 AM (0)

Sep 14, 6-7 AM (0)

Sep 14, 7-8 AM (0)

Sep 14, 8-9 AM (0)

Sep 14, 9-10 AM (0)

Sep 14, 10-11 AM (0)

Sep 14, 11-12 PM (0)

Sep 14, 12-1 PM (0)

Sep 14, 1-2 PM (0)

Sep 14, 2-3 PM (0)

Sep 14, 3-4 PM (0)

Sep 14, 4-5 PM (0)

Sep 14, 5-6 PM (0)

Sep 14, 6-7 PM (0)

Sep 14, 7-8 PM (0)

Sep 14, 8-9 PM (0)

Sep 14, 9-10 PM (0)

Sep 14, 10-11 PM (0)

Sep 14, 11-12 AM (0)

Sep 15, 12-1 AM (0)

Sep 15, 1-2 AM (0)

Sep 15, 2-3 AM (0)

Sep 15, 3-4 AM (0)

Sep 15, 4-5 AM (0)

Sep 15, 5-6 AM (0)

Sep 15, 6-7 AM (0)

Sep 15, 7-8 AM (0)

Sep 15, 8-9 AM (0)

Sep 15, 9-10 AM (0)

Sep 15, 10-11 AM (0)

Sep 15, 11-12 PM (0)

Sep 15, 12-1 PM (0)

Sep 15, 1-2 PM (0)

Sep 15, 2-3 PM (0)

Sep 15, 3-4 PM (0)

Sep 15, 4-5 PM (0)

Sep 15, 5-6 PM (0)

Sep 15, 6-7 PM (0)

Sep 15, 7-8 PM (0)

Sep 15, 8-9 PM (1)

Sep 15, 9-10 PM (0)

Sep 15, 10-11 PM (0)

Sep 15, 11-12 AM (0)

Sep 16, 12-1 AM (0)

Sep 16, 1-2 AM (0)

Sep 16, 2-3 AM (0)

Sep 16, 3-4 AM (0)

Sep 16, 4-5 AM (0)

Sep 16, 5-6 AM (0)

Sep 16, 6-7 AM (0)

Sep 16, 7-8 AM (2)

Sep 16, 8-9 AM (0)

Sep 16, 9-10 AM (0)

Sep 16, 10-11 AM (0)

Sep 16, 11-12 PM (0)

Sep 16, 12-1 PM (0)

Sep 16, 1-2 PM (0)

Sep 16, 2-3 PM (0)

Sep 16, 3-4 PM (0)

Sep 16, 4-5 PM (0)

Sep 16, 5-6 PM (0)

Sep 16, 6-7 PM (0)

26 commits this week Sep 09, 2025 - Sep 16, 2025

ch1bo · Tue, 16 Sep 25 08:48:05 +0000 · ouroboros-leios-sim

Add more detail to improvement proposal objective

32b06f2b · roadmap · 1/12 ++ 0 --

ch1bo · Tue, 16 Sep 25 08:48:02 +0000 · ouroboros-leios-sim

Add github project preview

206fdbd9 · roadmap · 2/8 ++ 0 --

nfrisby · Mon, 15 Sep 25 21:38:48 +0000 · ouroboros-leios-sim

Draft docs/DESIGN.md

a06a270f · nfrisby/draft-DESIGN · 1/134 ++ 0 --

bwbush · Fri, 12 Sep 25 21:22:06 +0000 · ouroboros-leios-sim

Micro-mainnet (#548)

* Created "micro-mainnet" topology
* Designed experiment to compare network topologies
* Analysis of experimental results
* Updated tech report 2
* Updated logbook

e7e23f49 · main · 36/8,044 ++ 51 --

bwbush · Fri, 12 Sep 25 21:21:05 +0000 · ouroboros-leios-sim

Added link to experiment

ea3e445e · pull/548/head · 1/4 ++ 3 --

yveshauser · Fri, 12 Sep 25 14:45:20 +0000 · ouroboros-leios-sim

Linear Leios trace verifier (#539)

694e1281 · main · 20/615 ++ 30 --

bwbush · Thu, 11 Sep 25 15:05:00 +0000 · ouroboros-leios-sim

Resource for deltaq modeling of linear leios (#545)

* Resource for deltaq modeling of linear leios
* Petri net for ledger
* Petri net for mempool
* Timings for ledger operations
* Table of contents
* References to source data in each section
* Petri net for voting and certification
* Updated logbook

90106d8e · main · 2/501 ++ 0 --