cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
22,422 Commits 348 Branches 121 Tags 100 MiB
2215b6d44b
Commit Graph

852 Commits

Author SHA1 Message Date
Daniel Kirchner
38545e81c1 Update docker images to Z3 4.8.14. 2022-01-12 19:28:20 +01:00
Leo Alt
9f171c0f06 update smtchecker tests for new z3 2022-01-12 15:13:34 +01:00
Daniel Kirchner
5597d43635 Add impish to static Z3 PPA script. 2022-01-03 14:03:40 +01:00
Kamil Śliwak
de364c566c pylint: Disable the opinionated too-many-xyz warnings 2021-12-21 18:37:38 +01:00
Kamil Śliwak
589f4b2a83 pylint: Enable bad-continuation and ungrouped-imports warnings and update the list of warnings to eliminate in the future 2021-12-21 15:31:01 +01:00
Kamil Śliwak
dece5f4de2 pylint: Enable and fix redefined-builtin warnings 2021-12-21 15:30:11 +01:00
Kamil Śliwak
5b10ff1216 pylint: Enable and fix singleton-comparison warnings 2021-12-21 15:30:11 +01:00
Kamil Śliwak
784ae91b41 pylint: Enable and fix no-self-use warnings 2021-12-21 15:30:11 +01:00
Kamil Śliwak
449f56c15b pylint: Enable and fix consider-using-sys-exit warnings 2021-12-21 15:30:11 +01:00
chriseth
8da9239c83
Merge pull request #12396 from ethereum/ext-tests-via-ir 
External tests via IR
 2021-12-20 18:13:02 +01:00
Christian Parpart
927b24df1f Initial implementation of Language Server 2021-12-16 17:52:49 +01:00
Kamil Śliwak
d304c84432 externalTests: Replace optimizer levels with named presets 2021-12-14 13:19:53 +01:00
Kamil Śliwak
91ee0ed4ef scripts/common.sh: Add first_word() helper 2021-12-14 13:19:21 +01:00
Bhargava Shastry
1c8d430b82 Remove Hera as a dependency for oss-fuzz Docker image. 2021-11-24 22:06:08 +01:00
Bhargava Shastry
6b69791f2b Disabling Clang-14 bitwise instead of logical warning in Hera build. 2021-11-24 22:06:08 +01:00
Leo Alt
aa1a17072f Update z3 version in our docker files 2021-11-24 22:06:08 +01:00
Leo Alt
406b1fbcec bump docker hashes and z3 version 2021-11-24 20:41:22 +01:00
chriseth
3b98bee29a Update z3 version. 2021-11-23 14:05:59 +01:00
Kamil Śliwak
2aeeef83f2
Merge pull request #12214 from ethereum/parallelize-external-tests 
Parallelize external tests
 2021-11-18 17:27:57 +01:00
Kamil Śliwak
0d82fe9ca7 cmdlineTests.sh: Test the equivalence of one and two-stage compilation via IR 2021-11-10 18:12:06 +01:00
Kamil Śliwak
fbc48e3029 Extract helpers for managing steps in parallelized CircleCI jobs from soltest_all.sh 2021-11-09 16:57:37 +01:00
Kamil Śliwak
7ccdbd5b08 Use consistent syntax for Bash function declarations 2021-11-08 16:34:07 +01:00
Daniel Kirchner
83308184f2 Remove outdated install_deps scripts. 2021-11-05 18:58:20 +01:00
Daniel Kirchner
d6cb42c9dd
Merge pull request #12241 from ethereum/emscriptenUpdate 
Update emscripten Dockerfile.
 2021-11-05 10:07:40 +01:00
Daniel Kirchner
a7688a0eaf Update emscripten to version 2.0.33. 2021-11-04 19:24:12 +01:00
Daniel Kirchner
0ee131c937 Update emscripten Dockerfile. 2021-11-04 16:49:32 +01:00
Daniel Kirchner
df6f930408
Merge pull request #12236 from ethereum/removeEmscriptenWorkaround 
Remove old compatibility patch to soljson.js.
 2021-11-04 15:31:02 +01:00
