-
Notifications
You must be signed in to change notification settings - Fork 27
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.
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
v0.7 - Daric #370
v0.7 - Daric #370
Conversation
Updated copyright headers to 2021
Run contract tests as part of CI
…instance description
…nnecessary final constraint)
…r incorrect results
Mimc update to align with spec
Export data from prover
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM.
The docker builds appear to be failing while trying to install the solidity compiler. I can't see why it would fail, so I've restarted the job (for "pull_request") in case it's something intermittent. If that works, we can run the "push" version too. |
|
The same command worked for me in a local docker container. It may be something specific to the environment. |
It seems solc-v0.8.1 does indeed not execute in a container based on an alpine image. ldd reports a missing shared lib. Investigating in #371. |
Thanks for looking into that. Yes indeed I just did a very quick test using solc-select in an alpine:3.13 container, and the compiler seems to work fine until Let's check the contracts code to see if we use any new syntax from 0.8. If the code can compile using 0.7, we can modify the pragmas to support solc 0.7.5 and wait until 0.8 is added to alpine (I'll check the code and check https://docs.soliditylang.org/en/latest/080-breaking-changes.html#how-to-update-your-code to see if we can compile with 0.7 -> even if things compile, the "safe arithmetic" is only avail in 0.8 as well as the AbiEncoderv2 etc, so the code won't be as stable and sound...). After 0.7.5 there's 0.7.6 and right after there's 0.8.0 AFAIK, so we should be able to have the new solidity version fairly soon in Alpine I hope. |
Removed surrounding quotes in GA names for consistency
No description provided.