Search results

Optionally replace transaction production with IB production

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

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

· bwbush opened on Feb 24, 2025

Constant distributions in Haskell simulator

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

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

· bwbush opened on Feb 24, 2025

ΔQ model for short Leios to harmonise Haskell and Rust simulations

PI Goal

PI-9

Status: Open.

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

· rkuhn opened on Jan 22, 2025

 ·  

PI9

Improve accuracy and presentation of Rust simulation

PI Goal

PI-9

Status: Open.

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

· SupernaviX opened on Jan 20, 2025

 ·  

PI9

Leios cryptographic and protocol security

PI Goal

PI-9

Status: Open.

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

· bwbush opened on Jan 20, 2025

 ·  

PI9

Generation of Leios node resource usage data from validated Haskell prototype

PI Goal

PI-9

Status: Open.

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

· Saizan opened on Jan 20, 2025

 ·  

PI9

Add a network model to allow for reasoning about global protocols in the formal specification

PI Goal

PI-9

Status: Open.

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

· WhatisRT opened on Jan 20, 2025

 ·  

PI9

Checking traces of Leios execution against the formal specification

PI Goal

PI-9

Status: Open.

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

· yveshauser opened on Jan 20, 2025

 ·  

PI9

Elaboration of Leios (sharding, mempool, fees, threats)

Status: Open.

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

· bwbush opened on Oct 23, 2024

Provide a basic conformance test suite

PI Goal

PI-9

Status: Open.

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

· ghost opened on Oct 16, 2024

 ·  

PI9

Explore possible approach to conformance testing for Leios

Status: Open.

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

· ghost opened on Oct 14, 2024

Explore the possibility of modelling more than timeliness with DeltaQ

Status: Open.

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

· ghost opened on Oct 11, 2024