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

Initial Halo2 Plugin #53

Draft

bhgomes wants to merge 4 commits into main from feat/halo2-plugin

Member

bhgomes commented Dec 16, 2022 •

edited

Loading

Signed-off-by: Brandon H. Gomes [email protected]

Before we can merge this PR, please make sure that all the following items have been checked off:

Linked to an issue with discussion and accepted design OR have an explanation in the PR that describes this work.
Added one line describing your change in CHANGELOG.md and added the appropriate L- label to the PR.
Re-reviewed Files changed in the GitHub PR explorer.
Checked that changes and commits conform to the standards outlined in CONTRIBUTING.md.

bhgomes added 4 commits

December 16, 2022 15:40


          wip: start halo2 plugin

df07f0c

Signed-off-by: Brandon H. Gomes <[email protected]>


          chore: add CHANGELOG entry

187e229

Signed-off-by: Brandon H. Gomes <[email protected]>


          Merge branch 'main' into feat/halo2-plugin

db9ca83

Signed-off-by: Brandon H. Gomes <[email protected]>


          wip: commit save point

0baea85

Signed-off-by: Brandon H. Gomes <[email protected]>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet