Daniel
f32f35f8f1
Merge pull request #14140 from ethereum/foundry-ci-setup
...
Foundry ci setup
2023-05-08 18:18:04 +02:00
Daniel
4ccda14798
Merge pull request #14164 from BraxWong/BraxBranch
...
Switch to Gen2 macOS resources on CircleCI
2023-05-08 17:47:29 +02:00
Rodrigo Q. Saramago
ccc2b8e2db
Make python and foundry installation steps a command
2023-05-08 17:26:08 +02:00
Daniel Kirchner
44da8507b1
Change default EVM version to Shanghai.
...
Co-authored-by: Rodrigo Q. Saramago <rodrigoqsaramago@gmail.com>
2023-05-08 16:34:23 +02:00
Rodrigo Q. Saramago
759732d310
Remove python unlink
2023-05-08 15:19:59 +02:00
BraxWong
41adba0eff
Switch to Gen2 macOS resources on CircleCI
2023-05-08 15:19:59 +02:00
Rodrigo Q. Saramago
d80fd1b572
Migrate to new external tests script
2023-05-06 16:19:34 +02:00
Rodrigo Q. Saramago
ba722b66cb
Make bash the default shell on windows
2023-04-25 15:51:51 +02:00
Kamil Śliwak
c694a004be
Merge pull request #13982 from ethereum/cleanup-base-images
...
Cleanup base images and CI config
2023-04-21 18:09:30 +02:00
Kamil Śliwak
a297a68726
Merge pull request #14090 from ethereum/fix-matrix-bot
...
Fix text formatting of CI matrix notifications
2023-04-20 14:49:40 +02:00
Rodrigo Q. Saramago
61beb321b6
Bump ubuntu 2004 and 2204 images
2023-04-19 15:49:09 +02:00
Rodrigo Q. Saramago
58555db423
Fix text formatting of CI matrix notifications
...
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2023-04-19 01:09:08 +02:00
Rodrigo Q. Saramago
f53c0375de
Fix ci parameters style
2023-04-19 00:57:00 +02:00
Rodrigo Q. Saramago
a968f1a18c
Fix default image
2023-04-19 00:53:28 +02:00
Rodrigo Q. Saramago
589688b236
Add image parameter to external tests
2023-04-19 00:26:04 +02:00
Rodrigo Q. Saramago
e95cfa84bc
Add space between jobs definitions
2023-04-19 00:18:15 +02:00
Rodrigo Q. Saramago
3b2bb4ba50
Rename t_ems_ext to t_ext since the job also supports native builds
2023-04-19 00:18:15 +02:00
Rodrigo Q. Saramago
ce27eecb93
Add requires_nothing
2023-04-19 00:18:15 +02:00
Rodrigo Q. Saramago
67078afe4b
Add on_develop filter
2023-04-19 00:18:15 +02:00
Rodrigo Q. Saramago
a9949f1cd1
Rename workflow_osx -> requires_osx
2023-04-19 00:18:15 +02:00
Rodrigo Q. Saramago
6cde589a03
Rename workflow_win -> requires_win
2023-04-19 00:18:15 +02:00
Rodrigo Q. Saramago
e464a49b0b
Rename workflow_archlinux -> requires_b_archlinux
2023-04-19 00:18:14 +02:00
Rodrigo Q. Saramago
8ea890de53
Minor fix
2023-04-19 00:18:14 +02:00
Rodrigo Q. Saramago
4cf3661c3e
Rename workflow_emscripten -> requires_emscripten
2023-04-19 00:18:14 +02:00
Rodrigo Q. Saramago
a13c3f0d07
Rename workflow_ubuntu2204 -> requires_b_ubu
2023-04-19 00:18:14 +02:00
Rodrigo Q. Saramago
d8937d8a76
Rename workflow_ubuntu2004_static -> requires_b_ubu_static
2023-04-19 00:18:14 +02:00
Rodrigo Q. Saramago
b99684d3f2
Rename workflow_trigger_on_releases -> on_version_tags
2023-04-19 00:18:14 +02:00
Rodrigo Q. Saramago
9b7eb4683b
Rename workflow_trigger_on_tags -> on_all_tags_and_branches
2023-04-19 00:18:14 +02:00
Rodrigo Q. Saramago
524db30f12
Update ubuntu ossfuzz references
2023-04-19 00:18:11 +02:00
Rodrigo Q. Saramago
f78591c356
Reorganize base images alphabetically and add small and xlarge image for ubuntu2004
2023-04-19 00:12:04 +02:00
Rodrigo Q. Saramago
927946c4f5
Move ubuntu 22.04 dependencies to docker image
2023-04-19 00:12:04 +02:00
Rodrigo Q. Saramago
1fbc17ba05
Remove unused artifacts step
2023-04-19 00:12:04 +02:00
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