ouroboros-leios - 22 commits this week

Home / Input Output / ouroboros-leios

Insights Pull Requests

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 (0)

Sep 11, 12-1 PM (1)

Sep 11, 1-2 PM (4)

Sep 11, 2-3 PM (0)

Sep 11, 3-4 PM (0)

Sep 11, 4-5 PM (0)

Sep 11, 5-6 PM (2)

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 (2)

Sep 12, 1-2 PM (0)

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 (8)

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 (0)

Sep 16, 8-9 AM (0)

Sep 16, 9-10 AM (0)

Sep 16, 10-11 AM (0)

Sep 16, 11-12 PM (1)

Sep 16, 12-1 PM (2)

Sep 16, 1-2 PM (1)

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)

Sep 16, 7-8 PM (0)

Sep 16, 8-9 PM (0)

Sep 16, 9-10 PM (0)

Sep 16, 10-11 PM (0)

Sep 16, 11-12 AM (0)

Sep 17, 12-1 AM (0)

Sep 17, 1-2 AM (0)

Sep 17, 2-3 AM (0)

Sep 17, 3-4 AM (0)

Sep 17, 4-5 AM (0)

Sep 17, 5-6 AM (0)

Sep 17, 6-7 AM (0)

Sep 17, 7-8 AM (0)

Sep 17, 8-9 AM (0)

Sep 17, 9-10 AM (0)

Sep 17, 10-11 AM (0)

Sep 17, 11-12 PM (0)

Sep 17, 12-1 PM (0)

Sep 17, 1-2 PM (0)

Sep 17, 2-3 PM (0)

Sep 17, 3-4 PM (0)

Sep 17, 4-5 PM (0)

Sep 17, 5-6 PM (0)

Sep 17, 6-7 PM (0)

Sep 17, 7-8 PM (0)

Sep 17, 8-9 PM (0)

Sep 17, 9-10 PM (0)

22 commits this week Sep 10, 2025 - Sep 17, 2025

bwbush · Tue, 16 Sep 25 14:06:30 +0000 · ouroboros-leios

Update Logbook.md with DeltaQ dependencies

163570cc · main · 1/5 ++ 1 --

bwbush · Tue, 16 Sep 25 13:20:32 +0000 · ouroboros-leios

Added 50 TxkB/s case to CIP figures (#549)

* Added 50 TxkB/s case to CIP figures
* Updated logbook

0e9022c8 · main · 7/707 ++ 500 --

bwbush · Tue, 16 Sep 25 13:19:44 +0000 · ouroboros-leios

Updated logbook

d306c96e · pull/549/head · 1/6 ++ 0 --

bwbush · Tue, 16 Sep 25 12:26:02 +0000 · ouroboros-leios

Added 50 TxkB/s case to CIP figures

44639286 · bwbush/cip-figs-2 · 6/701 ++ 500 --

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

Draft docs/DESIGN.md

6e9a5caa · nfrisby/draft-DESIGN · 1/134 ++ 0 --

bwbush · Fri, 12 Sep 25 21:19:20 +0000 · ouroboros-leios

Updated logbook

e4c62e36 · bwbush/micro-mainnet · 2/29 ++ 11 --

bwbush · Fri, 12 Sep 25 21:17:58 +0000 · ouroboros-leios

Updated tech report 2

879151fc · bwbush/micro-mainnet · 1/67 ++ 43 --

bwbush · Fri, 12 Sep 25 21:17:52 +0000 · ouroboros-leios

Analysis of experimental results

4ad7fb03 · bwbush/micro-mainnet · 24/4,132 ++ 5 --

bwbush · Fri, 12 Sep 25 21:17:45 +0000 · ouroboros-leios

Designed experiment to compare network topologies

c748bf99 · bwbush/micro-mainnet · 15/283 ++ 0 --

bwbush · Fri, 12 Sep 25 21:17:40 +0000 · ouroboros-leios

Created "micro-mainnet" topology

5ba29c18 · bwbush/micro-mainnet · 4/3,541 ++ 1 --

SupernaviX · Fri, 12 Sep 25 21:15:07 +0000 · ouroboros-leios

deploy: 5503cb291fa4b31001823caed8417dea2f8aac46

536a06da · gh-pages · 300/1,123 ++ 644 --

SupernaviX · Fri, 12 Sep 25 21:12:24 +0000 · ouroboros-leios

sim-rs: update ui dependencies to fix alerts

5503cb29 · bwbush/micro-mainnet · 3/341 ++ 341 --

SupernaviX · Fri, 12 Sep 25 21:04:14 +0000 · ouroboros-leios

Update logbook

84335a74 · bwbush/micro-mainnet · 1/6 ++ 0 --

github-actions[bot] · Fri, 12 Sep 25 13:31:35 +0000 · ouroboros-leios

Update formal specification documentation

- Updated from ouroboros-leios-formal-spec repository
- Run ID: 17675593460
- Triggered by: repository_dispatch

7d8923d2 · main · 300/1,120 ++ 641 --

yveshauser · Fri, 12 Sep 25 13:30:15 +0000 · ouroboros-leios

Updated reference to formal spec

a56f1611 · yveshauser/linear-leios-trace-verifier · 2/5 ++ 5 --

bwbush · Thu, 11 Sep 25 18:45:30 +0000 · ouroboros-leios

Designed experiment to compare network topologies

2d6493d8 · bwbush/micro-mainnet · 15/283 ++ 0 --

bwbush · Thu, 11 Sep 25 18:23:03 +0000 · ouroboros-leios

Created "micro-mainnet" topology

84674339 · bwbush/micro-mainnet · 4/3,541 ++ 1 --

bwbush · Thu, 11 Sep 25 14:57:13 +0000 · ouroboros-leios

Tidied up formatting

c2812346 · bwbush/deltaq-reqts · 1/4 ++ 4 --

bwbush · Thu, 11 Sep 25 14:49:47 +0000 · ouroboros-leios

Petri net for voting and certification

4e74ae2e · bwbush/deltaq-reqts · 1/72 ++ 1 --

ch1bo · Thu, 11 Sep 25 14:47:52 +0000 · ouroboros-leios

Fix issue template name

f965110a · main · 1/0 ++ 0 --

ch1bo · Thu, 11 Sep 25 14:42:38 +0000 · ouroboros-leios

Create a feature issue template

e6dd7f7a · main · 1/46 ++ 0 --

bwbush · Thu, 11 Sep 25 13:24:26 +0000 · ouroboros-leios

Added references to source data in each section

9d25abac · bwbush/deltaq-reqts · 1/35 ++ 12 --

Showing 22 of 22 recent commits. Check out Input Output on GitHub to see more.