Skip to content

Issues: IntersectMBO/cardano-ledger

Conway conformance track
#4427 opened Jun 19, 2024 by aniketd
Open
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

182 Open 1,345 Closed
182 Open 1,345 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

Show coloured tree-diff output in ImpTests
#4471 opened Jul 5, 2024 by neilmayhew
Conformance GOV: Translate and Adjust conformance conway 🕵️ testing 🎰 property test
#4468 opened Jul 4, 2024 by aniketd
@aniketd
constrained-genrators: flaky call to error in GenT bug Something isn't working conformance conway 🕵️ testing priority high 🎰 property test
#4466 opened Jul 4, 2024 by aniketd
Conway conformance: DELEG - Translate
#4465 opened Jul 3, 2024 by teodanciu
1
@teodanciu
Conformance test plumbing: CERTS
#4463 opened Jul 3, 2024 by Lucsanszky
1
@Lucsanszky
Start using Huddle/Cuddle for all eras
#4462 opened Jul 2, 2024 by lehins
@nc6
Generate CDDL spec from Huddle conway
#4461 opened Jul 2, 2024 by lehins
@nc6
Translate: GOVCERT conformance conway 🕵️ testing 🎰 property test
#4448 opened Jun 27, 2024 by aniketd
transaction build no longer checks datum for PlutusV1 and PlutusV2 spending scripts
#4444 opened Jun 21, 2024 by mkoura
1
Translate: RATIFY conformance conway
#4434 opened Jun 21, 2024 by aniketd
Conway conformance track conformance 🚧 work in progress conway 🕵️ testing draft priority high 📜 formal-spec 🎰 property test
#4427 opened Jun 19, 2024 by aniketd
12 of 80 tasks
@aniketd @teodanciu
@lehins @TimSheard @Lucsanszky @Soupstraw
Use separate serialization/types for ledger queries
#4415 opened Jun 17, 2024 by amesgen
Switch to using Plutus testingCostModels instead of zero models in Tests conway 🕵️ testing
#4404 opened Jun 14, 2024 by teodanciu
1
Support replaying with less memory
#4401 opened Jun 13, 2024 by kderme
1
Remove unnecessary constructors from UMElem conway dijkstra Ledger era that will follow after Conway intra-era-hardfork A task that requires an intra-era hard fork simplification A nice to have improvement that simplifies the implementation
#4398 opened Jun 13, 2024 by WhatisRT
CDDL specs for ledger state queries 💳 technical-debt Issues related to technical debt we introduced
#4396 opened Jun 11, 2024 by nfrisby
Do pulsing on ticks that don't have blocks
#4395 opened Jun 11, 2024 by lehins
Fix minor bugs in CHAIN of Shelley formal spec bug Something isn't working 📜 formal-spec shelley
#4387 opened Jun 5, 2024 by javierdiaz72
@javierdiaz72
Add plutus tests conway
#4382 opened Jun 3, 2024 by lehins
Add conformance testing for LEDGERS conformance conway 🕵️ testing
#4380 opened May 31, 2024 by Soupstraw
3 tasks
Add conformance testing for NEWEPOCH conformance conway 🕵️ testing
#4379 opened May 31, 2024 by Soupstraw
1 of 2 tasks
Improve constrained generators of votes conformance conway 🕵️ testing
#4366 opened May 28, 2024 by Soupstraw
1
Mention if duplicates are allowed in maps in the CDDL files conway
#4335 opened May 16, 2024 by itsfarseen
1
Ensure Imp tests have realistic initial SPO thresholds conway 🕵️ testing
#4329 opened May 8, 2024 by teodanciu
Move DelegateeNotRegisteredDELEG from CERTS to DELPL in Shelley
#4327 opened May 8, 2024 by Soupstraw
ProTip! Type g i on any issue or pull request to go back to the issue listing page.