878 Commits

Author	SHA1	Message	Date
Rodrigo Q. Saramago	2d7e70eb7d	Fix local build	2022-09-12 17:17:16 +02:00
Rodrigo Q. Saramago	f2de085dfe	Minor fix	2022-09-12 16:55:23 +02:00
Rodrigo Q. Saramago	c8fb2022e1	Set default CI working directory	2022-09-12 16:45:43 +02:00
Rodrigo Q. Saramago	3b16174190	Replace /root/project by /project	2022-09-12 14:53:15 +02:00
Rodrigo Q. Saramago	6b570c4621	Fix code style	2022-09-10 20:01:30 +02:00
Rodrigo Q. Saramago	e37aea43ab	Make default workdir as /root/project for ci	2022-09-10 19:55:36 +02:00
Rodrigo Q. Saramago	a68173f898	Prefer long flag options	2022-09-10 17:05:04 +02:00
Rodrigo Q. Saramago	44deeb7b8b	Adjust user and group ID	2022-09-10 17:03:22 +02:00
Rodrigo Q. Saramago	690304f941	Fix emsdk path to be compatible with emscripten/emsdk image	2022-09-09 13:54:37 +02:00
Rodrigo Q. Saramago	4b83203734	Run emscripten builder as current user	2022-09-09 13:14:47 +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