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 |
|
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 |
|