formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Removed deposit updating from Haskell version of UTXO

Open Soupstraw opened this issue 4 months ago • 0 comments

Description

This PR modifies the alternative spec so that the deposit update happens in the LEDGER rule instead of the UTXO rule like in the implementation.

Checklist

  • [ ] Commit sequence broadly makes sense and commits have useful messages
  • [ ] Any semantic changes to the specifications are documented in CHANGELOG.md
  • [ ] Code is formatted according to CONTRIBUTING.md
  • [ ] Self-reviewed the diff

Soupstraw avatar Oct 07 '24 09:10 Soupstraw