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

Backend unification #417

Merged
merged 23 commits into from
Aug 8, 2023
Merged

Backend unification #417

merged 23 commits into from
Aug 8, 2023

Commits on Jul 28, 2023

  1. Mostly done.

    @lvella
    lvella committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    165dd57 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. With all features enabled, it at least compiles.

    @lvella
    lvella committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    36cc2e4 View commit details
    Browse the repository at this point in the history

  2. Fixed some bugs.

    @lvella
    lvella committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ce2fbbc View commit details
    Browse the repository at this point in the history

  3. Being explicit about degree type.

    @lvella
    lvella committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    5d4a5f6 View commit details
    Browse the repository at this point in the history

  4. More tests passing.

    @lvella
    lvella committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    3604afe View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Even more tests passing.

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

  2. Restoring optional Halo2 compilation.

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

  3. Merge branch 'main' into backend-unification

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

Commits on Aug 2, 2023

  1. Fixing bad merge.

    @lvella
    lvella committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    9c58166 View commit details
    Browse the repository at this point in the history

  2. Fixing lint errors.

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

  3. More lint fixes.

    @lvella
    lvella committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    1709b1c View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Merge branch 'main' into backend-unification

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

  2. Split of the backend implementations into trait categories.

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

Commits on Aug 4, 2023

  1. Some renamings.

    @lvella
    lvella committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    2a86f70 View commit details
    Browse the repository at this point in the history

  2. Much better function names.

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

  3. Removed option from witness.

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

  4. Pleasing the lint.

    @lvella
    lvella committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    594601d View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. Returning the proof.

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

  2. Removing filesystem stuff from backend.

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

  3. Renaming function.

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

  4. Merge remote-tracking branch 'origin/main' into backend-unification

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

Commits on Aug 8, 2023

  1. Another function rename.

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

  2. Merge branch 'main' into backend-unification

    @leonardoalt
    leonardoalt authored Aug 8, 2023
    Configuration menu
    Copy the full SHA
    4a55617 View commit details
    Browse the repository at this point in the history