cerc-io/solidity
15
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,504 Commits 348 Branches 121 Tags 100 MiB
c1cbffc814
Commit Graph

853 Commits

Author SHA1 Message Date
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