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

Draft: verify mulmuladdX_fullgen_b4 #7

Closed
wants to merge 33 commits into from
Closed

Draft: verify mulmuladdX_fullgen_b4 #7

wants to merge 33 commits into from

Commits on Sep 16, 2024

  1. Begining of experiment to verify mulmuladdX_fullgen_b4

    @clarus
    clarus committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    5ddc286 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. wip

    @clarus
    clarus committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    93839a6 View commit details
    Browse the repository at this point in the history

  2. wip: install boost

    @clarus
    clarus committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    615b3c9 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. wip ci

    @clarus
    clarus committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    f1b3c82 View commit details
    Browse the repository at this point in the history

  2. add coq-evm as a submodule

    @clarus
    clarus committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    ce07e95 View commit details
    Browse the repository at this point in the history

  3. install coq-evm

    @clarus
    clarus committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    b2dae00 View commit details
    Browse the repository at this point in the history

  4. more ci test

    @clarus
    clarus committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    84e54cc View commit details
    Browse the repository at this point in the history

  5. more ci test

    @clarus
    clarus committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    f0166c8 View commit details
    Browse the repository at this point in the history

  6. Upgrade the scripts to generate the erc20 files

    @clarus
    clarus committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    7ec0675 View commit details
    Browse the repository at this point in the history

  7. make the shallow embedding generation deterministic for the order + u… 

    …se an indent function
    @clarus
    clarus committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    66281db View commit details
    Browse the repository at this point in the history

  8. Remove dead code

    @clarus
    clarus committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    763d5e9 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. add env of local vars

    @clarus
    clarus committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    1ab0bf0 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. wip

    @clarus
    clarus committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    25394a2 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. wip

    @clarus
    clarus committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    7eca00e View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. wip: add manual translation of the contract

    @clarus
    clarus committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    4a5e639 View commit details
    Browse the repository at this point in the history

  2. wip: beginning of high-level definition with equivalence proof

    @clarus
    clarus committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    bea9e12 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. More wip

    @clarus
    clarus committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    aaa42f6 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. more wip

    @clarus
    clarus committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    910dd21 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. wip

    @clarus
    clarus committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    d400b20 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. more wip on shallow generation

    @clarus
    clarus committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    605e094 View commit details
    Browse the repository at this point in the history

  2. wip: shallow translation to code that type-checks

    @clarus
    clarus committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    f7b7c7d View commit details
    Browse the repository at this point in the history

  3. more wip

    @clarus
    clarus committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    5a9da65 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. shallow: add definition of the for loop

    @clarus
    clarus committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    e35869c View commit details
    Browse the repository at this point in the history

  2. wip: beginning of simulation proofs

    @clarus
    clarus committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    ee253dc View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. wip: more wip to execute the contract in proof mode

    @clarus
    clarus committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    0bf41ca View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2024

  1. more wip

    @clarus
    clarus committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    ce9220a View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. more wip

    @clarus
    clarus committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    4fee534 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. moving some files

    @clarus
    clarus committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    69484bf View commit details
    Browse the repository at this point in the history

  2. more wip

    @clarus
    clarus committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    8ba81f4 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. wip

    @clarus
    clarus committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    724b25c View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2024

  1. wip

    @clarus
    clarus committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    a217a5a View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2024

  1. More wip to load coordinates of a point from a selector

    @clarus
    clarus committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    e9a90f9 View commit details
    Browse the repository at this point in the history

  2. More wip

    @clarus
    clarus committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    44d2c10 View commit details
    Browse the repository at this point in the history