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,638 Commits 348 Branches 121 Tags
check-style-for-using-namespace-std
Commit Graph
950 Commits
Author SHA1 Message Date
Nikola Matic aa03addab2 Check style coverage for using namespace std 2023-07-11 20:25:45 +02:00
Kamil Śliwak 45c2ffcd55 CI: Merge prepare_bytecode_report and storebytecode.sh script into a new script and use it for all platforms in CI 2023-06-23 19:49:54 +02:00
Kamil Śliwak 10670d6286 prepare_report: Replace hard-coded optimize setting with selectable presets 2023-06-23 19:00:30 +02:00
Leo 6b2939da31 Merge pull request #14307 from pgebal/pgebal/print_smt_to_output_smtchecker_smtlib_code 
Add --print-smt flag to output the SMTChecker SMTLIB code
 2023-06-19 16:58:52 +02:00
Kamil Śliwak 32e8297048 Remove unused bytecodecompare/deploy_key.enc 2023-06-19 14:20:35 +02:00
Pawel Gebal d4be1d9c2f Add --print-smt flag to output SMTChecker SMTLIB code 2023-06-16 14:04:07 +02:00
Kamil Śliwak 64ef9d581b Command-line test for equivalence of optimizer options on the CLI and in Standard JSON 2023-06-07 10:29:45 +02:00
Kamil Śliwak e6716e3208 Helpers for removing decorations form solc output 2023-06-07 10:29:45 +02:00
Kamil Śliwak 25c78be73e Give error_message in msg_on_error an initial value to make it compatible with set -u 2023-06-07 10:29:45 +02:00
Nikola Matic 47969adf91 Experimental standard library 
Change import syntax and cover with tests
 2023-06-06 17:16:23 +02:00
r0qs 4af4e5c78f Merge pull request #14248 from ethereum/bump-docker-images 
Bump  buildpack-deps images
 2023-05-22 11:54:02 +02:00
r0qs 6ea033b7e3 Merge pull request #14228 from ethereum/add-sudo-base-imgs 
Add sudo to buildpack-deps images
 2023-05-22 11:53:35 +02:00
r0qs 9eaa5cebdb Merge pull request #14247 from ethereum/replace-envsubst 
Replace `envsubst` by `sed` in `matrix_notification` script
 2023-05-18 19:45:04 +02:00
r0qs ab70c9cccb Update build_emscripten.sh 2023-05-18 19:41:02 +02:00
r0qs 45bd6827d2 Use sed instead of envsubst 2023-05-18 18:27:17 +02:00
Nikola Matic 7a34d34045 Restrict experimental solidity to constantinople and above 2023-05-17 17:03:43 +02:00
r0qs 5640353603 Add sudo to base images 2023-05-15 19:37:53 +02:00
Nikola Matic 8a41f4ac7e Introduce solidity-next pragma 
Exclude pragma experimental error from ANTLR tests

Test for first pragma after non-pragma declaration

Resolve import pragmas

Change pragma name from next to solidity

Add Changelog entries

Address review comments
 2023-05-15 19:25:13 +02:00
Daniel Kirchner c3a8b9cebb Minor post-release adjustments. 2023-05-11 11:28:00 +02:00
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