cerc-io/solidity
11
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,472 Commits 348 Branches 121 Tags
v0.8.20
Commit Graph
931 Commits
Author SHA1 Message Date
Alexander Arlt 4837d42361 Add experimental support to import AST via Standard JSON. 2023-05-09 14:07:38 -05:00
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 KirchnerandRodrigo Q. Saramago 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. SaramagoandKamil Śliwak 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. SaramagoandKamil Śliwak 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

https://github.com/Debian/debhelper/blob/5d1bb29841043d8e47ebbdd043e6cd086cad508e/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. SaramagoAlex BeregszasziDanielmatheusaaguiarNikola Matić
 		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 ArltNuno SantosKamil Śliwak
 		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