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

Mm/proposal procedures #422

Merged
merged 26 commits into from
Jun 28, 2024
Merged

Mm/proposal procedures #422

merged 26 commits into from
Jun 28, 2024

Commits on Jun 18, 2024

  1. first batch of changes linked to proposal procedures

    mmontin committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    39934f4 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. merging

    mmontin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    c5e7fab View commit details
    Browse the repository at this point in the history

  2. a bit more typechecking

    mmontin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    c756ecd View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. Merge branch 'mm/new-balancing' into mm/proposal-procedures

    mmontin committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    fd16d4c View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. translating what is needed in parameter changes

    mmontin committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    49aed1f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into mm/proposal-procedures

    mmontin committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    33411e4 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. it works

    mmontin committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    0da8303 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. more comments, some refactoring

    Mathieu Montin committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    b5eb5e9 View commit details
    Browse the repository at this point in the history

  2. Common, Output and Witness

    Mathieu Montin committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    ce22526 View commit details
    Browse the repository at this point in the history

  3. proposals

    Mathieu Montin committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    2454f47 View commit details
    Browse the repository at this point in the history

  4. reference inputs

    Mathieu Montin committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    6bfd07d View commit details
    Browse the repository at this point in the history

  5. inputs

    Mathieu Montin committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    3b181aa View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. collaterals

    mmontin committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    7cd7efb View commit details
    Browse the repository at this point in the history

  2. all commented and sorted out

    mmontin committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    bc9a882 View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: Florent C. <[email protected]>
    @mmontin @florentc
    mmontin and florentc committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    bbd76e9 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'mm/proposal-procedures' of github.com:tweag/cooked-vali… 

    …dators into mm/proposal-procedures
    mmontin committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    2cb8fc8 View commit details
    Browse the repository at this point in the history

  5. fixing script has

    mmontin committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    92a9b56 View commit details
    Browse the repository at this point in the history

  6. updating imports

    mmontin committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    72d180f View commit details
    Browse the repository at this point in the history

  7. cheatsheet + underscore

    mmontin committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    82e9907 View commit details
    Browse the repository at this point in the history

  8. referenced -> reference

    mmontin committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    b76d4a4 View commit details
    Browse the repository at this point in the history

  9. updating doc

    mmontin committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    6cfe663 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. pretty cooked

    mmontin committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    762e8c4 View commit details
    Browse the repository at this point in the history

  2. redundant import

    mmontin committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    51256cf View commit details
    Browse the repository at this point in the history

  3. tests

    mmontin committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    16c598f View commit details
    Browse the repository at this point in the history

  4. adding a test

    mmontin committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    e2dd849 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. integrating review comments

    mmontin committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    23c6e23 View commit details
    Browse the repository at this point in the history