The Wayback Machine - https://web.archive.org/web/20210506061733/https://github.com/input-output-hk/cardano-ledger-specs/issues
Skip to content

/ cardano-ledger-specs

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.

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

71 Open 740 Closed
71 Open 740 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Implemented type of Value mismatch audit formal-spec 📜
#2175 opened Mar 8, 2021 by nankeen
1
Type mismatch present in the ShelleyMA/Shelley formal specs when calculating the stake relation in the Rewards and the Epoch Boundary audit formal-spec 📜
#2174 opened Mar 8, 2021 by yellowtides
Inconsistency between Multi-asset formal specification and Utxo.hs from shelley-ma audit formal-spec 📜
#2168 opened Mar 4, 2021 by social-anthrax
measurement of bigness for outputs
#2167 opened Mar 3, 2021 by JaredCorduan
Minor operator inconsistency in Deleg-MIR between formal and executable spec audit formal-spec 📜
#2131 opened Feb 9, 2021 by yellowtides
@JaredCorduan
1
Inconsistency between Formal ledger spec and PoolReap.hs audit formal-spec 📜
#2122 opened Feb 2, 2021 by social-anthrax
@JaredCorduan
2
Mistake in formal spec definition of function createRUpd audit formal-spec 📜
#2113 opened Jan 26, 2021 by jmhrpr
@JaredCorduan
Rename packages to be consistent and indicates the eras enhancement
#2109 opened Jan 22, 2021 by nfrisby
Small-step-tests are failing
#2093 opened Jan 12, 2021 by TimSheard
MissingScriptWitnessesUTXOW can be unclear
#2085 opened Jan 7, 2021 by JaredCorduan
1
computeStabilityWindow uses Double and so "rounds" counter-intuitively decision ❓
#2073 opened Dec 19, 2020 by nfrisby
1
Node eligibility calculation inconsistency audit
#2043 opened Dec 7, 2020 by nankeen
@JaredCorduan
3
Errata in reward calculation (formal spec) audit
#2040 opened Dec 7, 2020 by csoroz
@JaredCorduan
1
Tests for expensive STS failure reports
#1941 opened Oct 27, 2020 by JaredCorduan
optimize the performance of isBootstrapRedeemer
#1937 opened Oct 23, 2020 by JaredCorduan
Incorrect RandomnessStabilisationWindow used for nonce calculation bug
#1914 opened Oct 15, 2020 by AndrewWestberg
4
Problem with FromCBOR [a] Shelley vs Byron
#1909 opened Oct 12, 2020 by TimSheard
Optimize transaction generators
#1901 opened Oct 8, 2020 by nfrisby
2
Document assertions - how to use and why documentation 🖋️
#1868 opened Sep 18, 2020 by nc6
@nc6
Consistent BHBody accessor names formal-spec 📜 shelley era
#1860 opened Sep 15, 2020 by JaredCorduan
@JaredCorduan
Translate some properties as STS Assertions priority medium property test 🎰 shelley era
#1842 opened Sep 8, 2020 by uroboros
@uroboros
Avoid repeated viewCompactTxOut in the Utxo rule priority low
#1788 opened Aug 17, 2020 by mrBliss
1
Translating Tx Context to the Tx Context structure expected by a Plutus script generated in that era goguen
#1772 opened Aug 11, 2020 by polinavino
8
Broken key generation in Test.Shelley.Spec.Ledger.Utils
#1770 opened Aug 11, 2020 by mrBliss
General accounting property for the state in the Shelley spec
#1732 opened Jul 29, 2020 by WhatisRT
ProTip! Add no:assignee to see everything that’s not assigned.