chriseth
3c2cee5836
Merge pull request #13026 from ethereum/develop
...
Merge develop into breaking.
2022-05-16 15:29:39 +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
chriseth
a137d42094
Merge pull request #13007 from ethereum/develop
...
Merge develop into breaking.
2022-05-11 16:39:24 +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
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
chriseth
a433511128
Merge remote-tracking branch 'origin/develop' into breaking
2022-04-13 17:08: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
chriseth
6b88e470ff
Merge remote-tracking branch 'origin/develop' into breaking
2022-03-07 16:34:55 +01:00
Alexander Arlt
149a730f4a
Update buildpacks to include jq.
2022-03-02 09:23:49 -05:00
Sreekesh V
9188e658d8
Revert "Allow basefee as Yul identifier for EVMVersion < london"
...
This reverts commit 7f1a2be0fe
2022-03-02 10:48:33 +01: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
0801c48e11
Merge remote-tracking branch 'origin/develop' into breaking
2022-02-17 09:42:15 +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
chriseth
649029da92
Merge pull request #12646 from ethereum/develop
...
Merging develop into breaking.
2022-02-08 12:00:34 +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
chriseth
814e233b67
Merge pull request #12604 from ethereum/develop
...
Merge develop into breaking
2022-01-31 17:59:03 +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
