223 Commits

Author	SHA1	Message	Date
Kamil Śliwak	4560e5bdd9	Bump base image version for b_bytecode_ems to get a newer version of Python	2021-09-16 20:22:24 +02:00
yatharthagoenka	5a02384233	Cleanup/Deduplication in .circleci/config	2021-09-03 22:56:19 +02:00
Kamil Śliwak	4e76914622	Switch back to using the latest ArchLinux docker image	2021-09-01 19:00:03 +02:00
Kamil Śliwak	5849e0c16e	Re-enable SMT tests on Arch Linux ... - Z3 4.8.12 has already been released	2021-09-01 18:59:13 +02:00
Bhargava Shastry	427aec2cb4	Circle CI: Introduce default evm version parameter; remove hard-coded setting.	2021-08-31 17:15:15 +02:00
Kamil Śliwak	a12af13189	.circleci/config.yml: Bump OpenJDK version from 14 to 16 ... - OpenJDK 14 seems to have been removed from Ubuntu Focal repos	2021-08-27 12:42:08 +02:00
Bhargava Shastry	b77d345da7	Refactor and add gitter notification for UBSan test CIs.	2021-08-26 20:54:10 +02:00
Bhargava Shastry	0b9fc214c7	Add UBSan build + test CI.	2021-08-26 13:14:56 +02:00
Alex Beregszaszi	c018cdf419	Merge pull request #11706 from ethereum/update-evmone-part2 ... Update evmone part 2	2021-07-27 17:17:59 +01:00
Leo Alt	6c8ecfa82c	Add option to choose solver	2021-07-27 17:14:21 +02:00
hrkrshnn	6b8c32b859	Updated circleci scripts with evmone 0.8.0 docker images	2021-07-27 16:38:55 +02:00
Leo Alt	5decccaf3a	update docker hashes and versions	2021-07-19 15:20:11 +02:00
Kamil Śliwak	b4df5ede69	Disable SMT tests on Arch Linux until the problem with hanging tests on Z3 4.8.11 is resolved	2021-06-14 15:38:19 +02:00
hrkrshnn	a4fd7c56a4	A script to summarize gas differences from isoltest for PRs.	2021-06-08 11:38:58 +02:00
Alex Beregszaszi	90072a7c0d	update docker hashes	2021-05-13 16:25:55 +01:00
Daniel Kirchner	7073198adb	Update docker image hashes in CircleCI config.	2021-05-12 16:56:23 +02:00
Daniel Kirchner	06a9199967	Change loading of VMs and error messages during test.	2021-05-12 14:48:37 +02:00
Kamil Śliwak	563160e5b3	Hard-code archlinux image version to base-20210131.0.14634 to work around runc/glibc bug	2021-04-29 19:16:09 +02:00
Kamil Śliwak	09283a6db4	Switch from archlinux/base to archlinux:base in CI ... - archlinux/base seems to be gone - archlinux:base comes from a different repo but seems to also be an official Arch Linux image	2021-04-29 18:29:21 +02:00
Kamil Śliwak	30cda36d9a	Create a bundle with all bytecode reports when comparison fails in CI	2021-04-15 17:14:33 +02:00
Kamil Śliwak	f14a80cbcf	Don't print full diff when bytecode comparison fails in CI	2021-04-15 17:14:33 +02:00
Daniel Kirchner	acd3084076	Fuzzer for stack optimiser/code generator.	2021-03-04 17:35:56 +01:00
Bhargava Shastry	2f001bb91c	Unify solc fuzzers.	2021-02-08 11:14:38 +01:00
Kamil Śliwak	96fd9051ed	prepare_report.py: Add --report-file option	2021-02-02 16:16:28 +01:00
Kamil Śliwak	f7007ea324	Add CLI version of bytecode compare to existing CI jobs	2021-01-26 23:30:38 +01:00
Leonardo Alt	40221a90c4	Update smtCheckerTests for z3 4.8.10	2021-01-26 10:18:52 +01:00
Kamil Śliwak	cf147fac7a	Add a CI job for running Python unit tests	2021-01-22 13:41:20 +01:00
Kamil Śliwak	83d65ba8f5	Disable git's automatic line ending conversion in Windows CI jobs	2021-01-22 12:16:28 +01:00
Daniel Kirchner	804bd8f6dd	Switch to new emscripten docker image.	2021-01-13 02:22:09 +01:00
Bhargava Shastry	aa26adc323	ossfuzz: Update ossfuzz docker image that now contains sanitized libgmp	2020-12-15 14:33:04 +01:00
Daniel Kirchner	7308abc084	Allow loading Z3 dynamically at runtime.	2020-12-10 16:47:47 +01:00
chriseth	66b15f24ad	Merge pull request #10518 from ethereum/deduplicate-external-test-job-definitions ... [CI] Deduplicate external test job definitions	2020-12-10 11:58:52 +01:00
Daniel Kirchner	2e31a6bdbf	Switch CI runs from EOL'ed eoan to focal.	2020-12-10 11:09:55 +01:00
Kamil Śliwak	b672c2fab7	Combine the t_ems_compile_ext and t_ems_test_ext job definitions	2020-12-09 13:12:40 +01:00
Kamil Śliwak	da17150bec	Extract common parts from external job definitions into commands	2020-12-09 13:12:40 +01:00
Bhargava Shastry	e23cf26d98	Merge pull request #10541 from ethereum/add-isabelle-abiv2-fuzzer-to-circleci-nightly ... CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI	2020-12-09 11:53:15 +01:00
chriseth	d2534e8208	Merge pull request #10466 from ethereum/run-external-tests-nightly ... Running external tests nightly	2020-12-09 11:43:34 +01:00
Bhargava Shastry	047e706e7f	CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI	2020-12-09 11:10:16 +01:00
Kamil Śliwak	e78b4af4c4	Run external tests that take more than 15 minutes only nightly and re-enable their gitter notifications	2020-12-07 20:41:46 +01:00
Daniel Kirchner	a3a5d93b34	Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it.	2020-12-07 18:18:41 +01:00
chriseth	8623e7fbe8	Merge pull request #10429 from ethereum/fix-and-enable-external-tests ... Fix and enable external tests	2020-12-07 16:48:44 +01:00
Kamil Śliwak	1f55e9213b	Disable flaky Gnosis v1 tests	2020-12-07 14:09:18 +01:00
Kamil Śliwak	9d1e0270cd	Bump node.js version to 12 or 14 on external test jobs where possible	2020-12-07 14:09:18 +01:00
Kamil Śliwak	0c5d3c0cdf	Add a job for executing external tests for ENS	2020-12-07 14:09:18 +01:00
Kamil Śliwak	70a2fc58b0	Add jobs and scripts running external tests for Gnosis v2	2020-12-07 14:09:18 +01:00
Kamil Śliwak	e05241adfc	Update Colony, Gnosis and OpenZeppelin external tests to run on updated 0.7.x branches from solidity-external-tests	2020-12-07 14:09:18 +01:00
Kamil Śliwak	45c506a4ff	Stop running external tests twice in CI	2020-12-07 14:00:14 +01:00
Kamil Śliwak	f737f66196	Temporarily disable gitter notifications for external tests	2020-12-07 14:00:14 +01:00
Kamil Śliwak	5b6e1560b3	Enable Colony, Gnosis and OpenZeppelin external tests in the main CI workflow	2020-12-07 14:00:14 +01:00
Kamil Śliwak	6383d64ef4	Upgrade the CircleCI job running bytecode comparison from node.js 10 to 14	2020-12-04 23:40:19 +01:00