Merge develop into release for 0.5.8 #6630
Merged
Conversation
This file contains 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
Fix namespace.
Include cleanup
[SMTChecker] Merge SSA state vars properly
[SMTChecker] Implement Boolean short-circuiting correctly
[SMTChecker] Support arithmetic compound assignment operators.
Make optimiser settings available to assembly stack.
[DOCS] use correct global remapping syntax in documentation
Optimize obsolete ANDs in combination with certain SHIFTs
Layout cleanup.
Decrease xml test log size
Fixes forced optimizer settings in external tests
the `readStandardInput()` branch would be taken if "input-file" was not given and only "help", thus never reaching the check for "help"
Force-activate ABIEncoderV2 in external tests.
Fix --help parameter for solfuzzer
[SMTChecker] Address members
Allow additional EVMVersion comparators in isoltest
Increase code cost for branching statements.
[Yul] Wasm dialect.
Fix log parsing error
Removes assert on magic ABI functions in code generation
…t because nothing was flushed to stdout in over 10 minutes
Link to source verify
Fix call to base class overloaded functions
Unifies behaviour for member access of ABI functions
Move metadata settings into its own object.
Print dots in background to prevent circle CI from timing out
Forward-port 0.4.26 release notes and update bug list.
Boost libraries on osx use visibility=hidden to reduce unnecessary DWARF entries. Unless we match visibility, ld will give a warning message like: ld: warning: direct access in function 'boost::filesystem... from file ... means the weak symbol cannot be overridden at runtime. This was likely caused by different translation units being compiled with different visibility settings.
Remove clang+osx ld warning
Set release date, sort changelog entries and update bug list.
Proto fuzzer: Add missing memory and log opcodes and fix visitation bug
Codecov Report
@@ Coverage Diff @@
## release #6630 +/- ##
==========================================
Coverage ? 87.93%
==========================================
Files ? 395
Lines ? 38535
Branches ? 4529
==========================================
Hits ? 33884
Misses ? 3120
Partials ? 1531
|
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.