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,536 Commits 348 Branches 121 Tags
14d2ae2dfaf4336ee4be198ea402c70996fa821d
Commit Graph
23536 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak 14d2ae2dfa Merge pull request #14282 from ethereum/fixOpenZeppelinExtTest 
Remove sed commands targeting deleted files in openzeppelin external test
 2023-05-31 12:17:56 +02:00
Matheus Aguiar d657e77f1e Remove problematic sed commands in openzeppelin external test 2023-05-31 02:11:33 -03:00
Nuno Santos 3eedc635c4 Misspelling and terms inconsistencies (#14280) 
* Installing solidity tweeks

* A few more misspells

* More inconsistencies fixed

* Removed contractions according to our guide.
 2023-05-30 20:49:25 +01:00
Leo a0933fa80a Merge pull request #14276 from ethereum/smtchecker-fix-ice 
SMTChecker: External function call with struct member is not getter
 2023-05-30 13:46:35 +02:00
Leo ceab4dfee5 Merge pull request #14269 from blishko/smtchecker-fix-analysis-external-calls 
[SMTChecker] Remember verification targets from trusted external calls
 2023-05-30 13:45:37 +02:00
Nikola Matić 4449f07df4 Merge pull request #14262 from davidBar-On/issue-14259-help-text-about-standard-input-usage 
Fix help text about standard input usage
 2023-05-29 15:53:58 +02:00
David Bar-On cf106c44fe Fix issue 14259 - help text about standard input usage 2023-05-29 13:30:39 +02:00
Kamil Śliwak 38468d03f4 Merge pull request #14272 from ethereum/fixInlinerDocs 
Fix mistake about default value for inliner setting in docs
 2023-05-26 17:02:38 +02:00
Matheus Aguiar 2260c23ce1 Fix mistake about default value for inliner setting 2023-05-26 10:25:26 -03:00
Martin Blicha 8ca453f82e SMTChecker: External function call with struct member is not getter 
if a struct has a member that is a function pointer with `external`
attribute, and such a member is called, it is currently incorrectly
treated as a public getter in SMTEncoder.

The proposed fix is to make SMTEncoder::publicGetter more strict in
deciding whether an expression is a public getter.
The added condition, that the access happens on a state variable, is
exactly what is checked later with an assertion that is currently
failing.
 2023-05-26 14:23:45 +02:00
Nikola Matić 477b621f2e Merge pull request #14274 from ethereum/enable-access-to-foreign-events 2023-05-26 13:49:13 +02:00
Kamil Śliwak 37506b1a90 Merge pull request #14177 from GiokaMarkella/develop 
Add support for Yul ASTs output
 2023-05-26 13:25:54 +02:00
Martin Blicha b0419da654 [SMTChecker] Remember verification targets from trusted external calls 
Previously, we did not remember trusted external calls for later phase
when we compute possible verification targets for each function.
This led to false negative in cases where verification target can be
violated, but not by calling a public function directly, but only when
it is called as an external function from other function.

The added test cases witnesses this behaviour. The underflow in
`dec` cannot happen in any other way except what the `dec` is called
from `f`.

The same problem did not occur when the functions are called internally,
because for such cases, we have already been remembering these calls in
the callgraph in the CHC engine.
 2023-05-26 13:03:44 +02:00
Nikola Matic 5893e099fe Allow qualified access to events from other contracts 2023-05-26 12:52:52 +02:00
GiokaMarkella 28a1abf89a Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
Kamil Śliwak bb16f61e1c Merge pull request #14263 from ethereum/gh-auth-token-foundry-cmd 
Prefer authenticated request to github api when the token is available
 2023-05-26 12:30:11 +02:00
r0qsandKamil Śliwak f09838a03d Prefer authenticated request to github api when the token is available 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2023-05-26 10:56:24 +02:00
Kamil Śliwak 8c7404f639 Merge pull request #14264 from ethereum/remove-leftover-ewasm-bits-in-docs 
Remove a few leftover mentions of Ewasm from optimizer docs
 2023-05-25 12:25:14 +02:00
Kamil Śliwak 1cc656c550 docs: Remove a few leftover mentions of Ewasm 2023-05-25 11:38:16 +02:00
Kamil Śliwak a089aefc05 Merge pull request #14266 from ethereum/disallow-optimize-yul-and-no-optimize-yul-at-the-same-time 
Disallow `--optimize-yul` and `--no-optimize-yul` at the same time
 2023-05-25 11:37:38 +02:00
Nikola Matić 6db4f182a5 Merge pull request #14226 from kuzdogan/docs-add-immutable-ref 
Mention `immutableReferences` in immutables docs
 2023-05-24 20:02:12 +02:00
Kamil Śliwak a11b1c83f0 Disallow using both --optimize-yul and --no-optimize-yul at the same time 2023-05-24 15:54:40 +02:00
Kamil Śliwak b24e4fcbfa Command-line tests for --optimize-yul and --no-optimize-yul used together 2023-05-24 15:53:29 +02:00
Kamil Śliwak 4a1dbdaedb Merge pull request #14261 from ethereum/clean-up-via-ir-equivalence-test 
Clean up via-IR equivalence command-line test
 2023-05-24 12:16:26 +02:00
Kamil Śliwak 8c5304368d test_via_ir_equivalence(): Simplify by merging the asm loops 
- And fix indentation
 2023-05-23 15:30:07 +02:00
Kamil Śliwak bcdb41f743 test_via_ir_equivalence(): Remove unnecessary filter for asm_output_two_stage 
- This bit will never actually appear in the output file.
 2023-05-23 15:28:18 +02:00
Kamil Śliwak 17aacfdb6a test_via_ir_equivalence(): Fix quoting and locals 2023-05-23 15:25:48 +02:00
Kamil Śliwak 0ce5e4c94d test_via_ir_equivalence(): Use assertions for precondition checks 2023-05-23 15:23:44 +02:00
Nuno Santos 02a07fdf46 Changed references to money 2023-05-22 12:54:43 +01:00
johnnygee19andNuno Santos a2a00850ca Fix small typo on "Units and Globally Available Variables" page (#14252) 
* Fix typo

* Update docs/units-and-global-variables.rst

---------

Co-authored-by: Nuno Santos <nunofilipesantos@gmail.com>
 2023-05-22 12:31:21 +01: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
r0qs 9f1f2a2a06 Bump docker images 2023-05-18 17:41:35 +02:00
Kamil Śliwak 574d454be7 Merge pull request #14242 from ethereum/ci-gh-limit-fix 
Fix intermittent error in `install_foundry` command
 2023-05-17 19:26:37 +02:00
Nikola Matić 4c77bf57df Merge pull request #14239 from ethereum/restrict-experimental-mode-to-constantinople 
Restrict experimental solidity to constantinople and above
 2023-05-17 19:06:36 +02:00
Nikola Matic e7f5303a39 Make ASTJSONTest an EVMVersionRestrictedTestCase 2023-05-17 18:10:16 +02:00
Nikola Matic 7a34d34045 Restrict experimental solidity to constantinople and above 2023-05-17 17:03:43 +02:00
r0qs 7460c997b7 Add comment to colony test 2023-05-17 16:37:47 +02:00
r0qs ff2e4736fa Add Github authorization token to foundry installation 2023-05-17 14:52:47 +02:00
Daniel 33e7fc1cba Merge pull request #14234 from ethereum/drop-colony-nightly 
Drop ColonyNetwork external test run on nightly builds
 2023-05-17 13:25:39 +02:00
r0qs d49ed7d66b Drop ColonyNetwork external test run on nightly builds 2023-05-17 11:41:15 +02:00
Daniel aa9e25021d Merge pull request #14232 from ethereum/workaround-hardhat-waffle 
Workaround gp2 and prb-math external tests
 2023-05-16 18:36:33 +02:00
r0qs af74ab69c9 Workaround gp2 and prb-math external tests 2023-05-16 16:13:51 +02:00
Daniel 1250ee778d Merge pull request #14168 from ethereum/pragma-solidity-next 
Introduce `pragma experimental solidity`
 2023-05-15 20:18:22 +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
Kaan Uzdoğanandr0qs c8117ef75e Be more explicit about immutableReferences 
Co-authored-by: r0qs <rodrigo.saramago@protonmail.com>
 2023-05-15 17:21:03 +02:00