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

WIP: Generate plugins #410

Draft
wants to merge 19 commits into
base: master
Choose a base branch
from
Draft

WIP: Generate plugins #410

wants to merge 19 commits into from
+285 −11,134

Commits on Aug 15, 2023

  1. feat: Allow generate plugins

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

  2. rebuild

    @phated
    phated committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    e208d17 View commit details
    Browse the repository at this point in the history

  3. build for cjs

    @phated
    phated committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    3a43fdb View commit details
    Browse the repository at this point in the history

  4. build to root to avoid template path differences

    @phated
    phated committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    0546df7 View commit details
    Browse the repository at this point in the history

  5. include calldata in generator plugins

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

  6. rebuild

    @phated
    phated committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    b77f5a5 View commit details
    Browse the repository at this point in the history

  7. diff

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

  8. cleanup

    @phated
    phated committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    6000e84 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. fix commands

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

  2. fix plugin instantiation

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

  3. rebuild

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

  4. flip the arguments for fflonk

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

  5. import verifiers from plugin

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

  6. dirname shim and move it to plugin

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

Commits on Oct 30, 2023

  1. switch to github dependency

    @phated
    phated committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    80e6119 View commit details
    Browse the repository at this point in the history

  2. moved smart contract tests to the generator

    @phated
    phated committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    85a64a2 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into phated/generate-plu… 

    …gins
    @phated
    phated committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    58da883 View commit details
    Browse the repository at this point in the history

  4. rebuild

    @phated
    phated committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    6d92ec7 View commit details
    Browse the repository at this point in the history

  5. try removing github protocol

    @phated
    phated committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    0b94474 View commit details
    Browse the repository at this point in the history