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,332 Commits 348 Branches 121 Tags
disallow-literal-suffix-overloading
Commit Graph
911 Commits
Author SHA1 Message Date
Matheus Aguiar f97e3884cb User-defined literal suffixes: Grammar 2023-04-12 12:07:46 +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
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
Leo Alt f3d7dfba82 use new docker images 2022-11-24 13:08:06 +01:00
Leo Alt 24df40de9a Allow running Eldarica from the command line 2022-11-22 21:16:45 +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
Nikola Matić 2fb7205dd3 Merge pull request #13532 from ethereum/evmc-update 
Upgrade to evmc10 + evmone9
 2022-11-10 02:10:29 -05: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
Alex Beregszaszi c50f190c02 Upgrade to evmone 0.9.1 and hera 0.6.0 in buildpack 2022-11-04 10:27:45 +01: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 fb3d0a874e Merge pull request #13643 from ethereum/ext-gp2-bug-fix 
Fix gp2 ext test failing to build, not being able to resolve the the keyv dependency
 2022-10-24 13:06:21 +02:00
Rodrigo Q. Saramago bc7567244a Remove ens fork 2022-10-23 17:58:13 -03:00
Rodrigo Q. Saramago be0f633966 Update gp2 fork 2022-10-21 16:59:50 -03:00
Kamil Śliwak 9800e19df6 Merge pull request #13527 from ethereum/git-safe-directory-workaround 
Add git `safe.directory` workaround in emscripten build script
 2022-10-21 15:47:42 +02:00
Rodrigo Q. Saramago 9dbc3e0b82 Add git safe.directory workaround in emscripten build script 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-10-20 19:43:18 -03:00
Rodrigo Q. Saramago 6c167374f7 Disable FETCHCONTENT_FULLY_DISCONNECTED on ppa release 2022-10-05 10:13:55 +02:00
Nikola Matic 1f6a299062 Add a check for unqualified move 2022-09-05 16:05:14 +02:00
Leo Alt cbcd8a724b Update z3 to 4.11.0 2022-08-30 12:52:22 +02:00
Leo Alt 16c0838f75 Update docker images and tests 2022-08-30 11:51:59 +02:00
Mathias L. Baumann 5a3ae1a583 Merge pull request #13422 from ethereum/cleanup-z3-script 
Cleanup static z3 script to work similar to release_ppa
 2022-08-29 14:51:39 +02:00
Leo Alt e99e93ff5b Fix pylint warning 2022-08-29 11:50:29 +02:00
Marenz 484c9d3ff0 Update docker images for emscripten. 2022-08-25 17:09:46 +02:00
Marenz c5e9b6e666 static_z3.sh: Update releases to include only maintained ones 2022-08-25 15:18:55 +02:00