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.

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

Callbacks via composability #428

Merged
merged 23 commits into from
Sep 29, 2022
Merged

Callbacks via composability #428

merged 23 commits into from
Sep 29, 2022

Commits on Sep 20, 2022

  1. Configuration menu
    Copy the full SHA
    399f1c7 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2022

  1. Configuration menu
    Copy the full SHA
    a46cae1 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2022

  1. proper link

    mitschabaude committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    4eadc4d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8699922 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6005cdd View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    44e11fb View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    1af7709 View commit details
    Browse the repository at this point in the history
  6. fix token example

    mitschabaude committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    cab5f29 View commit details
    Browse the repository at this point in the history
  7. use struct

    mitschabaude committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    d9ab18d View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    7d4f500 View commit details
    Browse the repository at this point in the history
  9. tweak run script again

    mitschabaude committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    e439a9a View commit details
    Browse the repository at this point in the history
  10. wip callback refactor

    mitschabaude committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    7620804 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    ac99d19 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    d5993ab View commit details
    Browse the repository at this point in the history
  13. clone updates when witnessing, so prover doesn't interfere with tx

    -> to still be able to identify the same update, give them an id
    mitschabaude committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    1dc386a View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    dfb14c5 View commit details
    Browse the repository at this point in the history
  15. fixes

    mitschabaude committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    2bf421b View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2022

  1. avert future name clash

    mitschabaude committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    b012a9c View commit details
    Browse the repository at this point in the history
  2. make unit tests rely on existing build

    (so that Mina CI can be independent of checked-in bindings)
    mitschabaude committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    b926b72 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    fb99676 View commit details
    Browse the repository at this point in the history
  4. changelog

    mitschabaude committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    b92044d View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    d528851 View commit details
    Browse the repository at this point in the history
  6. update bindings

    mitschabaude committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    3da779d View commit details
    Browse the repository at this point in the history