Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Unbound variable in formal spec for LEDGERS #1811

Closed
Vtec234 opened this issue Aug 25, 2020 · 0 comments · Fixed by #1861
Closed

Unbound variable in formal spec for LEDGERS #1811

Vtec234 opened this issue Aug 25, 2020 · 0 comments · Fixed by #1861
Assignees
@JaredCorduan
Labels
audit

Comments

@Vtec234
Copy link

Vtec234 commented Aug 25, 2020

In ch. 10, fig. 33 of the formal spec, the rule Seq-ledger-base on an empty list should probably return ls (acting as identity) rather than the unbound ls'. The code does this via a fold.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JaredCorduan JaredCorduan

Labels
audit
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Formal Spec Syncing from Audit Issues IntersectMBO/cardano-ledger
2 participants
@JaredCorduan @Vtec234