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

Merge main into develop #61

Merged
merged 47 commits into from
Jun 29, 2023
Merged

Merge main into develop #61

merged 47 commits into from
Jun 29, 2023

Commits on May 8, 2023

  1. wasm: clippy-suggested fixes

    @rbonichon
    rbonichon committed May 8, 2023
    Configuration menu
    Copy the full SHA
    1eed287 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2023

  1. Update bindings.js with missing functions 

    - group *_example_* custom gates test functions together at the end
- provide simple int64_of_int32 missing conversion function
- add caml_fq_srs_add_lagrange_basis, whichs an updating function (no return value)
    @rbonichon
    rbonichon committed May 9, 2023
    Configuration menu
    Copy the full SHA
    5bb793e View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2023

  1. move Group.add to JS

    @Trivo25
    Trivo25 committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    228728e View commit details
    Browse the repository at this point in the history

  2. remove ocaml-equals

    @Trivo25
    Trivo25 committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    a81b701 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2023

  1. reuse gates instead of importing new ones

    @Trivo25
    Trivo25 committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    855fa18 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2023

  1. bindings

    @Trivo25
    Trivo25 committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    9b2e9f7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into refactor/group-add

    @Trivo25
    Trivo25 committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    728e095 View commit details
    Browse the repository at this point in the history

  3. bindings

    @Trivo25
    Trivo25 committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    c7cc23b View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. Merge branch 'main' into refactor/group-add

    @Trivo25
    Trivo25 committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    485cc8c View commit details
    Browse the repository at this point in the history

  2. undo bindings change

    @Trivo25
    Trivo25 committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    a5f6a1f View commit details
    Browse the repository at this point in the history

  3. build bindings

    @Trivo25
    Trivo25 committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    adaddf6 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. separate type checking from build script

    @mitschabaude
    mitschabaude committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    505bf1a View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Merge pull request #35 from o1-labs/refactor/group-add

    @Trivo25
    Trivo25 committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    b26979e View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2023

  1. add in_prover_block and move some stuff to Snarky.run

    @mitschabaude
    mitschabaude committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    47d9b3b View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. update bindings

    @mitschabaude
    mitschabaude committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    fe3b5e6 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #52 from o1-labs/feature/better-readvar-error 

    Improve error when reading variable in provable code
    @mitschabaude
    mitschabaude committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    f61e056 View commit details
    Browse the repository at this point in the history

  3. fixup

    @mitschabaude
    mitschabaude committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    db653f7 View commit details
    Browse the repository at this point in the history

  4. move bindings location and add guarding d.ts

    @mitschabaude
    mitschabaude committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    4a1dbc2 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into feature/revive-snarkyjs-ci

    @mitschabaude
    mitschabaude committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    e32513d View commit details
    Browse the repository at this point in the history

  6. Merge pull request #48 from o1-labs/feature/revive-snarkyjs-ci 

    Blocking SnarkyJS CI tests (main)
    @mitschabaude
    mitschabaude committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    5837695 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. Merge branch 'main' into rb/wasm-clippify

    @mitschabaude
    mitschabaude committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    e31c79a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'rb/wasm-clippify' into rb/js-bindings-missing-functions

    @mitschabaude
    mitschabaude committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    10c750b View commit details
    Browse the repository at this point in the history

  3. fix invalid code in bindings.js

    @mitschabaude
    mitschabaude committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    40fe626 View commit details
    Browse the repository at this point in the history

  4. update bindings

    @mitschabaude
    mitschabaude committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    caaa090 View commit details
    Browse the repository at this point in the history

  5. fix js linting

    @mitschabaude
    mitschabaude committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    86679fd View commit details
    Browse the repository at this point in the history

  6. Merge pull request #13 from o1-labs/rb/wasm-clippify 

    wasm: clippy-suggested fixes
    @mitschabaude
    mitschabaude committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    14d97c3 View commit details
    Browse the repository at this point in the history

  7. Merge pull request #14 from o1-labs/rb/js-bindings-missing-functions 

    Add missing JS binding functions
    @mitschabaude
    mitschabaude committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    1c1b2e8 View commit details
    Browse the repository at this point in the history

  8. Merge pull request #56 from o1-labs/fix/bindings-js 

    Fix invalid code in bindings.js
    @mitschabaude
    mitschabaude committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    6b069e4 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. don't use window

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    51a3d3d View commit details
    Browse the repository at this point in the history

  2. Merge pull request #57 from o1-labs/fix/unsupported-window 

    Fix: window not supported in workers
    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    f1bba7d View commit details
    Browse the repository at this point in the history

  3. split out pickles bindings and clean up imports

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    9f74213 View commit details
    Browse the repository at this point in the history

  4. split out local ledger

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    31bf5aa View commit details
    Browse the repository at this point in the history

  5. cleanup

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    a391eb1 View commit details
    Browse the repository at this point in the history

  6. split out testing stuff

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    6999410 View commit details
    Browse the repository at this point in the history

  7. clean up imports

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    bb7d195 View commit details
    Browse the repository at this point in the history

  8. simplify consistency_test structure

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    81f7643 View commit details
    Browse the repository at this point in the history

  9. remove unchecked hash impls

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    a206acf View commit details
    Browse the repository at this point in the history

  10. revive unchecked hash to group in consistency test

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    f982447 View commit details
    Browse the repository at this point in the history

  11. update bindings

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    69f9f5c View commit details
    Browse the repository at this point in the history

  12. add last lines

    @mitschabaude
    mitschabaude committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    706229a View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. split out snarky bindings

    @mitschabaude
    mitschabaude committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    1500f29 View commit details
    Browse the repository at this point in the history

  2. remove one layer of module nesting

    @mitschabaude
    mitschabaude committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    2e44806 View commit details
    Browse the repository at this point in the history

  3. newline

    @mitschabaude
    mitschabaude committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    102172f View commit details
    Browse the repository at this point in the history

  4. Merge pull request #58 from o1-labs/feature/split-ocaml-bindings 

    Post refactor clean up: Split OCaml libs
    @mitschabaude
    mitschabaude committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    f52126e View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into dannywillems/main-into-develop

    @dannywillems
    dannywillems committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    985536a View commit details
    Browse the repository at this point in the history

  6. Fixup to make npm run bindings happy

    @dannywillems
    dannywillems committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    6763ac5 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. tweak how merge conflict is resolved

    @mitschabaude
    mitschabaude committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    50a5281 View commit details
    Browse the repository at this point in the history