func(merge): from v0.8.20 #65
Merged
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
…8.19 Sort Changelog for 0.8.19
Set version to 0.8.20
…ion-to-0.8.20 Revert "Set version to 0.8.20"
…0.8.19 Set release date for 0.8.19
Set version to 0.8.20
Revert debian compatibility for ubuntu focal support.
Run triage action on all new issues independent of the presence of labels
Update smtchecker docs to reflect the only 2 Reported Inferred Inductive Invariants
Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>
…y-opt Strict assembly fuzzer: Change optimization setting from full to minimal
Initialize vars before use
…defined behavior sanitizer
Use `std::` prefix with `std::forward()` as well to satisfy Clang
…zer-mixup-in-ci Fix `b_ubu_ubsan_clang` running the address sanitizer instead of the undefined behavior sanitizer
Update openzeppelin external tests with basic hardhat via-ir support
…ll-for-unary-operators Fix `member call on null pointer` when type-checking built-in unary operators
[SMTChecker] Report safe properties in BMC and CHC
Make Shanghai the default EVM version.
Switch to Gen2 macOS resources on CircleCI
Foundry ci setup
docs: mention that `push0` also decreases the runtime costs
Trigger github
…itialization-in-try-catch Disallow immutable initialization in try catch statements
Bump docker images and evmone version.
Bump evmone version in docker images to 0.10.0.
Add missing overridden virtual methods in SMT Sort structs
…arning-in-types Fix hidden-overload in Types and remove CMake hacks
…rd-json Add support to import AST via Standard JSON.
Fix gitter link.
Fix antlr grammar.
Sort changelog for 0.8.20.
# Conflicts: # .circleci/config.yml # docs/security-considerations.rst # docs/units-and-global-variables.rst # libsolidity/parsing/Parser.cpp # scripts/docker/buildpack-deps/Dockerfile.ubuntu2004
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.