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

Praos headers validation properties and generators #1285

Merged
merged 11 commits into from
Nov 14, 2024
Merged

Praos headers validation properties and generators #1285

merged 11 commits into from
Nov 14, 2024

Commits on Nov 14, 2024

  1. Provide first integrated tools and tests for header validation 

    * Provide base generator and mutations for headers, covering some
parts related to KES header signature
* Extract testable method from Protocol.Praos module
* Add a property testing the consistency of validation logic with both valid
and mutated headers
* Add a command-line tool to generate JSON-formatted test vectors and
validate them
    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    a15fcc5 View commit details
    Browse the repository at this point in the history

  2. [wip] Make mutation depend on header to ensure consistency 

    some mutations are not possible for some content of the header, eg. if
ocertN = 0 then it's not possible to generate a smaller expected value
    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    e3cf89b View commit details
    Browse the repository at this point in the history

  3. Add changelog entry

    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    e6c5f32 View commit details
    Browse the repository at this point in the history

  4. Add Paths module to autogen section

    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    86c337e View commit details
    Browse the repository at this point in the history

  5. Remove unneeded imports and traces 

    also remove hardcoded maxKESEvo parameter from test run
    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    8516152 View commit details
    Browse the repository at this point in the history

  6. Add missing exports

    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    5bd0a37 View commit details
    Browse the repository at this point in the history

  7. Format cabal files w/ cabal-gild

    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    b2be80c View commit details
    Browse the repository at this point in the history

  8. Added changelog entry for o-c-cardano

    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    76ceb6f View commit details
    Browse the repository at this point in the history

  9. Run stylish haskell

    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    c5eeeb2 View commit details
    Browse the repository at this point in the history

  10. Address review comments 

    * remove changelog entry
* add explicit export list
* use generic JSON derivation
    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    a0d5dd2 View commit details
    Browse the repository at this point in the history

  11. Address reviewers comments

    @abailly
    abailly committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    0653bac View commit details
    Browse the repository at this point in the history