-
Notifications
You must be signed in to change notification settings - Fork 43
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#2331 In IntersectMBO/ouroboros-consensus;
- Status: Open.#2329 In IntersectMBO/ouroboros-consensus;
[BUG] - consensus-diffusion-test fails
bugSomething isn't workingSomething isn't workingStatus: Open.#2327 In IntersectMBO/ouroboros-consensus;- Status: Open.#2319 In IntersectMBO/ouroboros-consensus;
- Status: Open.#2318 In IntersectMBO/ouroboros-consensus;
- Status: Open.#2317 In IntersectMBO/ouroboros-consensus;
- Status: Open.#2301 In IntersectMBO/ouroboros-consensus;
- Status: Open.#2297 In IntersectMBO/ouroboros-consensus;
- Status: Open.#2295 In IntersectMBO/ouroboros-consensus;
- Status: Open.#2291 In IntersectMBO/ouroboros-consensus;
- Status: Open.#2290 In IntersectMBO/ouroboros-consensus;
[FEAT] - Adapt the formal spec to include Linear Leios
enhancementNew feature or requestNew feature or requestformal-specChanges related to formal specificationsChanges related to formal specificationsStatus: Open.#2273 In IntersectMBO/ouroboros-consensus;