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

feat: DataBus PoC (UltraHonk as extension of Ultra) #3181

Merged
merged 19 commits into from
Nov 17, 2023
Merged

feat: DataBus PoC (UltraHonk as extension of Ultra) #3181

merged 19 commits into from
Nov 17, 2023

Commits on Nov 9, 2023

  1. builds w UCB inheritance w new arith

    @ledwards2225
    ledwards2225 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    6c11165 View commit details
    Browse the repository at this point in the history

  2. tests passing with databus additions to goblin

    @ledwards2225
    ledwards2225 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    89d0629 View commit details
    Browse the repository at this point in the history

  3. cleanup and remove unneeded forward decs

    @ledwards2225
    ledwards2225 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    701a696 View commit details
    Browse the repository at this point in the history

  4. define pad directly in arith to avoid virtual

    @ledwards2225
    ledwards2225 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    3ef4a84 View commit details
    Browse the repository at this point in the history

  5. define accum directly in relation for now

    @ledwards2225
    ledwards2225 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    0f509e3 View commit details
    Browse the repository at this point in the history

  6. databus log deriv relation passing correctness

    @ledwards2225
    ledwards2225 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    24cf9cf View commit details
    Browse the repository at this point in the history

  7. fix linker issues after master merge

    @ledwards2225
    ledwards2225 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    1a7d2b4 View commit details
    Browse the repository at this point in the history

  8. use requires instead

    @ledwards2225
    ledwards2225 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    d05d274 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Merge branch 'master' into lde/databus

    @ledwards2225
    ledwards2225 committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    8c4dafd View commit details
    Browse the repository at this point in the history

  2. WiP builds with lookup lib function in relation

    @ledwards2225
    ledwards2225 committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    77d6d3a View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. cleanup

    @ledwards2225
    ledwards2225 committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    4773666 View commit details
    Browse the repository at this point in the history

  2. ultra honk verifies with databus relation

    @ledwards2225
    ledwards2225 committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    99a70c8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into lde/databus

    @ledwards2225
    ledwards2225 committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    e99e017 View commit details
    Browse the repository at this point in the history

  4. updates after merge

    @ledwards2225
    ledwards2225 committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    5022b7c View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. Merge branch 'master' into lde/databus

    @ledwards2225
    ledwards2225 committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    bc2b4a4 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. update recursive verifier

    @ledwards2225
    ledwards2225 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    235dfcd View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. WiP

    @ledwards2225
    ledwards2225 committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    923cfa9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into lde/databus

    @ledwards2225
    ledwards2225 committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    117dfd5 View commit details
    Browse the repository at this point in the history

  3. cleanup

    @ledwards2225
    ledwards2225 committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    d5d3a31 View commit details
    Browse the repository at this point in the history