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,797 Commits 348 Branches 121 Tags 100 MiB
9800e19df6
Commit Graph

871 Commits

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