Merge from v0.8.25 #75
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Set version to 0.8.25
…otations guaranteed by previous passes
Yul proto fuzzer: Add mcopy builtin to generator.
Yul fuzzer: Support transient storage.
…nreachable-instantiation-errors Remove unreachable errors from instantiation processing in `TypeInference`
…pe-variables Fixed type variables for functions, type classes and types in new analysis
…hai-matchers-ext-test-openzeppelin Fix openzeppelin external test
…sing-aliases solidity grammar: add a new rule `usingAliases` for `usingDirective`
…values in SMTChecker (ethereum#14832)
…m-value-type-docs Remove dynamic byte arrays from value types section
…-std-from-yulphaser Purge using namespace std from test/yulPhaser
…module-requests Install dependencies and add symbolic link for python3
Separate nightly-ossfuzz workflow from nightly workflow
…recations Move deprecated evm versions to nightly CI workflow
Fix typos in comments
[solutil] Add missing include guard.
Previously, CHC engine with SMT interface would always call Eldarica if it was present in the system, regardless whether user specified model-checker-solver as smtlib2 or eld. Here we make sure Eldarica is called only when it is specified as the solver of choice. The proposed solution is to make SMTSolverCommand modifiable and set it up properly based on the user settings. This requires changes also in UniversalCallback, because in the compiler we must be able to check if the given callback is UniversalCallback provided by CommandLineInterface. This mechanism can be used to migrate also other solvers to the SMTLIB interface by further extending/adapting SMTSolverCommand. Its advantage is that meaning of the callback stays the same, thus there is not need to change anything on the side of solc-js.
SMTChecker: Fix usage of Eldarica with SMT callback
…lation-with-via-ir Fix unnecessary compilation when `--via-ir` is used on its own
…settings-ext-tests Add hardhat networks settings external tests
…once during compilation (ethereum#14935)
…-or-default Use move ctor instead of copy ctor in stringOrDefault
Clean up docs to with regards to changes in SELFDESTRUCT opcode
Disable gp2 and zeppelin ext tests
Make Cancun the default EVM version
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.