Commit Graph

388 Commits

Author SHA1 Message Date
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
hrkrshnn
79733fca48 Set default EVM version to London. 2021-08-11 09:54:14 +02:00
hrkrshnn
af1dabb555 Added EVMVersion london.
Also set the value of `block_base_fee` for testing to 7 wei.
2021-08-09 16:18:08 +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
hrkrshnn
d176716d47 Added extra commands that needs to be run before brew update
Fixes the following issue:

Error:
  homebrew-core is a shallow clone.
  homebrew-cask is a shallow clone.
To `brew update`, first run:
  git -C /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core fetch --unshallow
  git -C /usr/local/Homebrew/Library/Taps/homebrew/homebrew-cask fetch --unshallow
These commands may take a few minutes to run due to the large size of the repositories.
This restriction has been made on GitHub's request because updating shallow
clones is an extremely expensive operation due to the tree layout and traffic of
Homebrew/homebrew-core and Homebrew/homebrew-cask. We don't do this for you
automatically to avoid repeatedly performing an expensive unshallow operation in
CI systems (which should instead be fixed to not use shallow clones). Sorry for
the inconvenience!
2021-06-17 10:34:57 +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
hrkrshnn
d5564a0304 Set default EVM version to Berlin 2021-05-26 12:23:06 +02:00
Alex Beregszaszi
90072a7c0d update docker hashes 2021-05-13 16:25:55 +01:00
Alex Beregszaszi
3172d28c56 Upgrade hera to v0.3.2-evmc8 2021-05-13 13:15:13 +01:00
Daniel Kirchner
7073198adb Update docker image hashes in CircleCI config. 2021-05-12 16:56:23 +02:00
Alex Beregszaszi
99354a3b59 Upgrade evmone to 0.7.0 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
e76ef821a7 osx_install_dependencies.sh: Update brew explicitly to workaround auto-update issue on CircleCI
- Old versions have problems with binaries hosted on bintray. We need an up-to-date one.
- It automatically updates itself when we install boost but apparently there's a problem with that on CircleCI. An explicit update works.
2021-04-19 16:08:50 +02:00
Kamil Śliwak
1c556d0aaa osx_install_dependencies.sh: Use set -ue to fail fast on errors 2021-04-19 16:06:49 +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
Martin Blicha
145a03bdd6 Run SMTChecker tests on all EVM versions 2021-03-23 12:51:52 +01:00
Kamil Śliwak
7929175db6 Add shellcheck source directive in places where it can't find sourced files on its own 2021-03-15 12:16:43 +01:00
Djordje Mijovic
b3202f6b39 Ading CI job to check gas costs. 2021-03-10 14:22:30 +01:00
Kamil Śliwak
093ea4612b
Merge pull request #10586 from ethereum/shellcheck-fixes-part1
Fixes for shellcheck warnings, part 1
2021-03-05 17:13:46 +01:00
Daniel Kirchner
acd3084076 Fuzzer for stack optimiser/code generator. 2021-03-04 17:35:56 +01:00
Kamil Śliwak
04302d4828 Use glob match instead of regex match when not actually using a regex 2021-03-04 16:57:25 +01:00
Kamil Śliwak
62bf467fc2 Fix warnings about constructions that have no effect 2021-03-04 16:53:05 +01:00
Kamil Śliwak
a05f3a608d Don't use $ on variables inside (()) 2021-03-04 16:53:05 +01:00
Kamil Śliwak
4c186321c8 Replace some older shell syntax with newer and/or more reliable equivalents 2021-03-04 16:53:05 +01:00
Kamil Śliwak
8c57c7cb35 Explicitly use Bash in scripts that actually use non-POSIX features or do not have a shebang at all 2021-03-04 16:53:05 +01:00
chriseth
c82c2189d4
Merge pull request #10877 from ethereum/bash-arrays-for-arg-variables
Use Bash arrays for argument lists in shell scripts
2021-02-08 13:31:31 +01:00
Bhargava Shastry
2f001bb91c Unify solc fuzzers. 2021-02-08 11:14:38 +01:00
chriseth
8a4e6acdac
Merge pull request #10680 from ethereum/more-features-in-prepare-report
More features in prepare_report.py
2021-02-03 11:51:51 +01:00
Kamil Śliwak
96fd9051ed prepare_report.py: Add --report-file option 2021-02-02 16:16:28 +01:00
Kamil Śliwak
4a7d494d3c Use Bash arrays for variables containing multiple space-separated values 2021-02-02 15:45:24 +01:00
Kamil Śliwak
27754d3e3d Quote stuff properly 2021-02-01 17:14:38 +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
Kamil Śliwak
68e416e905 build_win.ps1: Use committer date rather than author date in prerelease.txt
- That's what the Linux/macOS scripts do.
2021-01-15 19:09:49 +01:00
Kamil Śliwak
71d19c5178 build_win.ps1: Use commit date for CI builds on Windows and Emscripten as well 2021-01-14 22:23:06 +01:00
Daniel Kirchner
804bd8f6dd Switch to new emscripten docker image. 2021-01-13 02:22:09 +01:00
Bhargava Shastry
72efdd3e51
Merge pull request #10606 from ethereum/update-ossfuzz-docker-image
ossfuzz: Update ossfuzz docker image that now contains sanitized libgmp
2020-12-18 15:27:52 +01:00
Bhargava Shastry
aa26adc323 ossfuzz: Update ossfuzz docker image that now contains sanitized libgmp 2020-12-15 14:33:04 +01:00
chriseth
561280a5cc Merge remote-tracking branch 'origin/develop' into breaking 2020-12-14 11:33:40 +01:00
Kamil Śliwak
893a5b6e60 Remove unused variables 2020-12-12 06:30:57 +01:00
Kamil Śliwak
81668eb26a soltest_all: Fix an error being printed to a file called 2 rather than to stderr 2020-12-12 06:30:57 +01:00
chriseth
d0551b67d7 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 17:07:56 +01:00
Daniel Kirchner
7308abc084 Allow loading Z3 dynamically at runtime. 2020-12-10 16:47:47 +01:00
chriseth
482bda6887 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 12:15:52 +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
chriseth
a5bd22795e Force running abi coder v1 instead of v2. 2020-12-09 15:25:15 +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
chriseth
1944d5ce44
Merge pull request #9722 from ethereum/fix-9676
Add Solidity test case generator framework
2020-12-01 14:26:12 +01:00
Bhargava Shastry
d6ecedd16c External tests: Add ENS contracts 2020-11-30 13:53:28 +01:00
Kamil Śliwak
887569efd5
Merge pull request #10339 from ethereum/update-circleci-config
[ci] .circleci/config.yml: use docker images containing hera v0.3.2.
2020-11-27 20:07:05 +01:00
Alexander Arlt
3c7dd8d9b0 [ci] .circleci/config.yml: use docker images containing hera v0.3.2. 2020-11-26 19:40:24 -05:00
Alexander Arlt
46844d433d buildpack-deps: Update hera to 0.3.2. 2020-11-26 18:28:17 -05:00
Bhargava Shastry
864458922a Add solidity generator
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2020-11-23 22:27:40 +01:00
Alexander Arlt
fee871775b [ci] Add check to detect broken symlinks. 2020-11-18 19:18:06 -05:00
Kamil Śliwak
5560239cf5 Replace links to readthedocs.io with ones using the new domain 2020-11-18 15:20:34 +01:00
chriseth
3654dccb96 Disable travis. 2020-10-19 18:06:30 +02:00
chriseth
6c9db334c6
Merge pull request #9937 from ethereum/staticReleaseBuild
Static release build.
2020-10-19 10:41:49 +02:00
Daniel Kirchner
8e42015dd3 Fix windows builds. 2020-10-16 11:48:50 +02:00
Daniel Kirchner
9aafb62e52
Merge pull request #10050 from ethereum/circleWinTestResults
Store test results on CircleCI's t_win for proper reporting.
2020-10-15 20:40:37 +02:00
Daniel Kirchner
e91baeef37 Store test results on CircleCI's t_win for proper reporting. 2020-10-15 19:11:17 +02:00
Daniel Kirchner
f649565615 Switch to new ossfuzz docker image. 2020-10-15 17:45:02 +02:00
Daniel Kirchner
a7b8ad311d Always build a windows release binary on tags. 2020-10-15 00:48:56 +02:00
Daniel Kirchner
8075d6c7e8 Persist osx workspace files in different path to avoid conflicts. 2020-10-15 00:48:56 +02:00
Daniel Kirchner
30d990f07c Persist less data to workspaces. 2020-10-15 00:48:56 +02:00
Daniel Kirchner
9726ed8586 Perform bytecode comparison on CircleCI. 2020-10-15 00:48:56 +02:00
Daniel Kirchner
f7e5831afc Remove .circleci/config.yml from cache keys and move cache check to install_deps script. 2020-10-14 23:20:09 +02:00
Daniel Kirchner
7ccf11c2b5 Reuse CircleCI osx cache across branches. 2020-10-14 20:38:47 +02:00
Alexander Arlt
d38eb75fb5 [circleci] Enable ewasm tests. 2020-10-01 13:21:39 -05:00
chriseth
1d2130c6d1 Static release build. 2020-09-30 17:26:25 +02:00
Leonardo Alt
11fc924d23 Split SMTCheckerTests in CI 2020-09-24 13:25:50 +02:00
Daniel Kirchner
e716c9e2b9 Run solc.exe after build run just to make sure no error was missed. 2020-09-17 14:46:24 +02:00
Daniel Kirchner
a1de862135 Set ErrorActionPreference on all powershell scripts and add explicit error checks. 2020-09-17 14:44:52 +02:00
Daniel Kirchner
23fa0a5387 Test run for CircleCI windows builds. 2020-09-17 14:44:52 +02:00
Christian Parpart
165f898ba9 Release build for Windows. 2020-09-17 13:32:32 +02:00
Daniel Kirchner
b97ce763c5 Upload binaries individually as artifacts. 2020-09-16 17:19:41 +02:00
Daniel Kirchner
d66b6f1c46 CircleCI Windows config and install_deps.ps1 script. 2020-09-16 12:50:31 +02:00
Leonardo Alt
4e448ad798 Change build hashes 2020-09-14 19:07:40 +02:00
Leonardo Alt
9dacde99e6 Add t_archlinux_soltest 2020-09-08 14:54:36 +02:00
Leonardo Alt
0be8c2af5b Increase Circle CI no output timeout 2020-09-08 08:18:27 +02:00
chriseth
7346165b6c
Merge pull request #9688 from ethereum/fix-9675
ossfuzz: Generate antlr4 runtime deps
2020-08-31 13:07:03 +02:00
Christian Parpart
c3eff6ed50 [cmake] C++ version should not be mandated by the toolchain setting, as it conflicts with Windows (CI) builds using vcpkg 2020-08-28 12:47:20 +02:00
Bhargava Shastry
6101590d93 ossfuzz: Generate antlr4 runtime deps 2020-08-27 17:33:29 +02:00
chriseth
0b97cf1154 Move asan builds and tests to nightly. 2020-08-24 20:11:02 +02:00
chriseth
8ff9846944
Merge pull request #9539 from ethereum/moreparallel
More parallel jobs.
2020-07-28 18:42:07 +02:00
chriseth
34d66431d6 More parallel jobs. 2020-07-28 17:30:56 +02:00
chriseth
6227edda14 Speed up osx build. 2020-07-28 13:22:51 +02:00
chriseth
2dd693b893
Merge pull request #9524 from ethereum/lessAnnoyingForAxic
More parallelism for clang build.
2020-07-28 11:06:27 +02:00
chriseth
375cb1032a More parallelism for clang build. 2020-07-27 18:57:23 +02:00
Alexander Arlt
e0c55d6570 [circleci] Use hera enabled docker images. 2020-07-27 07:28:15 -05:00
Daniel Kirchner
34c34bda26 Switch CI to new docker images. 2020-07-16 15:39:36 +02:00
chriseth
0b9bb84c39 Run tests in parallel. 2020-07-15 23:50:43 +02:00
chriseth
ca313e4003 Use more processors to build base builds. 2020-07-15 16:45:20 +02:00
Alexander Arlt
aed424f23e Initial docker image creation workflows. 2020-07-14 19:00:48 -05:00
chriseth
872858078f Run "options" test first to get early failures. 2020-07-09 16:16:17 +02:00
Bhargava Shastry
7272129354 yul fuzzer: Add framework for yul optimizer custom mutation routines
Co-authored-by: Leonardo <leo@ethereum.org>
2020-07-09 13:32:07 +02:00
chriseth
83337c850e Do not run tests that do not need options multiple times. 2020-07-08 18:47:14 +02:00
a3d4
919572d6ec Add --examine-coverage to fix_error_ids.py 2020-07-01 21:41:31 +02:00
Daniel Kirchner
59ee743f6a Switch to upstream docker image for emscripten build. 2020-06-04 16:17:29 +02:00
a3d4
3bf236cf81 Refactor error ID checker script 2020-06-03 02:43:20 +02:00
Mathias Baumann
7548441b4f Check for wrong error codes in the CI 2020-05-27 18:02:58 +02:00
Juan Franco
bd28fedd9b Change build OSX CircleCI to Release 2020-05-20 13:05:40 -03:00
Alexander Arlt
7af4c13486 [circleci] add t_ubu_asan_constantinople_clang 2020-05-18 06:29:05 -05:00
Daniel Kirchner
8fe27ac4b4 Add Dockerfile for an Emscripten build environment and use it for CI runs. 2020-05-14 18:14:47 +02:00
Daniel Kirchner
af87d39bd6 Update osx deps script. 2020-05-14 14:53:38 +02:00
Daniel Kirchner
b56536aeb2 Update Docker images. 2020-05-14 14:12:01 +02:00
chriseth
efd2f63c2c
Merge pull request #8706 from ethereum/solProtoSkeleton
ossfuzz: Add sol proto fuzzer skeleton
2020-05-12 17:15:23 +02:00
Bhargava Shastry
596ac018f5 Fuzzer: Add test harness for solidity inheritance protobuf fuzzer
Co-Authored-By: Leonardo <leo@ethereum.org>
2020-05-11 23:56:27 +02:00
Daniel Kirchner
c1ed5bbb0f Update Dockerfiles and CI scripts to Ubuntu 20.04 and simplify them. 2020-05-11 17:35:01 +02:00
Mathias Baumann
a93d79ff28 Remove obsolete flag --optimize-yul from scripts 2020-05-06 11:49:40 +02:00
Djordje Mijovic
8b7f87eed5 [isoltest] Enforcing compileViaYul to be set if test can pass via yul 2020-05-05 00:38:13 +02:00
chriseth
75a25d53c7
Merge pull request #8785 from ethereum/disco-to-focal
CircleCI: Change from Ubuntu Disco (19.04) to Ubuntu Focal (20.04) due to support EOL
2020-04-28 10:09:00 +02:00
Christian Parpart
9d06dd070d CircleCI: Change from Ubuntu Disco (19.04) to Ubuntu Focal (20.04) due to support EOL 2020-04-27 15:26:25 +02:00
Alexander Arlt
d0bed50260 [ci] add chk_shellscripts 2020-04-27 07:55:59 -05:00
Leonardo Alt
2daa52f18c Fix CI pip version 2020-04-22 10:20:59 +02:00
chriseth
6900544f0d
Merge pull request #8651 from a3d4/modify-evmone-version
Update evmone version to v0.4 in docs and scripts
2020-04-20 16:49:10 +02:00
Daniel Kirchner
c6c2d7174d Use latest docker image for chk_proofs and t_ems_solcjs CI runs. 2020-04-15 10:12:35 +02:00
a3d4
760ae7f584 Update evmone version to v0.4 in docs and scripts 2020-04-14 14:34:47 +02:00
Djordje Mijovic
d343143be7 [docs] Renaming CI job for documentation pragma version check 2020-04-01 18:34:20 +02:00
Djordje Mijovic
64ae889dd7 Enabling pragma with > in minimum version check 2020-03-31 23:50:24 +02:00
Christian Parpart
0e66e07e5c Add antlr-based grammar and test it. 2020-03-24 11:07:51 +01:00