Commit Graph

491 Commits

Author SHA1 Message Date
Leo Alt
ce9a7ee954 update smtchecker tests 2023-03-28 18:23:54 +02:00
Leo Alt
3e1e43f569 use new z3 2023-03-28 14:37:01 +02:00
Rodrigo Q. Saramago
529ffffbe1
Migrate from gitter to matrix api 2023-03-08 08:54:50 +01:00
Kamil Śliwak
ca55115ca5 fix b_ubu_ubsan_clang running the address sanitizer instead of the undefined behavior sanitizer 2023-03-06 19:01:14 +01:00
Rodrigo Q. Saramago
930c8c0753
Restore static ubuntu 20.04 release builds 2023-02-20 14:27:30 +01:00
Rodrigo Q. Saramago
7ddb5e0c66
Change relative to absolute path for LSAN_OPTIONS 2023-02-02 09:49:59 +01:00
Rodrigo Q. Saramago
bc00063b2e
Do not print suppressions statistics for cli tests 2023-02-02 09:49:58 +01:00
Rodrigo Q. Saramago
d9d9ab30a2 Update default evm version to paris 2023-01-30 17:57:08 +01:00
Rodrigo Q. Saramago
21f95c4536
Suppress libcln from asan tests 2023-01-30 13:22:58 +01:00
andy53
df2ea19535 Remove solidity-upgrade
update config.yaml

Update using-the-compiler.rst

removed bug reports section

added changelog entry

removed trailing whitespace

removed trailing whitespace
2023-01-17 07:59:43 -07:00
Nikola Matic
f2e053e0c8 disable cxx20 job 2023-01-12 10:42:47 +01:00
Rodrigo Q. Saramago
7063fabf1f Update CI ubuntu version to 2204
Minor fix

