Skip to content

Pull requests: IntersectMBO/cardano-ledger

New pull request New
10 Open 3,119 Closed
10 Open 3,119 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

Use non-zero costmodels in Imp tests
#4766 opened Nov 20, 2024 by teodanciu • Draft
3 of 9 tasks
1
Run conformance on passTick
#4762 opened Nov 19, 2024 by Soupstraw Loading…
3 of 9 tasks
Constrained generators for EPOCH rule
#4740 opened Nov 6, 2024 by MaximilianAlgehed • Draft
3 of 9 tasks
1
Tools for constrained generation of types that need witnessing
#4732 opened Oct 30, 2024 by TimSheard • Draft
3 of 9 tasks
Upgrade cardano-base dependency
#4699 opened Oct 16, 2024 by tdammers • Draft
3 of 9 tasks
18
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! Mix and match filters to narrow down what you’re looking for.