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

Add update mechanism and related STS rules #598

Merged
merged 22 commits into from
Jun 24, 2019
Merged

Add update mechanism and related STS rules #598

merged 22 commits into from
Jun 24, 2019

Commits on Jun 24, 2019

  1. Add OVERLAY STS rule in exec spec

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    38ee155 View commit details
    Browse the repository at this point in the history

  2. Add PRTCL STS rule

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    9e59881 View commit details
    Browse the repository at this point in the history

  3. Adapt CHAIN STS rule with call to PRTCL

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    4df9ab3 View commit details
    Browse the repository at this point in the history

  4. Fix Environment type in CHAIN rule

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    17d2ddd View commit details
    Browse the repository at this point in the history

  5. Adapt BHEAD STS rule

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    37d2dac View commit details
    Browse the repository at this point in the history

  6. Call BHEAD from CHAIN

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    000a30a View commit details
    Browse the repository at this point in the history

  7. Add Updates module

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    84bb4e2 View commit details
    Browse the repository at this point in the history

  8. Add PPUP STS rule

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    08084f0 View commit details
    Browse the repository at this point in the history

  9. Add ApplicationUpdate types and helper functions

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    a92c758 View commit details
    Browse the repository at this point in the history

  10. Add AVUP STS rule

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    da95f8f View commit details
    Browse the repository at this point in the history

  11. Add UP STS rule

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    4c0c4aa View commit details
    Browse the repository at this point in the history

  12. Adapt UTXO STS rule

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    1b98e09 View commit details
    Browse the repository at this point in the history

  13. Simplify LedgerState, adapt tests 

    `LedgerState` still contains a field for the current `Ix` in the slot. This
doesn't appear in the formal spec.
    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    5681b79 View commit details
    Browse the repository at this point in the history

  14. Remove EEnt extra entropy type

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    f36fa5e View commit details
    Browse the repository at this point in the history

  15. Fixes for compilation and layout

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    50692db View commit details
    Browse the repository at this point in the history

  16. Adapt BBODY rule

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    b3c1f08 View commit details
    Browse the repository at this point in the history

  17. Adapt CHAIN STS rule

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    17b5d18 View commit details
    Browse the repository at this point in the history

  18. Adapt witsNeeded in UTXOW, remove UneededWitness failure 

    We allow redundant witnesses to support mutli-sig which might require more than
one valid signature for transactions.
    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    e908484 View commit details
    Browse the repository at this point in the history

  19. Remove UnneededWitnesses from expected results in unit test 

    - remove unit tests that tests exactly that situation
- remove `UnneededWitnesses` from expected failures
    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    7a8d231 View commit details
    Browse the repository at this point in the history

  20. Adapt property-based test for redundant witnesses

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    9849682 View commit details
    Browse the repository at this point in the history

  21. Remove UPIState from executable specification

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    49578b5 View commit details
    Browse the repository at this point in the history

  22. Fix TODOs in the formal spec

    @mgudemann
    mgudemann committed Jun 24, 2019
    Configuration menu
    Copy the full SHA
    0815b93 View commit details
    Browse the repository at this point in the history