List view

[INN-357] 2025Q3 SRL 4 - Leios Formal Specification

PI Goal

PI-10

PI-11

Status: Open.

#334 In input-output-hk/ouroboros-leios;

· will-break-it opened on May 13, 2025

[INN-354] 2025Q3 SRL 4 - Leios Haskell Simulation

PI Goal

PI-10

PI-11

Status: Open.

#358 In input-output-hk/ouroboros-leios;

· will-break-it opened on May 19, 2025

[INN-434] 2025Q3 SRL 5 - Leios CIP full draft

PI Goal

PI-10

PI-11

Status: Open.

#333 In input-output-hk/ouroboros-leios;

· will-break-it opened on May 13, 2025

[INN-436] 2025Q3 SRL 4 - Finalize simulations and analyses

PI Goal

PI-11

Status: Open.

#439 In input-output-hk/ouroboros-leios;

· bwbush opened on Jul 1, 2025

[INN-435] 2025Q3 - SRL 5 - Rust Simulation

PI Goal

PI-11

Status: Open.

#443 In input-output-hk/ouroboros-leios;

· SupernaviX opened on Jul 2, 2025

[WIP] CIP draft

Status: Draft (not ready).

input-output-hk/ouroboros-leiosnumber 396

#396 In input-output-hk/ouroboros-leios;

· will-break-it opened on Jun 10, 2025