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,102 Commits 348 Branches 121 Tags 100 MiB
559fab39a8
Commit Graph

224 Commits

Author SHA1 Message Date
Bhargava Shastry
bb1e185f88 Docker config: Update ossfuzz docker image. 2021-09-17 15:40:35 +02:00
Kamil Śliwak
4560e5bdd9 Bump base image version for b_bytecode_ems to get a newer version of Python 2021-09-16 20:22:24 +02:00
yatharthagoenka
5a02384233 Cleanup/Deduplication in .circleci/config 2021-09-03 22:56:19 +02:00
Kamil Śliwak
4e76914622 Switch back to using the latest ArchLinux docker image 2021-09-01 19:00:03 +02:00
Kamil Śliwak
5849e0c16e Re-enable SMT tests on Arch Linux 
- Z3 4.8.12 has already been released
 2021-09-01 18:59:13 +02:00
Bhargava Shastry
427aec2cb4 Circle CI: Introduce default evm version parameter; remove hard-coded setting. 2021-08-31 17:15:15 +02:00
Kamil Śliwak
a12af13189 .circleci/config.yml: Bump OpenJDK version from 14 to 16 
- OpenJDK 14 seems to have been removed from Ubuntu Focal repos
 2021-08-27 12:42:08 +02:00
Bhargava Shastry
b77d345da7 Refactor and add gitter notification for UBSan test CIs. 2021-08-26 20:54:10 +02:00
Bhargava Shastry
0b9fc214c7 Add UBSan build + test CI. 2021-08-26 13:14:56 +02:00
Alex Beregszaszi
c018cdf419
Merge pull request #11706 from ethereum/update-evmone-part2 
Update evmone part 2
 2021-07-27 17:17:59 +01:00
Leo Alt
6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
hrkrshnn
6b8c32b859 Updated circleci scripts with evmone 0.8.0 docker images 2021-07-27 16:38:55 +02:00
Leo Alt
5decccaf3a update docker hashes and versions 2021-07-19 15:20:11 +02:00
Kamil Śliwak
b4df5ede69 Disable SMT tests on Arch Linux until the problem with hanging tests on Z3 4.8.11 is resolved 2021-06-14 15:38:19 +02:00
hrkrshnn
a4fd7c56a4 A script to summarize gas differences from isoltest for PRs. 2021-06-08 11:38:58 +02:00
Alex Beregszaszi
90072a7c0d update docker hashes 2021-05-13 16:25:55 +01:00
Daniel Kirchner
7073198adb Update docker image hashes in CircleCI config. 2021-05-12 16:56:23 +02:00
Daniel Kirchner
06a9199967 Change loading of VMs and error messages during test. 2021-05-12 14:48:37 +02:00
Kamil Śliwak
563160e5b3 Hard-code archlinux image version to base-20210131.0.14634 to work around runc/glibc bug 2021-04-29 19:16:09 +02:00
Kamil Śliwak
09283a6db4 Switch from archlinux/base to archlinux:base in CI 
- archlinux/base seems to be gone
- archlinux:base comes from a different repo but seems to also be an official Arch Linux image
 2021-04-29 18:29:21 +02:00
Kamil Śliwak
30cda36d9a Create a bundle with all bytecode reports when comparison fails in CI 2021-04-15 17:14:33 +02:00
Kamil Śliwak
f14a80cbcf Don't print full diff when bytecode comparison fails in CI 2021-04-15 17:14:33 +02:00
Daniel Kirchner
acd3084076 Fuzzer for stack optimiser/code generator. 2021-03-04 17:35:56 +01:00
Bhargava Shastry
2f001bb91c Unify solc fuzzers. 2021-02-08 11:14:38 +01:00
Kamil Śliwak
96fd9051ed prepare_report.py: Add --report-file option 2021-02-02 16:16:28 +01:00
Kamil Śliwak
f7007ea324 Add CLI version of bytecode compare to existing CI jobs 2021-01-26 23:30:38 +01:00
Leonardo Alt
40221a90c4 Update smtCheckerTests for z3 4.8.10 2021-01-26 10:18:52 +01:00
Kamil Śliwak
cf147fac7a Add a CI job for running Python unit tests 2021-01-22 13:41:20 +01:00
Kamil Śliwak
83d65ba8f5 Disable git's automatic line ending conversion in Windows CI jobs 2021-01-22 12:16:28 +01:00
Daniel Kirchner
804bd8f6dd Switch to new emscripten docker image. 2021-01-13 02:22:09 +01:00
Bhargava Shastry
aa26adc323 ossfuzz: Update ossfuzz docker image that now contains sanitized libgmp 2020-12-15 14:33:04 +01:00
Daniel Kirchner
7308abc084 Allow loading Z3 dynamically at runtime. 2020-12-10 16:47:47 +01:00
chriseth
66b15f24ad
Merge pull request #10518 from ethereum/deduplicate-external-test-job-definitions 
[CI] Deduplicate external test job definitions
 2020-12-10 11:58:52 +01:00
Daniel Kirchner
2e31a6bdbf Switch CI runs from EOL'ed eoan to focal. 2020-12-10 11:09:55 +01:00
Kamil Śliwak
b672c2fab7 Combine the t_ems_compile_ext and t_ems_test_ext job definitions 2020-12-09 13:12:40 +01:00
Kamil Śliwak
da17150bec Extract common parts from external job definitions into commands 2020-12-09 13:12:40 +01:00
Bhargava Shastry
e23cf26d98
Merge pull request #10541 from ethereum/add-isabelle-abiv2-fuzzer-to-circleci-nightly 
CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI
 2020-12-09 11:53:15 +01:00
chriseth
d2534e8208
Merge pull request #10466 from ethereum/run-external-tests-nightly 
Running external tests nightly
 2020-12-09 11:43:34 +01:00
Bhargava Shastry
047e706e7f CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI 2020-12-09 11:10:16 +01:00
Kamil Śliwak
e78b4af4c4 Run external tests that take more than 15 minutes only nightly and re-enable their gitter notifications 2020-12-07 20:41:46 +01:00
Daniel Kirchner
a3a5d93b34 Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it. 2020-12-07 18:18:41 +01:00
chriseth
8623e7fbe8
Merge pull request #10429 from ethereum/fix-and-enable-external-tests 
Fix and enable external tests
 2020-12-07 16:48:44 +01:00
Kamil Śliwak
1f55e9213b Disable flaky Gnosis v1 tests 2020-12-07 14:09:18 +01:00
Kamil Śliwak
9d1e0270cd Bump node.js version to 12 or 14 on external test jobs where possible 2020-12-07 14:09:18 +01:00
Kamil Śliwak
0c5d3c0cdf Add a job for executing external tests for ENS 2020-12-07 14:09:18 +01:00
Kamil Śliwak
70a2fc58b0 Add jobs and scripts running external tests for Gnosis v2 2020-12-07 14:09:18 +01:00
Kamil Śliwak
e05241adfc Update Colony, Gnosis and OpenZeppelin external tests to run on updated 0.7.x branches from solidity-external-tests 2020-12-07 14:09:18 +01:00
Kamil Śliwak
45c506a4ff Stop running external tests twice in CI 2020-12-07 14:00:14 +01:00
Kamil Śliwak
f737f66196 Temporarily disable gitter notifications for external tests 2020-12-07 14:00:14 +01:00
Kamil Śliwak
5b6e1560b3 Enable Colony, Gnosis and OpenZeppelin external tests in the main CI workflow 2020-12-07 14:00:14 +01:00