Skip to content

Issues: input-output-hk/ouroboros-leios

Beta
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.

Sign up for GitHub

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

14 Open 74 Closed
14 Open 74 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Why does this tx never make it to the ledger? question Further information is requested
#380 opened May 29, 2025 by bwbush
@SupernaviX
1
Changes to default simulation configuration does not trigger Haskell CI bug Something isn't working
#379 opened May 29, 2025 by bwbush
Connect the CI to nix caches that already have most of the derivations built bug Something isn't working enhancement New feature or request
#368 opened May 22, 2025 by bwbush
@bwbush
2
Build topology for mainnet analog enhancement New feature or request
#363 opened May 20, 2025 by bwbush
8 tasks
@bwbush
Document constraints and recommended values for protocol parameters blocked documentation Improvements or additions to documentation
#362 opened May 20, 2025 by bwbush
4 tasks
@bwbush
1
Haskell Simulation PI Goal PI-10
#358 opened May 19, 2025 by will-break-it
3 tasks
PI10
@nfrisby
Assess the work to add txs to the Haskell simulator
#357 opened May 19, 2025 by nfrisby
@nfrisby
1
Rust simulation loses transactions question Further information is requested
#351 opened May 16, 2025 by bwbush
@SupernaviX
4
Add example Rust simulation trace checking to CI blocked enhancement New feature or request
#342 opened May 13, 2025 by bwbush
@bwbush
1
Leios analyses at scale PI Goal PI-10
#337 opened May 13, 2025 by will-break-it
3 tasks
PI10
@bwbush
2
Rust Simulation PI Goal PI-10
#336 opened May 13, 2025 by will-break-it
3 tasks
PI10
@SupernaviX
Conformance Testing PI Goal PI-10
#335 opened May 13, 2025 by will-break-it
1 of 5 tasks
PI10
@yveshauser
Formal Specification PI Goal PI-10
#334 opened May 13, 2025 by will-break-it
2 tasks
PI10
@WhatisRT
Leios CIP full draft PI Goal PI-10
#333 opened May 13, 2025 by will-break-it
4 tasks
PI10
@bwbush @will-break-it
ProTip! Add no:assignee to see everything that’s not assigned.