Daniel Kirchner
a0dee79ad2 Remove install_deps script. 2021-11-04 12:07:27 +01:00
Daniel Kirchner
8e87c17671 Remove old compatibility patch to soljson.js. 2021-11-04 11:44:31 +01:00
Derek Brans
285528f407
Added the BigSur 11.6 in the supported os list 2021-11-02 20:27:32 -05:00
Kamil Śliwak
60ba3b307f isolate_tests: Fix typo in script description 2021-10-29 00:19:43 +02:00
Leo Alt
a104443ac1 Adjust errors script to also look for infos 2021-10-26 11:30:30 +02:00
Kamil Śliwak
2162039c50
Merge pull request #12142 from ethereum/bash-assert-and-stack-traces 
Assert and stack traces for Bash scripts
 2021-10-26 10:44:39 +02:00
Zachinquarantine
07c98227aa Remove old, unsupported Ubuntu versions and adds new ones. 
https://releases.ubuntu.com/
 2021-10-15 19:44:34 +02:00
Zachinquarantine
a67b3bdd58 Removes support for Debian Wheezy (7) 
As per the schedule on https://wiki.debian.org/LTS.
The only reason I haven't fully removed support for Jesse (8) is because it's still in https://wiki.debian.org/LTS/Extended
 2021-10-15 19:44:34 +02:00
