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
22,598 Commits 348 Branches 121 Tags 100 MiB
f802eafc67
Commit Graph

410 Commits

Author SHA1 Message Date
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
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
Erik Kundt
26ab2d4c06 Splits out compilation only phase for external tests. 2019-11-21 00:00:27 +01:00
Leonardo Alt
389da5228e Merge remote-tracking branch 'origin/develop' into merge_develop_060 2019-11-20 12:27:40 +01:00
chriseth
5deaac0849
Merge pull request #7740 from ethereum/istanbul 
Enable support for Istanbul
 2019-11-20 10:49:27 +01:00
Alex Beregszaszi
e912c7dca8 Run istanbul tests on circleci 2019-11-19 17:09:18 +01:00
Mathias Baumann
eec1998a89 Update evmone version to v0.3.0 in docs and scripts 2019-11-19 16:49:43 +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
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
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
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
chriseth
2e5a42836c
Merge pull request #7681 from ethereum/develop 
Merge develop into develop_060
 2019-11-11 16:42:03 +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
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 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
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
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
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