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

CompositeBackend: Create proofs for each machine (working with Halo2) #1470

Merged
merged 19 commits into from
Jul 3, 2024
Merged

CompositeBackend: Create proofs for each machine (working with Halo2) #1470

merged 19 commits into from
Jul 3, 2024

Commits on Jun 28, 2024

  1. CompositeBackend: Create proofs for each machine

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    3a1ff34 View commit details
    Browse the repository at this point in the history

  2. Don't re-parse for now

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    21df19c View commit details
    Browse the repository at this point in the history

  3. Bug fix

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    ec2fb34 View commit details
    Browse the repository at this point in the history

  4. Handle stuff in global namespace

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    f2dabfe View commit details
    Browse the repository at this point in the history

  5. Comment in challenge tests

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    d806aaf View commit details
    Browse the repository at this point in the history

  6. Undo changes

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    fb06fa8 View commit details
    Browse the repository at this point in the history

  7. Implement generic merging of machines

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    2af6ddb View commit details
    Browse the repository at this point in the history

  8. Bug fixes

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    adc6527 View commit details
    Browse the repository at this point in the history

  9. Undo changes

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    8ae3f01 View commit details
    Browse the repository at this point in the history

  10. Refactor

    @georgwiese
    georgwiese committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    89ebaac View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Remove machine splitting business

    @georgwiese
    georgwiese committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    c7910a5 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. Assert that skipped permutations / lookups only reference one namespa… 

    …ce on either side
    @georgwiese
    georgwiese committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    fa5b7c5 View commit details
    Browse the repository at this point in the history

  2. Merge origin/main

    @georgwiese
    georgwiese committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    68163e4 View commit details
    Browse the repository at this point in the history

  3. Undo removing test

    @georgwiese
    georgwiese committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    632b653 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Review feedback

    @georgwiese
    georgwiese committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    dfbe406 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:powdr-labs/powdr into composite-wra… 

    …pper3
    @georgwiese
    georgwiese committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    9edee1a View commit details
    Browse the repository at this point in the history

  3. Format

    @georgwiese
    georgwiese committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    952479e View commit details
    Browse the repository at this point in the history

  4. Review feedback

    @georgwiese
    georgwiese committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    0f4c794 View commit details
    Browse the repository at this point in the history

  5. Functional Thibaut strikes

    @georgwiese
    georgwiese committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    581b067 View commit details
    Browse the repository at this point in the history