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

Allow bedrock2 pipeline to call external functions. #1640

Open
wants to merge 34 commits into
base: master
Choose a base branch
from
Open

Allow bedrock2 pipeline to call external functions. #1640

wants to merge 34 commits into from

Commits on Aug 1, 2023

  1. wip

    @jadephilipoom
    jadephilipoom committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    765f692 View commit details
    Browse the repository at this point in the history

  2. wip

    @jadephilipoom
    jadephilipoom committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    eaefa72 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. pre-sed

    @jadephilipoom
    jadephilipoom committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    33f24e1 View commit details
    Browse the repository at this point in the history

  2. post sed

    @jadephilipoom
    jadephilipoom committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    4c9b915 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. cmd working with add-get-carry

    @jadephilipoom
    jadephilipoom committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    ca6c256 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. wip, about to start on expr

    @jadephilipoom
    jadephilipoom committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    e640bb7 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. wip, command proof was working before change to fun nextn =>

    @jadephilipoom
    jadephilipoom committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    9332427 View commit details
    Browse the repository at this point in the history

  2. cmd proof working again

    @jadephilipoom
    jadephilipoom committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    518afa0 View commit details
    Browse the repository at this point in the history

  3. proved stuff about inversion things

    @jadephilipoom
    jadephilipoom committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    f2c148b View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2023

  1. wip

    @jadephilipoom
    jadephilipoom committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    4b40d92 View commit details
    Browse the repository at this point in the history

  2. wip

    @jadephilipoom
    jadephilipoom committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    e62d661 View commit details
    Browse the repository at this point in the history

  3. func proof works

    @jadephilipoom
    jadephilipoom committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    f0a8ad2 View commit details
    Browse the repository at this point in the history

  4. wip on signature, why is it broken?

    @jadephilipoom
    jadephilipoom committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    4952bcf View commit details
    Browse the repository at this point in the history

  5. signature passing

    @jadephilipoom
    jadephilipoom committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    5bd78bf View commit details
    Browse the repository at this point in the history

  6. wip

    @jadephilipoom
    jadephilipoom committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    af6a79b View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. wip, changing expr cast rules for tuples

    @jadephilipoom
    jadephilipoom committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    08e852d View commit details
    Browse the repository at this point in the history

  2. starting with turning fst/snd case to only apply to vars

    @jadephilipoom
    jadephilipoom committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    8628f75 View commit details
    Browse the repository at this point in the history

  3. reverting previous and loosening require_cast_for_arg instead

    @jadephilipoom
    jadephilipoom committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    408e44e View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. computable valid expr impl1 works

    @jadephilipoom
    jadephilipoom committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    d2da65f View commit details
    Browse the repository at this point in the history

  2. computable valid expr works completely

    @jadephilipoom
    jadephilipoom committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    db521d8 View commit details
    Browse the repository at this point in the history

  3. starting to allow zz vars

    @jadephilipoom
    jadephilipoom committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    2cc14ac View commit details
    Browse the repository at this point in the history

  4. zz vars working?

    @jadephilipoom
    jadephilipoom committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    ad7b9fb View commit details
    Browse the repository at this point in the history

  5. starting to adapt zselect, which is failing because of the new [0,1] … 

    …range
    @jadephilipoom
    jadephilipoom committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    aa087e3 View commit details
    Browse the repository at this point in the history

  6. won't work, wrote a new idea

    @jadephilipoom
    jadephilipoom committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    fe747d2 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. proof working, starting on valid computable

    @jadephilipoom
    jadephilipoom committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    deca8c7 View commit details
    Browse the repository at this point in the history

  2. starting to adjust to allow any maskable range in cast, because pairs… 

    … with internal casts were failing
    @jadephilipoom
    jadephilipoom committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    f4fcd25 View commit details
    Browse the repository at this point in the history

  3. mask proof case working

    @jadephilipoom
    jadephilipoom committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    b0f1ab7 View commit details
    Browse the repository at this point in the history

  4. works except for sub

    @jadephilipoom
    jadephilipoom committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    3f92703 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2023

  1. works with sub, but fails to handle carries which are literals

    @jadephilipoom
    jadephilipoom committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    908f6e5 View commit details
    Browse the repository at this point in the history

  2. p224 add compiles

    @jadephilipoom
    jadephilipoom committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    b24b730 View commit details
    Browse the repository at this point in the history

  3. clean up debugging printouts and reset them to focus on mul, comment … 

    …out things that rely on mul_split
    @jadephilipoom
    jadephilipoom committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    c3aad15 View commit details
    Browse the repository at this point in the history

  4. remove debugging file

    @jadephilipoom
    jadephilipoom committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    5340e29 View commit details
    Browse the repository at this point in the history

  5. revert fst/snd cast changes

    @jadephilipoom
    jadephilipoom committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    09c490d View commit details
    Browse the repository at this point in the history

  6. remove printing statements and dead lemma

    @jadephilipoom
    jadephilipoom committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    13b7e0a View commit details
    Browse the repository at this point in the history