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

Get clang tidy / clang format / CI enforcing C++ standardisation #363

Closed
iAmMichaelConnor opened this issue Apr 25, 2023 · 2 comments
Closed

Get clang tidy / clang format / CI enforcing C++ standardisation #363

iAmMichaelConnor opened this issue Apr 25, 2023 · 2 comments
Assignees
@dbanks12

Comments

@iAmMichaelConnor
Copy link
Contributor

No description provided.

@iAmMichaelConnor iAmMichaelConnor converted this from a draft issue Apr 25, 2023
@dbanks12 dbanks12 mentioned this issue Apr 25, 2023
Closed
@dbanks12 dbanks12 moved this from Todo to In Progress in A3 Apr 27, 2023
@iAmMichaelConnor iAmMichaelConnor added this to the 🔧 Setup milestone May 1, 2023
@dbanks12 dbanks12 moved this from In Progress to Done in A3 May 2, 2023
@iAmMichaelConnor
Copy link
Contributor Author

@dbanks12 I think we can say this one is done?

@iAmMichaelConnor
Copy link
Contributor Author

Closing because moved to 'Done'

ludamad pushed a commit that referenced this issue Jul 14, 2023
@LHerskind
Solidity Ultra Verifier with tests (#363)
6636fcd 
* initial setup

* feat: add test setup

* fix: revert unneeded cmakelist changes + typos

* fix: solidity helper binaries in docker

* chore: Use `-assert` variant instead of plain

* chore: config.yml missing whitespace

* fix: alpine base dockerfile

* chore: add sol to build_manifest

* Dockerfile: add string utils

* fix: use different base, add bash

* chore: remove stale misc

* circle-ci fiddling

* more circle fiddling

* fiddle

* Circle-ci fiddling for verifiers (#365)

* build_manifest update

* fiddling

* fiddling

* skip ensure_repo

* skipping more stuff

* fiddling

* get docker version

* force change in key_gen

* fiddle

* docker version in cond_spot

* fiddle

* update path

* fiddle

* build in init

* fiddle

* fiddle

* fiddle

* fiddle

* alpine

* package naming

* add apt-repository

* add apt rep key

* lld-15

* fiddle with docker

* chore: cleanups

* chore: remove log

---------

Co-authored-by: cheethas <addaboy@gmail.com>
@iAmMichaelConnor iAmMichaelConnor removed this from A3 Jul 26, 2023
codygunton pushed a commit that referenced this issue Jan 23, 2024
@LHerskind
Solidity Ultra Verifier with tests (#363)
2396c3f 
* initial setup

* feat: add test setup

* fix: revert unneeded cmakelist changes + typos

* fix: solidity helper binaries in docker

* chore: Use `-assert` variant instead of plain

* chore: config.yml missing whitespace

* fix: alpine base dockerfile

* chore: add sol to build_manifest

* Dockerfile: add string utils

* fix: use different base, add bash

* chore: remove stale misc

* circle-ci fiddling

* more circle fiddling

* fiddle

* Circle-ci fiddling for verifiers (#365)

* build_manifest update

* fiddling

* fiddling

* skip ensure_repo

* skipping more stuff

* fiddling

* get docker version

* force change in key_gen

* fiddle

* docker version in cond_spot

* fiddle

* update path

* fiddle

* build in init

* fiddle

* fiddle

* fiddle

* fiddle

* alpine

* package naming

* add apt-repository

* add apt rep key

* lld-15

* fiddle with docker

* chore: cleanups

* chore: remove log

---------

Co-authored-by: cheethas <addaboy@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dbanks12 dbanks12

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@iAmMichaelConnor @dbanks12