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 |
|