Commit Graph

158 Commits

Author SHA1 Message Date
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
Erik Kundt
50c22f0800 Adds script which compiles docs example with minimum compiler version. 2020-03-18 19:27:38 +01:00
Bhargava Shastry
9815a618b0 Docker: install curl in ubuntu16.04 ossfuzz base image 2020-02-26 11:52:40 +01:00
Bhargava Shastry
24eb39ca11 Docker: Add image identical to one used by ossfuzz builder 2020-02-25 10:46:41 +01:00
Bhargava Shastry
8b6bfabfee Docker: Upgrade libprotobuf-mutator inside clang docker image 2020-02-21 20:41:28 +05:30
Bhargava Shastry
98fb71f03f circleci: Use custom pipeline parameters per docker image revision in config 2020-02-20 11:34:49 +05:30
Bhargava Shastry
5d5bb00716 Fix script used for fuzzer nightly test 2020-02-18 13:24:10 +05:30
Bhargava Shastry
3623026505 Switch nightly fuzzer build from ASan (slow) to UBSan (fast) 2020-02-11 14:43:37 +05:30
Erik Kundt
f2701db0aa Adds documentation for Solidity source upgrader. 2020-02-05 16:52:54 +01:00
Christian Parpart
6ab385d34a CircleCI: Adds pylint test for all python files in test/ directory. 2020-02-04 22:26:10 +01:00
Christian Parpart
05b4ac0d29 CircleCI: Adds pylint test for all python files in test/ directory. 2020-02-04 17:00:05 +01:00
Mathias Baumann
9f0c59b3c6 Reenable ossfuzz builds (but not tests)
refs #8208
2020-02-03 11:55:53 +01:00
Mathias Baumann
97e9ce9d0a Disable ossfuzzing on circle ci
It currently takes >5h. It is not known whether due to a bug or whether
it's normal.
2020-01-30 12:39:08 +01:00
Alex Beregszaszi
f35e2bde31 Remove LLL from Circleci 2020-01-15 13:18:24 +00:00
Alex Beregszaszi
c03a2c0fe2
Merge pull request #7937 from ethereum/fix-7936
docker: Upgrade to evmone v0.4.0
2019-12-10 16:59:20 +00:00
Bhargava Shastry
f5633ffad7 docker: Upgrade to evmone v0.4.0 2019-12-10 14:14:26 +01:00
chriseth
42d9a8e962 Merge remote-tracking branch 'origin/develop' into develop_060 2019-12-04 17:01:44 +01:00
chriseth
dc79274871 Set default EVM version to Istanbul. 2019-12-04 10:42:14 +01:00
chriseth
f2790cc5e0
Merge pull request #7886 from ethereum/develop
Merge develop into develop_060
2019-12-03 21:41:49 +01:00
chriseth
19a6f09cc8 Merge commit '4d2f20570' into develop_060 2019-12-03 21:01:31 +01:00
chriseth
96d777d7f1 Merge commit 'a7d481fb9' into develop_060 2019-12-03 20:47:30 +01:00
Leonardo Alt
5337f58767 Update to Z3 4.8.7 2019-12-03 20:19:20 +01:00
Alex Beregszaszi
6a254e27a1 Turn on LLL testing in test_ubuntu1904_clang 2019-12-02 17:39:39 +01:00
Daniel Kirchner
edd80a986d Update emscripten to 1.39.3 2019-11-29 12:55:02 +01:00
chriseth
f7fc42d8c3
Merge pull request #7826 from ethereum/develop
Merge develop into develop_060
2019-11-28 13:37:19 +01:00
William Entriken
66ba683da0 Fix all markdown language hints 2019-11-27 20:15:30 -05:00
chriseth
b6ad8f06e7
Merge pull request #7782 from ethereum/develop
Merge develop into develop_060
2019-11-25 17:58:09 +01:00
chriseth
78e4197cbc
Merge pull request #7764 from ethereum/ext-test-compile-split
[circleci] Splits out compilation only job for external tests
2019-11-25 17:30:15 +01:00
Erik Kundt
bf1c07cef0 Removes ext. tests from nightly CircleCI runs, 2019-11-25 16:24:39 +01:00
Bhargava Shastry
9ed706290b Use pipeline parameters to store/reference current docker image revision 2019-11-22 16:40:53 +01:00
Leonardo Alt
ddc478e3e4 Add CallbackKind and use it for the SMT solver 2019-11-21 22:10:21 +00:00