Skip to content

Issues: IntersectMBO/ouroboros-consensus

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

370 Open 213 Closed
370 Open 213 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[FEAT] - Use the shared Set Theory library in the Agda spec enhancement New feature or request formal-spec Changes related to formal specifications
#1392 opened Feb 12, 2025 by javierdiaz72
@javierdiaz72
[FEAT] - Only enable ledger events if asked to 🏎️ performance
#1389 opened Feb 11, 2025 by jasagredo
@jasagredo
3
[FEAT] - Mempool could do operations at the "ledgerstate" level to prevent projection and injection 🏎️ performance UTxO-HD
#1383 opened Feb 7, 2025 by jasagredo
[FEAT] - Specialize IOLike to IO 🏎️ performance
#1380 opened Feb 4, 2025 by jasagredo
1
Write CPS for Low Participation documentation Improvements or additions to documentation
#1377 opened Feb 3, 2025 by nfrisby
@nfrisby
Add metrics for interesting Genesis events Genesis PRs related to Genesis testing and implementation good first issue Good for newcomers
#1375 opened Jan 29, 2025 by amesgen
[FEAT] - Integrate QueryStakePoolDefaultVote
#1371 opened Jan 28, 2025 by jasagredo
1
@jasagredo
Write a CDDL spec for LocalStateQuery and LocalTxSubmission documentation Improvements or additions to documentation
#1370 opened Jan 27, 2025 by dnadales Q1 2025
@geo2a
4
Integrate the Haskell code generate from agda-spec into the build system and CI continuous integration enhancement New feature or request
#1343 opened Dec 12, 2024 by geo2a
3 tasks done
2
@geo2a
5
Re-enable the GetLedgerDB action in the ChainDB QSM tests UTxO-HD
#1339 opened Dec 4, 2024 by jorisdral
Write UTxO-HD overview md docs documentation Improvements or additions to documentation UTxO-HD
#1337 opened Dec 3, 2024 by jasagredo
HFC: share implementation of reconstructSummary and summarize
#1336 opened Dec 2, 2024 by amesgen
Add micro benchmark for ledger state snapshots enhancement New feature or request good first issue Good for newcomers
#1335 opened Dec 2, 2024 by geo2a
Further specialize EmptyMK good first issue Good for newcomers UTxO-HD
#1334 opened Dec 2, 2024 by jasagredo
Make Data.SOP.Index.Index(IS) payload strict good first issue Good for newcomers technical debt Technical debt
#1331 opened Nov 28, 2024 by jasagredo
DbSynthesizer should be able to run with different backends good first issue Good for newcomers UTxO-HD
#1330 opened Nov 25, 2024 by jasagredo
1
ChainSelection could pass around a ExtLedgerState instead of an STM action for it good first issue Good for newcomers UTxO-HD
#1327 opened Nov 22, 2024 by jasagredo
Consider splitting BlockQuery to avoid the footprint type argument UTxO-HD
#1326 opened Nov 22, 2024 by jasagredo
ChainDBLedgerInterface could probably use a LedgerDB instead good first issue Good for newcomers UTxO-HD
#1325 opened Nov 22, 2024 by jasagredo
Unify the LMDB limits in node and in cardano-tools good first issue Good for newcomers UTxO-HD
#1324 opened Nov 22, 2024 by jasagredo
Use more than one TxIn on LedgerDB.StateMachine tests better-tests Ideas to improve the tests good first issue Good for newcomers UTxO-HD
#1323 opened Nov 22, 2024 by jasagredo
Should we delete the snapshot if some error happens while writing it? good first issue Good for newcomers UTxO-HD
#1322 opened Nov 22, 2024 by jasagredo
Parametrize LedgerTables by blk enhancement New feature or request UTxO-HD
#1317 opened Nov 21, 2024 by jasagredo
Rely on resource-registry to close forkers in the forging loop UTxO-HD
#1316 opened Nov 21, 2024 by jasagredo
Generate Haskell code from the Agda spec conformance Changes related to conformance testing enhancement New feature or request formal-spec Changes related to formal specifications
#1312 opened Nov 19, 2024 by javierdiaz72
1
@javierdiaz72
ProTip! What’s not been updated in a month: updated:<2025-01-13.