Skip to content

Pull requests: IntersectMBO/cardano-ledger

New pull request New
17 Open 3,099 Closed
17 Open 3,099 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add Conformance.Imp: imptests with conformance
#4748 opened Nov 12, 2024 by aniketd • Draft
6 of 9 tasks
Fixed translation of StakeReference
#4747 opened Nov 12, 2024 by Soupstraw Loading…
3 of 9 tasks
4
Added LEDGERS conformance
#4746 opened Nov 11, 2024 by Soupstraw Loading…
3 of 9 tasks
1
1
Extract ImpSpec into its own package
#4745 opened Nov 10, 2024 by lehins • Draft
3 of 9 tasks
1
Guardrail in imp genesis
#4744 opened Nov 8, 2024 by teodanciu • Draft
3 of 9 tasks
Constrained generators for EPOCH rule
#4740 opened Nov 6, 2024 by MaximilianAlgehed • Draft
3 of 9 tasks
1
Improve the propagation of explanations when a Spec fails.
#4739 opened Nov 6, 2024 by TimSheard Loading…
3 of 9 tasks
31
[WIP] Fix DELEG conformance
#4738 opened Nov 3, 2024 by Lucsanszky • Draft
3 of 9 tasks
Tools for constrained generation of types that need witnessing
#4732 opened Oct 30, 2024 by TimSheard • Draft
3 of 9 tasks
Finish implementing the tests in Alonzo.Imp.UtxowSpec.Valid
#4708 opened Oct 21, 2024 by neilmayhew • Draft
3 of 9 tasks
Test SPO vote counting
#4700 opened Oct 17, 2024 by Lucsanszky Loading…
7 of 9 tasks
1
5
Upgrade cardano-base dependency
#4699 opened Oct 16, 2024 by tdammers • Draft
3 of 9 tasks
17
Added first Necessary And Sufficient EraRule tests
#4423 opened Jun 18, 2024 by TimSheard Loading…
6 of 9 tasks
6
Ts=new reward pulser
#4196 opened Mar 12, 2024 by TimSheard • Draft
3 of 9 tasks
2
Split Crypto into Crypto and HeaderCrypto
#3388 opened Apr 20, 2023 by yogeshsajanikar • Draft
3 of 8 tasks
2
WIP Change STS from LEDGER down to use ILC Diff
#3364 opened Mar 30, 2023 by TimSheard • Draft
3 of 7 tasks
3
Introduce Incremental Lambda Calculus, tests, and benchmarks
#3344 opened Mar 21, 2023 by TimSheard • Draft
6 of 7 tasks
42
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.