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

Constrained generators for EPOCH rule #4740

Draft
wants to merge 15 commits into
base: master
Choose a base branch
from
Draft

Constrained generators for EPOCH rule #4740

wants to merge 15 commits into from

Commits on Nov 9, 2024

  1. attempt to get epoch rule constraints running - encountering really 

    weird problems
    @MaximilianAlgehed
    MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    daf4071 View commit details
    Browse the repository at this point in the history

  2. Make things compile

    @MaximilianAlgehed
    MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    256e609 View commit details
    Browse the repository at this point in the history

  3. minor

    @MaximilianAlgehed
    MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    295b6c9 View commit details
    Browse the repository at this point in the history

  4. Don't need a concrete CertState in proposalsSpec

    @UlfNorell @MaximilianAlgehed
    UlfNorell authored and MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    30fed36 View commit details
    Browse the repository at this point in the history

  5. Start on EPOCH state generator spec

    @UlfNorell @MaximilianAlgehed
    UlfNorell authored and MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    6b5317a View commit details
    Browse the repository at this point in the history

  6. Add variant of stsProperty where the spec for the post state can depend 

    on the signal
    @UlfNorell @MaximilianAlgehed
    UlfNorell authored and MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    b91bc64 View commit details
    Browse the repository at this point in the history

  7. Start constraining DRepPulsingState in EpochState generator

    @UlfNorell @MaximilianAlgehed
    UlfNorell authored and MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    d9f7b0d View commit details
    Browse the repository at this point in the history

  8. Use conformsToSpecProp to get more feed back when sts property fails

    @UlfNorell @MaximilianAlgehed
    UlfNorell authored and MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    6732412 View commit details
    Browse the repository at this point in the history

  9. try to just get the property passing

    @MaximilianAlgehed
    MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    7958e7a View commit details
    Browse the repository at this point in the history

  10. Add missing instance

    @MaximilianAlgehed
    MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    fab8a85 View commit details
    Browse the repository at this point in the history

  11. fmt

    @MaximilianAlgehed
    MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    0b9eb31 View commit details
    Browse the repository at this point in the history

  12. WIP insanity

    @MaximilianAlgehed
    MaximilianAlgehed committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    f27fa1a View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2024

  1. WIP approach to shrinking

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

Commits on Nov 18, 2024

  1. wip

    @MaximilianAlgehed
    MaximilianAlgehed committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    634daa0 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2024

  1. Make compile again

    @MaximilianAlgehed
    MaximilianAlgehed committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    084a22c View commit details
    Browse the repository at this point in the history