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
23,462 Commits 348 Branches 121 Tags 100 MiB
a02a7206d8
Commit Graph

930 Commits

Author SHA1 Message Date
Daniel
0d0bcf628d
Merge pull request #14199 from ethereum/evmoneDockerUpdate 
Bump evmone version in docker images to 0.10.0.
 2023-05-09 19:20:40 +02:00
Daniel Kirchner
53626fc092 Bump docker images and evmone version. 2023-05-09 17:59:00 +02:00
Daniel Kirchner
77af0b41df Bump evmone version in docker images to 0.10.0. 2023-05-09 16:27:45 +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
28a959295b
Move common.sh from test/externalTests to scripts/externalTests 2023-04-28 16:32:01 +02:00
Rodrigo Q. Saramago
778d6f4b26
Migrate externalTests.sh to python 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2023-04-28 16:31:49 +02:00
Rodrigo Q. Saramago
1fb9a414c9
Add default value for CIRCLE_TAG 2023-04-23 14:23:46 +02:00
Kamil Śliwak
b75bddbd11
Merge pull request #14145 from ethereum/small-refactors-extracted-from-asm-import 
Trivial refactors extracted from the JSON assembly import PR
 2023-04-21 19:53:31 +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
Alexander Arlt
2f78e9549a Misc small refactors: Superfluous std::, trailing commas in lists, whitespace, missing breaks, import order 2023-04-20 19:53:48 +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
524db30f12
Update ubuntu ossfuzz references 2023-04-19 00:18:11 +02:00
Rodrigo Q. Saramago
1e00672fbc
Rename ubuntu ossfuzz dockerfile 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
f4ab85da3e
Remove HERA from base image 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
Nikola Matić
9e0a0af78c
Merge pull request #14062 from ethereum/fix-split-sources-script 
[scripts/splitSources.py] Add newline to files.
 2023-04-05 22:37:20 +02:00
Leo Alt
e6f099db92 bring ubuntu2004 back 2023-04-05 14:56:03 +02:00
Leo Alt
f72e61ccbe update z3 in docker files 2023-04-05 14:56:03 +02:00
Kamil Śliwak
a1fbf6b097
Merge pull request #14020 from krvaibhaw/develop 
Update Solidity scripts to remove unencrypted git protocol
 2023-04-04 15:05:39 +02:00
Leo Alt
3e1e43f569 use new z3 2023-03-28 14:37:01 +02:00
Alexander Arlt
3fb1628358 [scripts/splitSources.py] Add newline to files. 2023-03-21 13:56:50 -05:00
Vaibhaw
6b73afae44
Removing unencrypted git protocol 2023-03-16 11:42:42 +01:00
Leo Alt
21c0f78650 Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
Kamil Śliwak
817a57b365 Use std:: prefix with std::forward() as well to satisfy Clang 2023-03-06 18:20:49 +01:00
Daniel Kirchner
17bb4d8b03 Revert debian compatibility for ubuntu focal support. 2023-02-22 20:46:22 +01:00
Kamil Śliwak
18b42dccd6
Merge pull request #13973 from ethereum/static-build-2004 
Restore static ubuntu 20.04 release builds
 2023-02-20 15:30:03 +01:00
Rodrigo Q. Saramago
930c8c0753
Restore static ubuntu 20.04 release builds 2023-02-20 14:27:30 +01:00
Zachinquarantine
45a3d8228d Removed folder scripts/endToEndExtraction/ 2023-02-17 16:10:22 -03:00
Kamil Śliwak
89c4ee6942 Add a script for generating a list of contributors to paste in release notes 2023-02-14 14:39:55 +01:00
Michał Janiszewski
6f285ad197 Update debian/compat to version 13 
Compat version 13 is currently the recommended one.

An important change introduced in 10 was change of default to target parallel builds

5d1bb29841/debhelper.pod (compatibility-levels)
 2023-02-03 20:56:25 +01:00
Rodrigo Q. Saramago
828f95ad9e Fix pylint 2.16 warnings 2023-02-01 10:39:00 -03:00
Rodrigo Q. Saramago
d9d9ab30a2 Update default evm version to paris 2023-01-30 17:57:08 +01:00
Rodrigo Q. Saramago
ef6ff2f055
Adds support for the EVM version "Paris". 
Deprecates `block.difficulty` and disallow `difficulty()` in inline assembly for EVM versions >= paris.
The change is due to the renaming introduced by EIP-4399 (see: https://eips.ethereum.org/EIPS/eip-4399).
Introduces `block.prevrandao` in Solidity and `prevrandao()` in inline assembly for EVM versions >= paris.

Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
 2023-01-23 18:50:36 +00:00
Rodrigo Q. Saramago
b1f728efcd
Remove hera build 2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
b07ccd56e1
Add CLN library 2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
43032433fd
Rename buildpack-deps ci scripts 2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
0178024903
Reset label version for new image 2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
904afd8963
Rename ubuntu dockerfiles 2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
a01936d5fc
Bumping ubuntu images to use boost 1_74_0 2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago
d4f9383185
Drop ewasm from tests 2023-01-12 09:08:39 +01:00
Leo Alt
15b062e466 Fix emscripten docker hash 2022-11-28 21:06:51 +01:00
Rodrigo Q. Saramago
cf5d0d3f8b
Let the nightlies call themselves 'nightly', the return. 
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
 2022-11-25 11:53:57 +01:00
Alexander Arlt
fe68200f30
[tests] Refactor scripts/ASTImportTest.sh. (#13576) 
* [tests] Refactor scripts/ASTImportTest.sh.

Co-authored-by: Nuno Santos <nuno.santos@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-11-24 16:16:16 +01:00
Leo Alt
e51d2ca5e9 update docker images with z3 4.11.2 2022-11-24 14:46:49 +01:00
Leo Alt
87d277ec05 avoid unused error codes 2022-11-24 13:08:06 +01:00
Leo Alt
f3d7dfba82 use new docker images 2022-11-24 13:08:06 +01:00