IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

38 stars 13 forks source link

Improve output of generrors (#551) #552

Closed williamdemeo closed 3 months ago

williamdemeo commented 3 months ago

experiment with manipulating a specific error string
fix string add
add Show instances for Credential and Set and ℙ
add Show instances for more Ledger types
fixed broken type class application
incorporate suggestions from PR review and improve fail messages
Fix order KeyHashObj and ScriptHashObj constructors in the FFI

Description

Checklist

[ ] Commit sequence broadly makes sense and commits have useful messages
[ ] Code is formatted according to CONTRIBUTING.md
[ ] Self-reviewed the diff