Merged
Conversation
Fix several typos in code comments
Install cvc5 in buildpack-deps
Instead of compiling `solc` itself with CVC4 support, it is now enough to have `cvc5` executable on PATH when running the compiler. Instead of using API of CVC4, we now use SMT-LIB2 interface. That means we write the queries to temporary SMT-LIB2 files and call the solver process directly to run on the file.
We are using SMTCommand inside UniversalCallback to call external solvers on queries produced my our engines. Previous mechanism set the external solver once during initialization and it was not possible to change it later. This meant, that it would not be possible to use, e.g., Eldarica and cvc5 at the same time. Here we move the proper setup for SMTCommand just before we call it. This setup is customized by subclasses of (CHC)SmtLib2Interface, which call corresponding external solvers.
SMTChecker: Upgrade CVC4 to cvc5 and switch from API to SMT-LIB2 interface
…alidations-with-assertions Replace unnecessary validations with assertions
Performance benchmarks using external projects with Foundry
…FeatureErrors Catch `unimplementedFeatureError`s and report them as errors
… for BMC and CHC engines
…number-of-verified-checks SMTChecker: Fix error that reports invalid number of verified checks
- In analysis we use an error reporter and never just throw util::Error. We do it in one case in the codegen (CodeGenerationError) but outside of that case this should not be treated as a proper way to report an error. - Now such errors will be treated as unexpected. They're bugs that should be fixed.
…c-exception-handlers Remove overly specific handlers for unexpected exceptions
…rHack Enable parser to accept `transient` as data location or identifier
…erimental-feature Hide undocumented yul export cfg option
Create opRetro.json
…image Introduce ubuntu2404 clang docker image
Relax the definition of memory safety in the documentation.
- The git submodule is pinned to that version, which should be enough of a hint that this is the version we expect. If someone builds with a different version and it passes tests, we should not block that.
Tweak advanced CMake options
eof: Pass `_eofVersion` down to `libevmasm/Assembly` class
…ystem-tests Disable failing import tests introduced by boost upgrade
Fix Yul stack output using standard json in the presence of warnings.
Remove mantic from release PPA script (obsolete).
…x-inconsistencies Sort changelog for the upcoming release
…-date Set changelog release date
# Conflicts: # .github/workflows/buildpack-deps.yml # scripts/docker/buildpack-deps/Dockerfile.emscripten # scripts/docker/buildpack-deps/Dockerfile.ubuntu.clang.ossfuzz # solc/CommandLineParser.cpp
Merge from v0.8.27
Remove broken global TRON freeze builtins
|
Thank you for your contribution to the Solidity compiler! A team member will follow up shortly. If you haven't read our contributing guidelines and our review checklist before, please do it now, this makes the reviewing process and accepting your contribution smoother. If you have any questions or need our help, feel free to post them in the PR or talk to us directly on the #solidity-dev channel on Matrix. |
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
20 participants
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.