-
Notifications
You must be signed in to change notification settings - Fork 3
Issues: input-output-hk/ouroboros-leios
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Provide a first complete formal model of various Leios variants
PI Goal
#52
opened Oct 24, 2024 by
WhatisRT
4 tasks
Simulation of short Leios via nodes interacting through mini-protocols
PI Goal
#51
opened Oct 24, 2024 by
Saizan
3 tasks
Explore the possibility of modelling more than timeliness with DeltaQ
#41
opened Oct 11, 2024 by
ghost
Add Rust support to Nix flake
enhancement
New feature or request
#23
opened Sep 24, 2024 by
bwbush
3 tasks
ProTip!
no:milestone will show everything without a milestone.