Issues · IntersectMBO/formal-ledger-specifications · GitHub

Labels Milestones New issue

[Dijkstra] LEDGER PoV

#1187

· williamdemeo opened

on May 6, 2026

[Dijkstra] UTxO and UTxOW PoV

#1186

· williamdemeo opened

on May 6, 2026

[Dijkstra] Certs PoV

#1185

· williamdemeo opened

on May 6, 2026

[Dijkstra] Move `Coin-TokenAlgebra` to a shared location

#1183

· williamdemeo opened

on Apr 30, 2026

[Dijkstra] Replace `postulate trustMe-*` in Foreign with checked conversions

#1182

· williamdemeo opened

on Apr 30, 2026

[Dijkstra] Show instances for Foreign step results

#1181

· williamdemeo opened

on Apr 30, 2026

[Dijkstra] Foreign step functions for new sub-rules

#1180

· williamdemeo opened

on Apr 30, 2026

[Dijkstra] In legacy mode, required top-level guards can contain only keyhashes (similar to `reqSignerHashes` in pre-Dijkstra)

nested transactions

#1174

· carlostome opened

on Apr 23, 2026

[Dijkstra] document prohibiting within-batch withdrawals

#1172

· williamdemeo opened

on Apr 22, 2026

Clarify whether `maxRefScriptSize` takes duplicate scripts or not into account

#1171

· carlostome opened

on Apr 20, 2026

[Dijkstra] Class `TxFeesOf` should be removed in favour of `FeesOf`

#1158

· carlostome opened

on Apr 9, 2026

Add precondition to check that `ExUnits` are not too big

#1157

· carlostome opened

on Apr 9, 2026