IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger
Apache License 2.0
38 stars 13 forks source link

Include withdrawals in `consumed` and fix Utxo pov proofs. #573

Closed williamdemeo closed 2 months ago

williamdemeo commented 2 months ago

Description

This addresses the first item in issue #467.

Checklist

williamdemeo commented 2 months ago

Wrong approach. Closing. (Correct approach in new upcoming branch.)