Kamil Śliwak
0280c8d00e Use fail and assertFail where appropriate in command-line tests 2021-10-14 18:56:08 +02:00
Kamil Śliwak
3b1b9a0bfb common.sh: Adjust formatting in msg_on_error() and add stack trace 2021-10-14 18:56:08 +02:00
Kamil Śliwak
b85172b055 common.sh: Print the source code from locations indicated in the stack trace 2021-10-14 18:56:08 +02:00
Kamil Śliwak
9aad8d683d common.sh: printStackTrace() and assertFail() 2021-10-14 18:55:08 +02:00
Kamil Śliwak
fc0fe4f022 isolate_tests.py: Silence spurious pylint warning about isfile() being unused 2021-10-13 16:19:16 +02:00
Kamil Śliwak
b96de320e2 Fix the simplest pylint warnings (variables/imports, semicolons, etc) and re-enable them in pylintrc 2021-10-13 16:19:16 +02:00
Christian Parpart
859a170273 Updates PPA release script to pre-fetch the correct fmtlib version. 2021-10-11 14:52:07 +02:00
Christian Parpart
3f08b2269a Adds fmtlib as 3rdparty dependency for easier string composition. 2021-10-11 13:35:08 +02:00
Kamil Śliwak
476c76b54e compileFull(): Use find instead of /*/*, which requires ignoring missing files 2021-10-06 18:46:42 +02:00
Kamil Śliwak
4054e2a28f compileFull(): Print only file names, not their content in case of failure 2021-10-06 18:46:34 +02:00
chriseth
9c6ca4f439
Merge pull request #12076 from ethereum/cmdline-test-error-helpers 
Error helpers + small refactors in `cmdlineTests.sh`
 2021-10-05 17:20:49 +02:00
Marenz
98dd78362e Add `.address and .selector` in inside assembly for external function pointers 2021-10-04 18:05:57 +02:00
Kamil Śliwak
b4073179d7 cmdlineTests.sh: Add msg_on_error helper that automatically prints stderr and stdout of a failed command 2021-10-04 14:30:30 +02:00
Kamil Śliwak
26f9a554fb cmdlineTests.sh: Add fail helper to make exiting on an error more convenient 2021-10-04 14:30:30 +02:00
Kamil Śliwak
7915f32852 Remove leftovers of compact-format and interface from --combined-json 2021-10-01 13:05:30 +02:00
chriseth
321e362789
Merge pull request #12024 from ethereum/require-boost-1.77-on-windows 
Require Boost 1.77 on Windows
 2021-09-27 15:41:21 +02:00
Kamil Śliwak
970381cb1d splitSources.py: Support the case where the input file is empty 2021-09-27 13:17:13 +02:00
Kamil Śliwak
e3a3829f97 Increase minimum Boost version to 1.77 on Windows 2021-09-27 13:15:57 +02:00
chriseth
487c5ce613
Merge pull request #12018 from ethereum/fix-silent-errors-in-ast-import-tests 
Fix silent errors in AST import tests
 2021-09-27 12:09:54 +02:00
Kamil Śliwak
091e15d6da Verify checksums of packages downloaded by scripts 2021-09-24 16:29:45 +02:00
Kamil Śliwak
59e8bbb1d7 Do not use --force with rm if not needed 2021-09-24 16:29:14 +02:00
Kamil Śliwak
67041fb37f Put versions of packages downloaded by scripts in variables to reduce duplication 2021-09-24 16:29:14 +02:00
Kamil Śliwak
9326b2eaeb ASTImportTest.sh: Print an error when AST reimport fails instead of just exiting silently 2021-09-23 17:55:01 +02:00
Leonardo
20ca5c1361
Merge pull request #11986 from ethereum/fix-pylint-warnings-about-f-strings 
Fix pylint warnings about the usage of f-strings
 2021-09-17 14:24:05 +02:00
Basit Raza
553d3ed714
Added the BigSur 11.5 in the supported os list 2021-09-17 10:51:54 +04:00
Bhargava Shastry
7877758cf3
Merge pull request #11979 from ethereum/update-ossfuzz-docker 
Docker: Tag ossfuzz base clang image
 2021-09-16 22:35:23 +02:00
Kamil Śliwak
66a540ea01 Fix pylint warnings about the usage of f-strings 2021-09-16 19:38:44 +02:00
chriseth
63993387d6 Add test for invalid ast id. 2021-09-16 17:18:48 +02:00
chriseth
4284499180
Merge pull request #11888 from ethereum/spdx-license-handling-10145 
Properly detect multiple licenses and validate them.
 2021-09-16 14:18:17 +02:00
Marenz
c81814915c Properly detect multiple licenses and validate them. 2021-09-16 11:18:26 +02:00
Bhargava Shastry
0dc1600fa5 Docker: Tag ossfuzz base clang image 2021-09-16 10:14:13 +02:00
Bhargava Shastry
9a8fc605b2
Update scripts/docker/buildpack-deps/Dockerfile.ubuntu1604.clang.ossfuzz 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2021-09-15 12:57:55 +02:00
Bhargava Shastry
479cd33e6f
Update scripts/docker/buildpack-deps/Dockerfile.ubuntu1604.clang.ossfuzz 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2021-09-15 12:57:46 +02:00
Bhargava Shastry
08a7eaca47 Upgrade python pip and sphinx 2021-09-14 16:11:28 +02:00
Bhargava Shastry
3e86598bfd Docker: Update ossfuzz docker image to pull in clang-14. 2021-09-14 16:11:28 +02:00
Leonardo
e45083f319
Merge pull request #11606 from ethereum/info_message 
Add new info severity
 2021-09-14 14:30:07 +02:00
Kamil Śliwak
d78522b08b AsmParser: Accept optional code snippets after the @src tags 2021-09-14 12:09:59 +02:00
Leo Alt
e72fa7fc10 Add new info severity 2021-09-13 22:48:22 +02:00
chriseth
f957820351
Merge pull request #11913 from ethereum/source-location-parsing-extra-tests-and-regex-refactor 
More generic source location parsing + more errors
 2021-09-13 19:06:29 +02:00
soroosh-sdi
f5e8f5246c Add switch for command line & test.sh to skip smt 
- add --no-smt in scripts/tests.sh and test/cmdlineTests.sh

Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
 2021-09-10 23:35:17 +04:30
Kamil Śliwak
14396c207c AsmParser: Generalize location comment parsing to make it easier to add support for more tags 2021-09-09 17:12:59 +02:00
Kamil Śliwak
f4d1044331 Don't try to remove soljson.js after running npm install in cloned solc-js repo 2021-09-06 21:04:36 +02:00
Kamil Śliwak
7ad45a2772 pylintrc: Ignore duplicate-code warnings 
- We get a lot of them in test/format/. They were not being reported before because pylint was getting only one file at a time.
 2021-08-23 23:12:56 +02:00
Kamil Śliwak
fa2b9dd1e1 pylint_all: Enable pylint's built-in colors and disable score summary 2021-08-23 23:12:56 +02:00
Kamil Śliwak
5da52048ac pylint_all: In non-dev mode run pylint on all files at once 
- This is much faster than running it one file at a time
 2021-08-23 23:12:56 +02:00
Kamil Śliwak
7dd24edf14 pylint_all: Handle Ctrl+C more gracefully 2021-08-23 23:12:56 +02:00
Kamil Śliwak
714cce175f pylint_all: Do not rename exit() 2021-08-23 23:12:56 +02:00
Kamil Śliwak
74c73d396a pylint_all: Use subprocess module instead of os.system() 
- As a bonus this makes the script properly stop on Ctrl+C
 2021-08-23 23:12:56 +02:00
Kamil Śliwak
0746f2adf9 pylint_all: Make better use of the PROJECT_ROOT variable 2021-08-23 23:12:56 +02:00
Kamil Śliwak
9b3e714a6c pylint_all: Use argparse for processing arguments 2021-08-23 23:12:56 +02:00
Kamil Śliwak
bc68e95221 install_deps.ps1: Use empty user agent when downloading boost from jfrog to avoid being treated as a browser 2021-08-23 21:23:39 +02:00
Kamil Śliwak
a6683e3226 Fix pylint warnings about encoding not being specified in open() calls 2021-08-23 19:24:35 +02:00
Kamil Śliwak
941919e8ab fix_homebrew_paths_in_standalone_zip.py: Remove a superfluous call to open() 2021-08-23 16:00:35 +02:00
Daniel Kirchner
f7e9263cea Add hirsute and impish to and remove groovy from release_ppa script. 2021-08-11 17:00:02 +02:00
hrkrshnn
892700d769 Tests for basefee as identifier in inline assembly 
Also added basefee to `EVMVersion::hasOpcode(...)`
 2021-08-11 10:46:40 +02:00
hrkrshnn
7f1a2be0fe Allow basefee as Yul identifier for EVMVersion < london 
This was done to prevent basefee from being a breaking change. This change will be removed in 0.9.0.

TODO revert this commit in breaking.
 2021-08-11 10:46:08 +02:00
hrkrshnn
79733fca48 Set default EVM version to London. 2021-08-11 09:54:14 +02:00
Daniel Kirchner
6ec711b2f0
Merge pull request #11667 from ethereum/z3PPAScriptUpdate 
Update Z3 version to 4.8.12 in PPA script and add static binary package.
 2021-08-09 12:06:57 +02:00
Daniel Kirchner
88b5be4224 Update Z3 version to 4.8.12 in PPA script and add static binary package. 2021-08-09 11:14:03 +02:00
Marenz
dea201800f Provide a better error reporting for failed cmdline tests. 2021-08-04 15:00:34 +02:00
chriseth
62727f322a
Merge pull request #11662 from ethereum/docs-fix-highlighting-and-upgrade-pygments 
[Docs] Fix highlighting and always use latest packages
 2021-07-29 11:29:38 +02:00
Alex Beregszaszi
c018cdf419
Merge pull request #11706 from ethereum/update-evmone-part2 
Update evmone part 2
 2021-07-27 17:17:59 +01:00
Leonardo
57092b21a3
Merge pull request #11421 from ethereum/smt_solver_option 
[SMTChecker] Solver option
 2021-07-27 18:17:24 +02:00
Leo Alt
6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
Christian Parpart
3755210b7b [libyul] ObjectParser: Enables the use of custom source mapping via @use-src. 2021-07-27 16:46:47 +02:00