cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
18,866 Commits 348 Branches 121 Tags 100 MiB
870fd24723
Commit Graph

188 Commits

Author SHA1 Message Date
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
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
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
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
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
Daniel Kirchner
c6c2d7174d Use latest docker image for chk_proofs and t_ems_solcjs CI runs. 2020-04-15 10:12:35 +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
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
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
Erik Kundt
26ab2d4c06 Splits out compilation only phase for external tests. 2019-11-21 00:00:27 +01:00
Erik K
94272d44aa
Merge pull request #7745 from ethereum/develop 
Merge develop into develop_060
 2019-11-19 15:30:31 +01:00
Alex Beregszaszi
4eccbaa4da Use new docker images (revision 2) 2019-11-19 12:41:17 +01:00
Bhargava Shastry
62ae015552 docker: Add versioning and edit naming scheme 2019-11-18 15:16:53 +01:00
chriseth
216e1749f4 Merge remote-tracking branch 'origin/develop' into develop_060 2019-11-14 13:42:46 +01:00
Christian Parpart
6bef3071e0
Merge pull request #7677 from ethereum/ciSoltestAll 
Remove overwritten tag in CI config.
 2019-11-13 11:19:11 +01:00
Daniel Kirchner
8148619d5b Merge branch 'develop' into develop_060 2019-11-12 10:32:41 +01:00
Leonardo Alt
999d8c6bb8 Extend CircleCI MaxOS cache keys 2019-11-11 18:48:20 +01:00
chriseth
2e5a42836c
Merge pull request #7681 from ethereum/develop 
Merge develop into develop_060
 2019-11-11 16:42:03 +01:00
Daniel Kirchner
a1647d9955 Remove overwritten tag in CI config. 2019-11-11 14:22:13 +01:00
Alexander Arlt
160983141f [circleci] Add t_osx_soltest. 2019-11-08 14:44:54 -05:00
chriseth
46ac16d25c Merge remote-tracking branch 'origin/develop' into develop_060 2019-11-04 19:09:11 +01:00
Bhargava Shastry
e8749decf5 circleci: Expose soltest flags explicitly 2019-11-04 09:48:35 +01:00
Mathias L. Baumann
7e01696030
Merge pull request #7554 from ethereum/develop 
Merge develop into develop_060
 2019-10-21 17:05:12 +02:00
Erik Kundt
a153b1f446 Bumps XCode version for CircleCI builds. 2019-10-18 14:09:25 +02:00
chriseth
9719d28526
Merge pull request #7475 from ethereum/move-solcjs-tests 
Migrate solc-js tests
 2019-10-16 12:35:09 +02:00
chriseth
f884373142 Merge branch 'origin/develop' into develop_060 2019-10-02 16:29:36 +02:00
Erik Kundt
8adde5abbe Migrates solc-js test to ext. test infrastructure. 
solc-js commit: 9d9de6338729cf5fbd62f479d54b7097e8a7e395
 2019-09-25 16:03:08 +02:00
Bhargava Shastry
cb4925f4cf Add clang build and test CIs 2019-09-24 18:19:26 +02:00
chriseth
f3c4f466f6 Merge remote-tracking branch 'origin/develop' into develop_060 
Had to adjust gas costs during merge.
 2019-09-24 10:28:22 +02:00
Erik Kundt
839637e472 Enables nightly tests for 0.6.0. 2019-09-19 13:45:08 +02:00
chriseth
0567643323 Disable style check. 2019-09-16 19:06:50 +02:00
Daniel Kirchner
546663908f Add fake release test build and test runs on CircleCI. 2019-09-06 16:45:43 +02:00
Erik Kundt
b3dd957afd Adds Gitter notifications for nightly builds and tests. 2019-09-04 14:00:24 +02:00
Leonardo Alt
bd5a70e0d1 disable asan smt 2019-08-29 14:18:34 +02:00
Bhargava Shastry
0b35cbc22c Inherit defaults cmake options in toolchain file used by ossfuzz builder. 2019-08-14 18:06:37 +02:00
Christian Parpart
b94bdfcec0 Merges soltest tests per EVM/flags into a single one. 
Because of EVMONE, speeds up test runs we can do that now.
 2019-08-14 16:51:52 +02:00
Christian Parpart
e91c6acbc3 Defaulting to C++17 for building. 2019-08-13 16:19:18 +02:00
chriseth
77212627fb Remove traces of aleth and IPC. 2019-08-08 17:35:46 +02:00
Daniel Kirchner
311578800a
Add static z3 build from deps PPA to testing docker image. 2019-08-07 16:50:47 +02:00
Daniel Kirchner
6122faf9b4 Use up-to-date archlinux instead of a custom docker image for archlinux build. 2019-08-06 13:50:01 +02:00
Chris Chinchilla
85ec44826a Add style checker 
Rename files

Changes from review

Update test/docsCodeStyle.sh

Co-Authored-By: chriseth <chris@ethereum.org>
Update test/docsCodeStyle.sh

Co-Authored-By: chriseth <chris@ethereum.org>
Remove extraneous brackets
 2019-08-05 13:00:30 +02:00
Mathias Baumann
eb2f405466 [CI] Add ubuntu:bionic gcc-7 2019-07-30 09:27:43 +02:00
Christian Parpart
810a0de1aa Add evmc and host interface implementation. Modify fuzzer harness to make use of evmc host/vm. 2019-07-17 10:55:33 +02:00
Christian Parpart
b58170f890
Refactor & Speedups on CircleCI; split out out codecov into dedicated tests. 2019-06-21 20:26:10 +02:00
Leonardo Alt
51ba7f5f17 Add CI job for optimization proofs 2019-06-19 22:29:23 +02:00
Daniel Kirchner
2ec45797b2 Update boost to 1.70 for emscripten and cache a proper installation. 2019-06-06 18:49:34 +02:00
Bhargava Shastry
a52e1f4130 Install evmone and its dependencies 2019-05-28 10:58:03 +02:00
Bhargava Shastry
1d23a69eca Added/corrected ASan flags to ossfuzz regression CI 2019-05-22 13:57:41 +02:00
Bhargava Shastry
9eed83b512 Adds ASan runtime flags to enable additional security checks 2019-05-22 13:17:29 +02:00
Bhargava Shastry
42bee0081c Remove test results config from ossfuzz regression job 2019-05-22 11:00:44 +02:00
Erik Kundt
ad58f9ab15 Removes Gnosis and Zeppelin from build_all job. 2019-05-07 12:06:04 +02:00
Erik Kundt
3a69a72eb9 Adds external ColonyNetworks tests. 2019-05-07 11:55:06 +02:00
Bhargava Shastry
9b56bd1db4 Run all tests and summarize failures, add new fuzzers to artifact 2019-04-30 17:00:33 +02:00
Bhargava Shastry
60df49bd81 Add ossfuzz builder to nightly workflow 2019-04-23 10:47:16 +02:00
chriseth
4312f6ec23
Merge pull request #6475 from ethereum/ossfuzz-regression-ci 
ossfuzz regression ci
 2019-04-19 00:44:05 +02:00
Bhargava Shastry
33ccc19619 Add a nightly run for ossfuzz regression tests 2019-04-17 15:31:40 +02:00
chriseth
a2773e8272 Also run commandline tests with ASAN. 2019-04-17 13:45:06 +02:00
Mathias Baumann
ca259a886d Use obsolete jsoncpp deb package instead of script where possible 2019-04-03 12:26:26 +02:00