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
23,498 Commits 348 Branches 121 Tags 100 MiB
9eaa5cebdb
Commit Graph

936 Commits

Author SHA1 Message Date
Leo Alt
15b062e466 Fix emscripten docker hash 2022-11-28 21:06:51 +01:00
Rodrigo Q. Saramago
cf5d0d3f8b
Let the nightlies call themselves 'nightly', the return. 
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
 2022-11-25 11:53:57 +01:00
Alexander Arlt
fe68200f30
[tests] Refactor scripts/ASTImportTest.sh. (#13576) 
* [tests] Refactor scripts/ASTImportTest.sh.

Co-authored-by: Nuno Santos <nuno.santos@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-11-24 16:16:16 +01:00
Leo Alt
e51d2ca5e9 update docker images with z3 4.11.2 2022-11-24 14:46:49 +01:00
Leo Alt
87d277ec05 avoid unused error codes 2022-11-24 13:08:06 +01:00
Leo Alt
f3d7dfba82 use new docker images 2022-11-24 13:08:06 +01:00
Leo Alt
24df40de9a Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
Alex Beregszaszi
eb8af2caec Add basic support for the EVM version Paris 
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
 2022-11-21 14:56:46 +01:00
Nikola Matić
2fb7205dd3
Merge pull request #13532 from ethereum/evmc-update 
Upgrade to evmc10 + evmone9
 2022-11-10 02:10:29 -05:00
Alex Beregszaszi
47ed36e0db Upgrade CI and download instructions to evmone 0.9.1 and hera 0.6.0 2022-11-09 21:27:40 +01:00
Alex Beregszaszi
c50f190c02 Upgrade to evmone 0.9.1 and hera 0.6.0 in buildpack 2022-11-04 10:27:45 +01:00
Kamil Śliwak
fe118abb53 CI: Switch from deprecated circleci/buildpack-deps image to cimg/base 2022-10-26 18:22:03 +02:00
Kamil Śliwak
fb3d0a874e
Merge pull request #13643 from ethereum/ext-gp2-bug-fix 
Fix gp2 ext test failing to build, not being able to resolve the the keyv dependency
 2022-10-24 13:06:21 +02:00
Rodrigo Q. Saramago
bc7567244a
Remove ens fork 2022-10-23 17:58:13 -03:00
Rodrigo Q. Saramago
be0f633966
Update gp2 fork 2022-10-21 16:59:50 -03:00
Kamil Śliwak
9800e19df6
Merge pull request #13527 from ethereum/git-safe-directory-workaround 
Add git `safe.directory` workaround in emscripten build script
 2022-10-21 15:47:42 +02:00
Rodrigo Q. Saramago
9dbc3e0b82
Add git safe.directory workaround in emscripten build script 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-10-20 19:43:18 -03:00
Rodrigo Q. Saramago
6c167374f7
Disable FETCHCONTENT_FULLY_DISCONNECTED on ppa release 2022-10-05 10:13:55 +02:00
Nikola Matic
1f6a299062 Add a check for unqualified move 2022-09-05 16:05:14 +02:00
Leo Alt
cbcd8a724b Update z3 to 4.11.0 2022-08-30 12:52:22 +02:00
Leo Alt
16c0838f75 Update docker images and tests 2022-08-30 11:51:59 +02:00
Mathias L. Baumann
5a3ae1a583
Merge pull request #13422 from ethereum/cleanup-z3-script 
Cleanup static z3 script to work similar to release_ppa
 2022-08-29 14:51:39 +02:00
Leo Alt
e99e93ff5b Fix pylint warning 2022-08-29 11:50:29 +02:00
Marenz
484c9d3ff0 Update docker images for emscripten. 2022-08-25 17:09:46 +02:00
Marenz
c5e9b6e666 static_z3.sh: Update releases to include only maintained ones 2022-08-25 15:18:55 +02:00
Marenz
0475ec81f0 Cleanup static z3 script to work similar to release_ppa 2022-08-25 15:18:55 +02:00
Marenz
35870549db Dockerfile.emscripten: Use `&& instead of ;` everywhere 2022-08-25 13:08:13 +02:00
Duc Thanh Nguyen
318dedf439 Update emscripten Dockerfile to 3.1.19 2022-08-25 13:08:13 +02:00
Marenz
1b5332c2b9 Fix spelling mistakes and CI spellcheck job 2022-08-18 14:38:19 +02:00
Marenz
0fab970eb9 Remove old distributions in release_ppa script 2022-08-11 18:36:07 +02:00
Marenz
351efae5f8 Little enhancements to the ppa release script 2022-08-11 18:36:07 +02:00
Daniel Kirchner
213f951dbb Make gas diff stats script executable. 2022-08-10 16:50:42 +02:00
Kamil Śliwak
8874627dda update_bugs_by_version: Don't fail when the list gets updated 2022-08-08 17:29:47 +02:00
Kamil Śliwak
c1cbffc814 update_bugs_by_version: Use pathlib 2022-08-08 17:10:04 +02:00
Duc Thanh Nguyen
2215b6d44b Update rangev3 to 0.12.0 2022-07-05 15:55:12 -04:00
Daniel Kirchner
080d2f7868 Fix release ppa script. 2022-06-15 22:48:06 +02:00
Kamil Śliwak
2cea70c04f Skip external test benchmark diff instead of failing when previous run of the job did not succeed 2022-06-07 13:24:55 +02:00
Kamil Śliwak
f5e421ff91 pylintrc: Remove bad-whitespace form the list of disabled warnings 
- pylint complains that it's not a valid value and removing it does not make any new warnings appear
 2022-06-01 20:32:25 +02:00
Kamil Śliwak
6605dd084a gas_diff_stats.py: Replace a list with a generator as suggested by pylint 2022-06-01 20:32:25 +02:00
Kamil Śliwak
9618cb947d download_benchmarks: Script for downloading benchmark results from CircleCI 2022-05-23 14:18:29 +02:00
Kamil Śliwak
6eb09000e0
Merge pull request #12938 from ethereum/update-external-repos-script 
Script for keeping main branches of external test repos in sync with upstream
 2022-05-20 15:38:05 +02:00
Daniel Kirchner
49badcd91a Update docker images for new z3 version. 2022-05-13 17:46:42 +02:00
Daniel Kirchner
edd769a6dc Update Z3 deps ppa script. 2022-05-13 17:46:42 +02:00
Leo Alt
6a126f6ccb Update tests and hashes for z3 4.8.17 2022-05-13 15:25:10 +02:00
Leo
2aba061bde
Merge pull request #12967 from ethereum/update_z3_docker 
Update docker z3 version 4.8.16
 2022-05-12 15:23:03 +02:00
Kamil Śliwak
c0cc8ff7e7 Switch to newly built buildpack-deps images in CI 2022-05-12 14:26:07 +02:00
Leo Alt
93f9638a1b Add error id to script 2022-05-11 20:02:31 +02:00
Kamil Śliwak
c64fb7a258 docker_upgrade.sh: Workaround for git refusing to work with a repo in attached volume 2022-05-10 18:24:21 +02:00
Leo Alt
571d94b051 Update docker z3 version 2022-05-10 18:24:21 +02:00
Kamil Śliwak
6d14f5059e fixup! Script for keeping main branches of external repos in sync with upstream 2022-05-09 14:50:30 +02:00
Kamil Śliwak
be7da89cf5 Script for keeping main branches of external repos in sync with upstream 2022-05-09 14:35:35 +02:00
Marenz
1ccdb92cdb Update version & distributions for static z3 script 2022-05-05 15:27:18 +02:00
Leo Alt
4fd7de36f1 update smt tests z3 4.8.16 2022-05-03 14:23:27 +02:00
Marenz
afd9feead4 LSP.py: Implement simple send/respond framework 2022-04-13 13:22:05 +02:00
Tharun K
a608bc12f7 Moved docs.sh script to docs/ 2022-04-08 20:41:22 +02:00
Daniel Kirchner
52f5ffd876
Merge pull request #12804 from ethereum/benchmark-differ 
Benchmark differ
 2022-04-07 09:24:01 +02:00
wechman
4d8a34370e Create split_on_empty_lines_into_numbered_files function in scripts/common.sh 2022-04-06 07:26:18 +02:00
Kamil Śliwak
8c9856c52c benchmark_diff: Add table mode with support for json, console and markdown output 2022-04-05 15:43:18 +02:00
Kamil Śliwak
ee5e878ad7 benchmark_diff: A Python script for diffing summarized benchmarks from external tests 2022-04-05 15:40:28 +02:00
Daniel Kirchner
0172f61340 No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
Alexander Arlt
149a730f4a Update buildpacks to include jq. 2022-03-02 09:23:49 -05:00
chriseth
6df5342d88
Merge pull request #12697 from ethereum/revive-wasm-rebuild 
Revive wasm rebuild scripts
 2022-02-28 13:29:37 +01:00
Kamil Śliwak
1f9fab84a6 Remove release.sh/.bat scripts we no longer use 2022-02-24 17:54:17 +01:00
Alexander Arlt
b741ca3ab5 scripts/common.sh: 'diff --color' not supported by macOS. 2022-02-23 19:23:35 -05:00
Kamil Śliwak
1f5407521a wasm-rebuild: Print tags that will be processed 2022-02-18 21:49:25 +01:00
Kamil Śliwak
42ac3b29b4 wasm-rebuild: Update solc-bin URL 2022-02-18 21:49:25 +01:00
Kamil Śliwak
dda05655b0 wasm-rebuild: Patch storebytecode.sh from 0.6.1 not to use latest solc-js 2022-02-18 21:49:10 +01:00
Kamil Śliwak
c38cc8b736 wasm-rebuild: Revert solc-js changes - not needed because the script uses an old branch of solc-js 2022-02-18 21:49:10 +01:00
Kamil Śliwak
076bc516c8 wasm-rebuild: Upgrade packages to get newer SSL certificates required to be able to download boost over HTTPS 2022-02-18 21:49:10 +01:00
Kamil Śliwak
8d0f10c2fb wasm-rebuild: Incorrect comment about script location 2022-02-18 21:48:37 +01:00
Kamil Śliwak
0d28b8395a storebytecode.sh: Update outdated script docstring. 2022-02-18 21:48:32 +01:00
chriseth
4ee7684afc Update PPA build script. 2022-02-17 09:39:54 +01:00
Leo
947a599e91
Merge pull request #12441 from ethereum/benchmarking-ext-tests 
Benchmarking external tests
 2022-02-14 20:14:27 +01:00
Daniel Kirchner
3a201ec0f8 Build packed soljson.js. 2022-02-14 16:52:59 +01:00
Daniel Kirchner
6895972d04 Adjust mini-lz4.js and base64DecToArr.js. 2022-02-14 16:52:53 +01:00
Daniel Kirchner
a68183db3c Add base64DecToArr.js. 2022-02-14 16:52:53 +01:00
Daniel Kirchner
a2a5ca6fef Add emscripten's mini-lz4.js. 2022-02-14 16:52:53 +01:00
Kamil Śliwak
60d9aa0d4f Benchmark report collector job + summary 2022-02-09 17:54:45 +01:00
Kamil Śliwak
a7852cba75 Python script for parsing eth-gas-reporter output 2022-02-09 17:02:40 +01:00
Kamil Śliwak
f5b345504b When installing solc-js use the dist/ subdir, which contains the built JS files 2022-02-03 18:47:19 +01:00
Kamil Śliwak
f46e333f9a fixup! bytecode compare: Stop depending on solc-js internal structure and install it via npm from a local dir instead 2022-01-26 11:56:34 +01:00
Kamil Śliwak
cdaa6dd591 Adjust workflow with solc-js checkout now that it's on TypeScrpt 2022-01-25 16:42:37 +01:00
Kamil Śliwak
1cd4ffc355 bytecode compare: Stop depending on solc-js internal structure and install it via npm from a local dir instead 2022-01-25 16:39:47 +01:00
Kamil Śliwak
2e1383eae1 Change the way we run solcjs now that it has been renamed in solc-js 2022-01-25 13:32:02 +01:00
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