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
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
Bhargava Shastry
0d2566fa71
Add CI to build ossfuzz fuzzer binaries
2019-04-03 10:27:05 +02:00
Erik Kundt
20216f3a86
Separates CircleCI jobs for external tests.
2019-04-02 13:43:03 +02:00
Erik Kundt
17917819ed
Adds Circle job that triggers external tests nightly.
2019-03-28 10:31:08 +01:00
Mathias Baumann
98b7dc2881
Change emscripten default build dir to "emscriptenBuild"
...
Avoids complications with local build directory when building.
2019-02-27 12:30:15 +01:00
chriseth
6029c9f17a
Skip brew update and upgrade.
2019-02-21 12:14:45 +01:00
Alex Beregszaszi
62f707610e
Run clang tests with ASAN
2019-02-07 18:59:40 +01:00
Alex Beregszaszi
e696cc4d3b
Merge pull request #5911 from ethereum/cxx17-circleci
...
Build using C++17 on CircleCI
2019-02-05 15:48:43 +00:00
Alex Beregszaszi
70748af981
Do not persist output for clang7 build step
2019-02-05 14:23:59 +00:00
Daniel Kirchner
f56ab1c2e7
Enable cvc4 for C++17 build by switching to Ubuntu disco.
2019-02-05 14:22:36 +00:00
Alex Beregszaszi
6adabf37d1
Build using C++17 on CircleCI
2019-02-05 14:22:33 +00:00
Leonardo Alt
3790f5fe0e
Use CVC4 instead of Z3 for Ubuntu CI tests
2019-01-29 14:01:42 +01:00
Alex Beregszaszi
272566ac93
CircleCI: always rebuilt boost cache after emscripten udpate
2019-01-18 17:03:50 +00:00
Alex Beregszaszi
a582f0bec1
Update to emscripten 1.38.22
2019-01-18 16:49:21 +00:00
Daniel Kirchner
5baac8470b
Use emscripten 1.38.8 on both travis and circle.
2019-01-17 18:31:34 +01:00
Christian Parpart
b7eaa4f8d3
Ensuring we use at least boost 1.65, build static on Xenial, and adapt CircleCI accordingly.
2019-01-14 16:10:26 +01:00
Daniel Kirchner
c265bc4c0d
Update to boost 1.68 for emscripten builds.
2019-01-07 13:30:49 +01:00
chriseth
5066424758
Build in release mode.
2018-12-18 16:20:02 +01:00
chriseth
9939697e1f
Do not use nvm.
2018-12-14 23:47:47 +01:00
chriseth
8ec66bcab6
Disable coverage generation for release branch.
2018-11-28 17:25:43 +01:00
Daniel Kirchner
119aa107da
Use emscripten 1.37.21 and boost 1.67.0 on both travis and circle.
2018-11-21 15:24:20 +01:00
Alex Beregszaszi
3e5664841c
Revert "Disable covereage cmake option"
...
This reverts commit 5effc0eeb9
.
2018-11-14 12:56:13 +00:00
chriseth
b7a23ee169
Merge pull request #5373 from ethereum/archlinuxCI
...
Add archlinux run on circleci for testing against current versions of deps.
2018-11-14 11:44:42 +01:00
Alex Beregszaszi
74553efb69
Build with LLL on CircleCI
2018-11-13 23:51:17 +00:00
Daniel Kirchner
6f13647923
Only run soltest with --no-ipc.
2018-11-09 11:43:52 +01:00
Daniel Kirchner
d33d4b02a9
Add archlinux run on circleci.
2018-11-08 19:20:06 +01:00
mordax
5effc0eeb9
Disable covereage cmake option
2018-11-03 15:31:15 -04:00
chriseth
0d1b4d6f33
Add clang7 build step
2018-10-16 14:49:51 +02:00
chriseth
e62343c60b
Store test results as artifacts.
2018-10-11 17:01:06 +02:00
chriseth
8806f449af
Try newer version of xcode for MacOS.
2018-10-02 16:41:14 +02:00
liangdzou
982d883a88
enhance test_trailing_whitespace to test_check_style: several format rules for if/for are introduced
2018-09-20 21:31:16 +08:00
Leonardo Alt
9927964d21
Buglist check script supports json paths
2018-09-06 18:42:21 +02:00
Daniel Kirchner
1cd96b2dc4
Trailing whitespace detection script and circleci job.
2018-09-04 17:36:47 +02:00
Leonardo Alt
55e67e41f9
Update bug list and add regular expression to bug list and add test.
2018-08-14 15:57:38 +02:00
Paweł Bylica
3f2539de04
Add codecov config
2018-08-07 12:54:05 +02:00
Paweł Bylica
a1d3e72bb5
Circle CI: Upload coverage data
2018-07-24 17:12:42 +02:00
Paweł Bylica
721b7bbf70
Circle CI: Add full build dir to the workspace on Linux
2018-07-24 16:51:09 +02:00
Cryptomental
d454cec1bd
circleci: Integrate codespell.
...
Run codespell against documentation and during Linux test run.
Use codespell_whitelist.txt dictionary to whitelist words that
should not be considered as misspelled.
Currently whitelist "iff" and "nd".
Refs: #4442
2018-07-10 22:57:50 +02:00
Erik Kundt
f06ab89953
Moves Circle config to conform version 2.0.
2018-06-29 12:31:18 +02:00