Support snapshots/v0 canonical interface
Home /
Input Output /
cardano-ledger-specs
Mar 10, 4-5 AM (0)
Mar 10, 5-6 AM (0)
Mar 10, 6-7 AM (0)
Mar 10, 7-8 AM (1)
Mar 10, 8-9 AM (0)
Mar 10, 9-10 AM (1)
Mar 10, 10-11 AM (0)
Mar 10, 11-12 PM (0)
Mar 10, 12-1 PM (0)
Mar 10, 1-2 PM (1)
Mar 10, 2-3 PM (2)
Mar 10, 3-4 PM (0)
Mar 10, 4-5 PM (1)
Mar 10, 5-6 PM (0)
Mar 10, 6-7 PM (1)
Mar 10, 7-8 PM (0)
Mar 10, 8-9 PM (0)
Mar 10, 9-10 PM (2)
Mar 10, 10-11 PM (0)
Mar 10, 11-12 AM (0)
Mar 11, 12-1 AM (0)
Mar 11, 1-2 AM (0)
Mar 11, 2-3 AM (0)
Mar 11, 3-4 AM (0)
Mar 11, 4-5 AM (0)
Mar 11, 5-6 AM (0)
Mar 11, 6-7 AM (0)
Mar 11, 7-8 AM (0)
Mar 11, 8-9 AM (0)
Mar 11, 9-10 AM (0)
Mar 11, 10-11 AM (0)
Mar 11, 11-12 PM (1)
Mar 11, 12-1 PM (0)
Mar 11, 1-2 PM (0)
Mar 11, 2-3 PM (2)
Mar 11, 3-4 PM (0)
Mar 11, 4-5 PM (0)
Mar 11, 5-6 PM (1)
Mar 11, 6-7 PM (0)
Mar 11, 7-8 PM (0)
Mar 11, 8-9 PM (1)
Mar 11, 9-10 PM (0)
Mar 11, 10-11 PM (0)
Mar 11, 11-12 AM (0)
Mar 12, 12-1 AM (0)
Mar 12, 1-2 AM (0)
Mar 12, 2-3 AM (0)
Mar 12, 3-4 AM (0)
Mar 12, 4-5 AM (0)
Mar 12, 5-6 AM (2)
Mar 12, 6-7 AM (0)
Mar 12, 7-8 AM (0)
Mar 12, 8-9 AM (0)
Mar 12, 9-10 AM (3)
Mar 12, 10-11 AM (0)
Mar 12, 11-12 PM (0)
Mar 12, 12-1 PM (6)
Mar 12, 1-2 PM (0)
Mar 12, 2-3 PM (0)
Mar 12, 3-4 PM (1)
Mar 12, 4-5 PM (0)
Mar 12, 5-6 PM (3)
Mar 12, 6-7 PM (0)
Mar 12, 7-8 PM (0)
Mar 12, 8-9 PM (0)
Mar 12, 9-10 PM (0)
Mar 12, 10-11 PM (0)
Mar 12, 11-12 AM (0)
Mar 13, 12-1 AM (0)
Mar 13, 1-2 AM (0)
Mar 13, 2-3 AM (0)
Mar 13, 3-4 AM (0)
Mar 13, 4-5 AM (0)
Mar 13, 5-6 AM (0)
Mar 13, 6-7 AM (0)
Mar 13, 7-8 AM (0)
Mar 13, 8-9 AM (0)
Mar 13, 9-10 AM (4)
Mar 13, 10-11 AM (1)
Mar 13, 11-12 PM (0)
Mar 13, 12-1 PM (1)
Mar 13, 1-2 PM (1)
Mar 13, 2-3 PM (3)
Mar 13, 3-4 PM (0)
Mar 13, 4-5 PM (0)
Mar 13, 5-6 PM (0)
Mar 13, 6-7 PM (0)
Mar 13, 7-8 PM (6)
Mar 13, 8-9 PM (0)
Mar 13, 9-10 PM (0)
Mar 13, 10-11 PM (0)
Mar 13, 11-12 AM (0)
Mar 14, 12-1 AM (0)
Mar 14, 1-2 AM (0)
Mar 14, 2-3 AM (0)
Mar 14, 3-4 AM (0)
Mar 14, 4-5 AM (0)
Mar 14, 5-6 AM (0)
Mar 14, 6-7 AM (0)
Mar 14, 7-8 AM (0)
Mar 14, 8-9 AM (0)
Mar 14, 9-10 AM (0)
Mar 14, 10-11 AM (0)
Mar 14, 11-12 PM (0)
Mar 14, 12-1 PM (0)
Mar 14, 1-2 PM (0)
Mar 14, 2-3 PM (0)
Mar 14, 3-4 PM (0)
Mar 14, 4-5 PM (0)
Mar 14, 5-6 PM (0)
Mar 14, 6-7 PM (0)
Mar 14, 7-8 PM (0)
Mar 14, 8-9 PM (0)
Mar 14, 9-10 PM (0)
Mar 14, 10-11 PM (0)
Mar 14, 11-12 AM (0)
Mar 15, 12-1 AM (0)
Mar 15, 1-2 AM (0)
Mar 15, 2-3 AM (0)
Mar 15, 3-4 AM (0)
Mar 15, 4-5 AM (0)
Mar 15, 5-6 AM (0)
Mar 15, 6-7 AM (0)
Mar 15, 7-8 AM (0)
Mar 15, 8-9 AM (0)
Mar 15, 9-10 AM (0)
Mar 15, 10-11 AM (0)
Mar 15, 11-12 PM (0)
Mar 15, 12-1 PM (0)
Mar 15, 1-2 PM (1)
Mar 15, 2-3 PM (0)
Mar 15, 3-4 PM (0)
Mar 15, 4-5 PM (0)
Mar 15, 5-6 PM (0)
Mar 15, 6-7 PM (0)
Mar 15, 7-8 PM (1)
Mar 15, 8-9 PM (0)
Mar 15, 9-10 PM (0)
Mar 15, 10-11 PM (0)
Mar 15, 11-12 AM (0)
Mar 16, 12-1 AM (0)
Mar 16, 1-2 AM (0)
Mar 16, 2-3 AM (0)
Mar 16, 3-4 AM (0)
Mar 16, 4-5 AM (0)
Mar 16, 5-6 AM (0)
Mar 16, 6-7 AM (0)
Mar 16, 7-8 AM (0)
Mar 16, 8-9 AM (0)
Mar 16, 9-10 AM (1)
Mar 16, 10-11 AM (1)
Mar 16, 11-12 PM (3)
Mar 16, 12-1 PM (2)
Mar 16, 1-2 PM (0)
Mar 16, 2-3 PM (0)
Mar 16, 3-4 PM (0)
Mar 16, 4-5 PM (1)
Mar 16, 5-6 PM (0)
Mar 16, 6-7 PM (0)
Mar 16, 7-8 PM (0)
Mar 16, 8-9 PM (0)
Mar 16, 9-10 PM (0)
Mar 16, 10-11 PM (0)
Mar 16, 11-12 AM (0)
Mar 17, 12-1 AM (0)
Mar 17, 1-2 AM (0)
Mar 17, 2-3 AM (0)
Mar 17, 3-4 AM (0)
Mar 17, 4-5 AM (0)
55 commits this week
Mar 10, 2026
-
Mar 17, 2026
Add bounds to ipv4 and ipv6 pre-Conway
Update ipv4 and ipv6 pre-Conway
Add bounds to ipv4 and ipv6 pre-Conway
Remove default implementation of `fromPlutusData` in `ToPlutusData` typeclass.
We do should *not* provide a default implementation for 'fromPlutusData' because types should always be invertible from 'PlutusData'. Therefore, we force the user to make a conscious decision to not provide an implementation for this function.
Implement custom `ToExpr` instance for `Mismatch` datatype.
The `Show` instance for Mismatch was modified to show type level information.
The same thing needs to be done for the `TreeDiff` instance.
Example of the `Expr`:
```
ghci> toExpr (Mismatch @RelEQ (42 :: Int) 100)
Rec "Mismatch (RelEQ)" (fromList [("supplied",App "42" []),("expected",App "100" [])])
```
Fixup formatting and add changelogs
Remove redundant `SubOutputTooSmallUTxO` predicate failure
Avoid unnecessary computation of PlutusWithContext
Remove PlutusContext translation computation, when executed without validation.
WIP StAnnTx. Alonzo is done
Make TxInfo compatible with multiple levels
Simplify PlutusPurpose translation
Implement TxInfo construction that depends on ScriptPurpose
Run `Babbage.validateOutputTooSmallUTxO` in SUBUTXO
Run `validateWrongNetwork` checks in SUBUTXO
Run Shelley-era checks in SUBUTXO
`validateInputSetEmptyUTxO`, `validateBadInputsUTxO`, `validateMaxTxSizeUTxO`, `validateOutputBootAddrAttrsTooBig``
Update comment on unit_interval
Remove control on ipv4 before Conway
Deprecate LedgerView, GetLedgerView, et. al.
The Forecast API from the eras are more type-safe and replace these partial implementations, clearly separating TPraos forecasts from Praos forecasts, and also distinguising current and future forecasts in their respective types. Add babbageForecastToLedgerView keeping bottoms the same.
ShelleyEraForecast instances allegra, mary, alonzo
Add Language to Plutus scripts in conformance
Disable transaction_body zapping test in Conway