Rodrigo Q. Saramago
2810119891
Remove unused workflow_ubuntu1604_clang
2023-04-19 00:12:04 +02:00
Leo
416e6f6604
Merge pull request #14074 from ethereum/update_z3_docker
...
update z3 in docker files
2023-04-12 17:59:08 +02:00
hrkrshnn
41ce3feb0a
test: some tests for push0
...
1. `push0_disallowed.yul`: checks if `push0()` is a valid builtin in strict Yul
2. `push0_disallowed.sol`: checks if `push0()` is a valid builtin in inline assembly
3. `push0.sol`: simple semantic test that returns 0
4. `evmone_support.sol`: tests if push0 works properly in evmone
5. Updated some bytecode too large tests to use `shanghai` as version
6. Updated various tests where `push1 0` was hardcoded in different forms / expectations on bytecode
size (`Assembler.cpp`, `GasCosts.cpp`, `SolidityCompiler.cpp`, `SolidityExpressionCompiler.cpp`)
2023-04-12 00:10:24 +02:00
Leo Alt
8e5f8c8595
reenable arch smt tests
2023-04-05 14:56:03 +02:00
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
