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,364 Commits 348 Branches 121 Tags 100 MiB
2f78e9549a
Commit Graph

914 Commits

Author SHA1 Message Date
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
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
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