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
21,301 Commits 348 Branches 121 Tags 100 MiB
7683442ce2
Commit Graph

309 Commits

Author SHA1 Message Date
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