Commit Graph

91 Commits

Author SHA1 Message Date
Alex Beregszaszi
3570870642 Upgrade evmone to v0.3.0 in the docker images 2019-11-19 12:41:12 +01:00
Bhargava Shastry
62ae015552 docker: Add versioning and edit naming scheme 2019-11-18 15:16:53 +01:00
Bhargava Shastry
a8a50c4e0e Upgrade evmone to v0.2.0 and adapt fuzzer build 2019-11-18 15:16:53 +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
52a9de83f3
Merge pull request #7682 from ethereum/smt_z3486_tests
[SMTChecker] Update test expectations for z3 4.8.6
2019-11-12 10:30:10 +01:00
Leonardo Alt
999d8c6bb8 Extend CircleCI MaxOS cache keys 2019-11-11 18:48:20 +01:00
chriseth
375be4a04d
Merge pull request #7678 from ethereum/updatePPAScripts
Update PPA build scripts.
2019-11-11 17:07:46 +01:00
Daniel Kirchner
3b75466b76 Update to Z3 4.8.6 in ubuntu clang Dockerfile. 2019-11-11 15:54:04 +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
Bhargava Shastry
e8749decf5 circleci: Expose soltest flags explicitly 2019-11-04 09:48:35 +01:00
Erik K
d5b2f347bf
Merge pull request #7552 from ethereum/circle-macos-fix
Bumps XCode version for CircleCI builds
2019-10-18 19:06:31 +02:00
Erik Kundt
a153b1f446 Bumps XCode version for CircleCI builds. 2019-10-18 14:09:25 +02:00
kcy1019
547cd2eb71 Remove dependency on boost::regex from Whiskers 2019-10-16 21:26:49 +09:00
Bhargava Shastry
cb4925f4cf Add clang build and test CIs 2019-09-24 18:19:26 +02:00
Erik Kundt
839637e472 Enables nightly tests for 0.6.0. 2019-09-19 13:45:08 +02:00
Bhargava Shastry
368ef3d9d8 Add clang docker file based on ubuntu disco 2019-09-12 16:02:54 +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
a075588618 circleci: Fixes logfile naming, not accidentally overriding others 2019-08-14 16:51:52 +02:00
Mathias Baumann
3c927eeeda Add missing docker file for Ubuntu 18.04 2019-08-14 00:54:55 +02:00
Christian Parpart
e91c6acbc3 Defaulting to C++17 for building. 2019-08-13 16:19:18 +02:00
Daniel Kirchner
9793c4db9d Remove the shared Z3 build from the testing Dockerfile. 2019-08-09 18:15:38 +02:00
chriseth
6956ea1e9e
Merge pull request #7203 from ethereum/buildEvmoneShared
Also build shared library of evmone for docker image.
2019-08-08 18:36:07 +02:00
chriseth
614ae036a2 Also build shared library of evmone. 2019-08-08 18:22:22 +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
chriseth
6ee97d7726
Merge pull request #7129 from ethereum/multiStageBuild
Use Docker multi-stage build.
2019-08-05 17:12:07 +02:00
chriseth
b6c9d0f933 Use multi-stage docker builds
Decreases size and amount of layers.
2019-08-05 15:50:00 +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
Bhargava Shastry
5aa571e56f Update fuzzing deps in docker image and ossfuzz CMakeLists.txt 2019-07-16 09:10:02 +02:00
chriseth
7f16e16183 State what is being tested. 2019-06-24 12:42:05 +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