replace deprecated is_pod
2023-01-12 10:37:29 +01:00
Rodrigo Q. Saramago
d4f9383185
Drop ewasm from tests 2023-01-12 09:08:39 +01:00
Daniel Kirchner
03eb17a50f Disable t_ubu_ossfuzz gitter notifications. 2023-01-05 17:43:31 +01:00
Rodrigo Q. Saramago
1f1b5910dc
Change base image of t_ubu_asan_cli and t_ubu_codecov to image with
higher resource_class
2022-12-09 13:38:25 +01:00
Leo Alt
f3d7dfba82 use new docker images 2022-11-24 13:08:06 +01:00
Alex Beregszaszi
eb8af2caec Add basic support for the EVM version Paris
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
2022-11-21 14:56:46 +01:00
Alex Beregszaszi
47ed36e0db Upgrade CI and download instructions to evmone 0.9.1 and hera 0.6.0 2022-11-09 21:27:40 +01:00
Kamil Śliwak
46a7ebd5b6
Merge pull request #13068 from ethereum/circleci-review-fixes
CI config tweaks after CircleCI review
2022-11-02 17:30:09 +01:00
nishant-sachdeva
8d4a354c69 raised resource class of cli tests to medium 2022-10-28 11:51:33 +05:30
Kamil Śliwak
6cef697246 chk_antlr_grammar: bump openJDK to version 17 2022-10-26 18:22:56 +02:00
Nikola Matic
339bf38584 Silence warning about improper quoting in .circleci/soltest.sh 2022-10-26 18:22:56 +02:00
Kamil Śliwak
c675266393 Switch to bash.exe in b_bytecode_win to be able to control locale 2022-10-26 18:22:56 +02:00
Kamil Śliwak
fe118abb53 CI: Switch from deprecated circleci/buildpack-deps image to cimg/base 2022-10-26 18:22:03 +02:00
Kamil Śliwak
10905ac51d CI: Update external tests to run with latest node version supported by each 2022-10-26 18:22:03 +02:00
Kamil Śliwak
273edd2c86 CI: Switch from deprecated circleci/node images to cimg/node 2022-10-26 18:22:03 +02:00
Kamil Śliwak
489fa38b5b CI: Remove b_win_release job 2022-10-26 18:22:03 +02:00
Kamil Śliwak
c3d9f001c7 Rename b_ubu_release to b_ubu_force_release 2022-10-26 18:22:03 +02:00
Rodrigo Q. Saramago
50670262c1
Increase euler external tests resource class 2022-10-20 18:53:07 -03:00
Leo Alt
22e4e2cdc9 disable SMT tests for the clang job 2022-08-30 11:51:59 +02:00
Leo Alt
16c0838f75 Update docker images and tests 2022-08-30 11:51:59 +02:00
Marenz
484c9d3ff0 Update docker images for emscripten. 2022-08-25 17:09:46 +02:00
khue
66f48282cc change to common config of 1 job to reuse between osx and ubuntu 2022-08-24 20:29:51 +02:00
Marenz
542ce5ad95 Use long option for spellchecker in CI 2022-08-18 15:28:12 +02:00
Marenz
1b5332c2b9 Fix spelling mistakes and CI spellcheck job 2022-08-18 14:38:19 +02:00
Kamil Śliwak
cd741b4162 CI: Disable SMT tests on Arch Linux 2022-07-26 17:38:55 +02:00
Kamil Śliwak
1e8faa8e83 CI: Fix binary naming for solc-bin 2022-06-15 18:16:06 +02:00
Kamil Śliwak
0b80a56294 External test for Gnosis Protocol v2 2022-06-08 20:23:39 +02:00
Kamil Śliwak
5c76d8ee77 External test for Chainlink 2022-06-08 20:21:58 +02:00
Kamil Śliwak
2cea70c04f Skip external test benchmark diff instead of failing when previous run of the job did not succeed 2022-06-07 13:24:55 +02:00
Kamil Śliwak
f4f4cfe294 CI: Print pylint version before running checks 2022-06-01 20:32:25 +02:00
Marenz
6c9754a784 lsp.py: Fix various problems with subdirectory edge cases
* fix properly path parsing with nested subdirectories
* fix regex to be able to handle `file://..`
* fix not checking all expected diagnostics
* Some extra comments and renames
2022-05-31 16:17:35 +02:00
Matheus Aguiar
90514d8893 Added option to allow soltest in CI print errors to stderr in addition to the XML report. 2022-05-27 18:32:21 -03:00
Kamil Śliwak
45dffe598c c_ext_benchmarks: Generate and store benchmark diffs 2022-05-23 14:18:29 +02:00
Kamil Śliwak
9618cb947d download_benchmarks: Script for downloading benchmark results from CircleCI 2022-05-23 14:18:29 +02:00
Daniel Kirchner
e93ad30e43 Remove obsolete enforce-via-yul logic and CI run. 2022-05-19 20:23:28 +02:00
Kamil Śliwak
0cb9590298
Merge pull request #12929 from ethereum/circleci-release-binaries-via-workspace
[CI] Automate preparation of release binaries for publishing (via workspace)
2022-05-19 18:17:53 +02:00
Leo Alt
6a126f6ccb Update tests and hashes for z3 4.8.17 2022-05-13 15:25:10 +02:00
Kamil Śliwak
dbcffb79a5 CI: Post a notification to gitter when binaries are ready 2022-05-12 21:41:44 +02:00
Kamil Śliwak
0153822d2e CI: Add c_release_binaries job that gathers release binaries from individual jobs 2022-05-12 21:41:44 +02:00
Daniel Kirchner
aafda389ea
Merge pull request #12907 from ethereum/calldataReencodeValidationBug
Calldatasize-check during ABI encoding from calldata values with nested dynamic arrays.
2022-05-12 17:56:44 +02:00
Kamil Śliwak
c0cc8ff7e7 Switch to newly built buildpack-deps images in CI 2022-05-12 14:26:07 +02:00
Daniel Kirchner
d357d56b16 Increase CircleCI node size for soltest_all runs. 2022-05-12 13:41:56 +02:00
Christian Parpart
e8d07772d9 lsp.py: Port to support running on Windows & adapt to changes due to prior merged PR.
- lsp.py: Fixes invalid-syntax by Python interpreter on Windows CI (older Python version).
- lsp.py: Savely strip CRLF from right side of the string, ignoring accidental multiple occurrences of \r (such as \r\r\n).
- lsp.py: Fixes reading single character from stdin (wrt. Windows platform).
- lsp.py: Adds header line reading to I/O tracing (useful for debugging).
- lsp.py: When running the tests on Windows, don't care test file content's newlines but simply expect LFs (instead of CRLF for example).
- Apply pylint notes.
- Fixing use of @functools.lru_cache for older python versions (CircleCI Windows)
2022-05-09 11:37:11 +02:00
Christian Parpart
49d27eaa5d [Circle CI] Adds LSP tests to Windows CI. 2022-05-09 11:37:11 +02:00
Leo Alt
4fd7de36f1 update smt tests z3 4.8.16 2022-05-03 14:23:27 +02:00
Kamil Śliwak
5111e7543c soltest.sh: Prevent parallel tests from overwriting each other's XML test output 2022-04-13 20:08:15 +02:00
Kamil Śliwak
8e085432bb External test for Brink 2022-04-13 13:43:48 +02:00
Kamil Śliwak
4ac46ebf40 Disable dependency caching on macOS in CI 2022-04-11 16:01:29 +02:00
Kamil Śliwak
6931c939e0 CI: Make osx test jobs handle dependency installation even if b_osx does not install them 2022-04-11 16:01:29 +02:00
Tharun K
a608bc12f7 Moved docs.sh script to docs/ 2022-04-08 20:41:22 +02:00
Kamil Śliwak
2d834eaf67 A script and CI job for testing the compiler with different locales 2022-03-14 09:08:01 +01:00
Kamil Śliwak
438c082488 CI: Remove the compile-only run for Gnosis 2022-03-09 19:57:16 +01:00
Kamil Śliwak
304c3984ad Update gnosis external test to use upstream directly and use Hardhat 2022-03-09 19:57:16 +01:00
Alexander Arlt
ab0ab4491d Update CI to use new buildpacks. 2022-03-02 11:43:57 -05:00
Leo
947a599e91
Merge pull request #12441 from ethereum/benchmarking-ext-tests
Benchmarking external tests
2022-02-14 20:14:27 +01:00
Daniel Kirchner
3a201ec0f8 Build packed soljson.js. 2022-02-14 16:52:59 +01:00
Daniel Kirchner
5c67d7d8e3 Disable running smt tests in ubsan runs. 2022-02-14 11:48:56 +01:00
Kamil Śliwak
60d9aa0d4f Benchmark report collector job + summary 2022-02-09 17:54:45 +01:00
Kamil Śliwak
c6094bb0c2 externalTests: Benchmark reports 2022-02-09 17:02:40 +01:00
Kamil Śliwak
d511fe93ab CI: Fix job name for PRBMath external test 2022-02-09 17:02:40 +01:00
yatharthagoenka
bdf84c991f Ci: parameterize the clang sanitizer jobs 2022-02-08 20:11:04 +01:00
Kamil Śliwak
bce5f9e0da CI: Store all artifacts in steps_build so that we can use it for b_ubu 2022-02-08 20:11:04 +01:00
yatharthagoenka
0f05b1485e CI: shared build and dependency installation steps 2022-02-08 20:11:04 +01:00
Kamil Śliwak
2f0ccb21be CI: Switch t_ems_ext_hardhat to nodejs 16 2022-02-05 00:31:17 +01:00
Kamil Śliwak
247eab9056 CI: Rename node_latest_small to node_small 2022-02-05 00:06:23 +01:00
Kamil Śliwak
4d65bfa95e CI: Remove notes about Hardhat failing on nodejs 17; that version is officially not supported 2022-02-05 00:06:23 +01:00
Kamil Śliwak
b52032a452 Re-enable Bleeps and just disable the failing governor test 2022-02-04 15:18:37 +01:00
Kamil Śliwak
1e0a695d24 Disable bleeps external test until it gets fixed upstream 2022-02-01 17:01:10 +01:00
Kamil Śliwak
cf024d9fa3 External test for ElementFi 2022-01-24 11:53:00 +01:00
Kamil Śliwak
36efd084df External test for PRBMath 2022-01-21 23:48:46 +01:00
Kamil Śliwak
aeb9637377 External test for Uniswap V3 2022-01-21 16:10:24 +01:00
Kamil Śliwak
7b4522f507 External test for Tracer Perpetual Pools 2022-01-19 20:24:25 +01:00
Kamil Śliwak
93f7d5f8f0 External tests for Pool Together v4 2022-01-19 17:21:03 +01:00
Kamil Śliwak
b1e7964ad5 CI: Add missing workflow_trigger_on_tags filter to bytecode jobs 2022-01-17 19:55:52 +01:00
Kamil Śliwak
31cf7f7adb CI: Create templates for parameterized jobs to make it easier to reuse them in multiple workflows 2022-01-17 19:55:52 +01:00
Kamil Śliwak
1af0ce0f26 External test for Bleeps 2022-01-14 23:57:14 +01:00
Daniel Kirchner
756ae673e1
Merge pull request #12536 from ethereum/optimize-mac-os-ci-jobs
[CI] Use `large` resource class for macOS and use `-j` without spaces
2022-01-14 23:50:04 +01:00
Kamil Śliwak
91f51b76c6 CI: Use 'large' resource class for macOS and use -j without spaces 2022-01-14 23:09:18 +01:00
Kamil Śliwak
4de1367ba7 External test for Yield Liquidator V2 2022-01-14 22:37:56 +01:00
Kamil Śliwak
054f1cb304 External test for Euler 2022-01-14 02:14:05 +01:00
Daniel Kirchner
b49f486cf6 Update osx z3 archive hash. 2022-01-12 17:38:47 +01:00
Leo Alt
9f171c0f06 update smtchecker tests for new z3 2022-01-12 15:13:34 +01:00
Kamil Śliwak
483148ddff Include the parallel run number in gitter notifcations from CI 2022-01-10 16:26:14 +01:00
Kamil Śliwak
6980fa32e2 External test for sushiswap/trident 2022-01-10 14:37:24 +01:00
chriseth
2a7f26e2c0 Test batcher. 2021-12-30 15:02:05 +01:00
Kamil Śliwak
7e91dba663 Switch ens external test to ens-contracts repo 2021-12-22 14:45:51 +01:00
chriseth
113ecbdeb3
Merge pull request #12408 from sbillig/fix-mac-build
Update circleci mac xcode version to 13.2
2021-12-20 18:49:22 +01:00
chriseth
8da9239c83
Merge pull request #12396 from ethereum/ext-tests-via-ir
External tests via IR
2021-12-20 18:13:02 +01:00
Sean Billig
4819d010a8 Update circleci mac xcode version to 13.2 2021-12-16 20:26:14 -08:00