Merge pull request #6537 from IntersectMBO/bladyjoker/leios-integrate-837
[Leios prototype] Integrate ouroboros-leios#837
[Leios prototype] Integrate ouroboros-leios#837
This commit adds serialization roundtrip tests for the concrete Peras votes and certificate types. Co-authored-by: Agustin Mista <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Nicolas BACQUEY <[email protected]>
This commit implements conversion routines between the brand-new (concrete) Peras votes and certificates and their corresponding (abstract) voting committee counterparts. This is done by introducing a `VotingCommitteeSupportsPeras` type class to allow us to easily change the underlying voting committee implementation via a proxy type. Co-authored-by: Agustin Mista <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Agustin Mista <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Nicolas BACQUEY <[email protected]>
This commit adds test helpers to aid with the definition of the upcoming roundtrip properties for concrete Peras votes and certificates. Co-authored-by: Agustin Mista <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Nicolas BACQUEY <[email protected]>
This commit adds property tests for the newly added bitmap library asserting that both conversion from and/to indices as well as serialization roundtrip correctly. Co-authored-by: Agustin Mista <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Nicolas BACQUEY <[email protected]>
This commit adds conversion rountrip tests between concrete Peras votes and certificates and their corresponding (abstract) counterparts in the WFALS and EveryoneVotes voting committee implementations. Notably, the roundtrip properties allow testing both total (WFALS) and partial (EveryoneVotes) conversions, generating both good and bad cases and contrasting them against their expected rountrip outcome. Co-authored-by: Agustin Mista <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Nicolas BACQUEY <[email protected]>
Define HuddleRule instances for "block_body" and "peras_certificate" in the Dijkstra era, with a custom CBOR generator for block_body that generates valid transaction indices. Update the CDDL spec to match the new block structure: block = [header, block_body]. Co-authored-by: Alexey Kuleshevich <[email protected]>
Co-authored-by: Alexey Kuleshevich <[email protected]>
Add plain DecCBOR instances for DijkstraBlockBodyRaw and DijkstraBlockBody (needed for decoder equivalence tests), and a custom ToExpr instance for DijkstraBlockBody. Add block_body to the CddlSpec test suite. Co-authored-by: Alexey Kuleshevich <[email protected]>
feat(docs): remove generated API reference and update doc requirements
The script now covers both the NA throughput axis and the Plutus axis (1000–50000 Gstep/EB at fixed 0.250 TxMB/s), so the old name was misleading. Also normalize all-empty Plutus columns in combine-results so the notebook works on NA-only sweeps without modification.
- Delete `docs/source/cardano_clusterlib.rst` (previously generated by sphinx-apidoc) - Add `/docs/source/cardano_clusterlib.rst` to `.gitignore` to prevent tracking generated files - Update Sphinx and related documentation dependencies in `docs/requirements.txt` - Remove docstring for `slots_offset` in `ClusterLib` class to avoid Sphinx warning, as `slots_offset` is also a @property
Add plain DecCBOR instances for DijkstraBlockBodyRaw and DijkstraBlockBody (needed for decoder equivalence tests), and a custom ToExpr instance for DijkstraBlockBody. Add block_body to the CddlSpec test suite. Co-authored-by: Alexey Kuleshevich <[email protected]>