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,439 Commits 348 Branches 121 Tags
7c323a1faa4f5a8587291bb614d0e6c1baa6e64d
Commit Graph
23439 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel 7c323a1faa Merge pull request #14176 from ethereum/internal-function-id-annotation-fix 
Move AST annotation of internal function dispatch IDs to ContractDefinition
 2023-05-08 13:31:31 +02:00
r0qs 29751849b5 Merge pull request #14191 from ethereum/migration-external-test-ci 
Migrate to new external tests script
 2023-05-06 20:33:53 +02:00
Rodrigo Q. SaramagoDanielNikola Matić
 		a29f77369a Move AST annotation of internal function dispatch IDs to ContractDefinition 
Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
 2023-05-06 20:31:27 +02:00
Rodrigo Q. Saramago d80fd1b572 Migrate to new external tests script 2023-05-06 16:19:34 +02:00
Nikola Matić 41742c5410 Merge pull request #14188 from ethereum/fuzz-ir-pipeline 
Make use of IR codegen pipeline and selectively report stack too deep…
 2023-05-06 13:04:13 +02:00
Nikola Matić 102f18b2b0 Merge pull request #14190 from ethereum/fix-gp2 
Fix gp2 external test script
 2023-05-05 22:18:26 +02:00
Rodrigo Q. Saramago 766db7daa4 Update gp2 external test script 2023-05-05 17:09:58 +02:00
Nuno Santos a00a2117c5 Removed English (UK) and changed to International English. (#14189) 
Removed English (UK) and changed to International English like previously discussed.
 2023-05-05 12:02:17 +01:00
Bhargava Shastry 889f0721a2 Make use of IR codegen pipeline and selectively report stack too deep errors for the new pipeline. 2023-05-05 11:39:56 +02:00
Nuno Santos 0f40bcc06d Changed order of menu and spelling (#14185) 
- Changed menu order to obey what we had written on the page.
- Fixed some spelling.
 2023-05-04 18:35:02 +01:00
Daniel bed4732e95 Merge pull request #14183 from ethereum/temporaryGcc13Fix 
Temporary workaround for GCC 13 compiler warnings.
 2023-05-04 17:20:49 +02:00
Daniel Kirchner f2ddc997f0 Temporary workaround for GCC 13 compiler warnings. 2023-05-04 16:30:19 +02:00
Daniel 385c48df73 Merge pull request #14137 from ethereum/fix-matrix-notification-windows 
Make bash the default shell on windows
 2023-05-03 21:34:19 +02:00
Daniel dde579b434 Merge pull request #10996 from ethereum/exportAllEvents 
Export all events
 2023-05-03 21:32:31 +02:00
chriseth 1e63615206 Export all events. 
Update tests.

Additional tests

Revert changes to the Natspec
 2023-05-03 14:08:27 -03:00
Nikola Matić 1af6ca772d Merge pull request #14160 from kuzdogan/patch-4 
[docs]: Fix metadata JSON "version" field being a string
 2023-05-02 22:46:03 +02:00
Nuno Santosr0qsKamil Śliwak
 		49cf49184a Update security-considerations.rst (#14079) 
* Update security-considerations.rst

Spell checking mostly

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* fixup! Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update docs/security-considerations.rst

* Update security-considerations.rst

* Update security-considerations.rst

* Update docs/security-considerations.rst

Co-authored-by: r0qs <deepmarolaest@gmail.com>

---------

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
Co-authored-by: r0qs <deepmarolaest@gmail.com>
 2023-05-02 17:05:23 +01:00
Kamil Śliwak 0cb279494a Merge pull request #14170 from ethereum/external-tests-refactor 
Fix throw of ExternalTestNotFound in external_tests.py
 2023-04-28 19:40:05 +02:00
Rodrigo Q. Saramago 75960e6db8 Fix throw of ExternalTestNotFound in external_tests.py 2023-04-28 18:28:07 +02:00
Kamil Śliwak 8be32f2267 Merge pull request #14064 from ethereum/external-tests-refactor 
External tests script refactor
 2023-04-28 17:25:32 +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
minaminaoandKamil Śliwak 7c870c95c5 docs: change the remix button from icon to text (#14122) 
* docs: change remix button to text button

* docs(fix): trim trailing whitespaces

* fix: remove unnecessary spaces

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>

* fix: remove unnecessary !important in link

* refactor: remove !important in custom.css

* fix: `.. code-block:: Solidity` -> `.. code-block:: solidity`

* fix: broken layout of remix button in list items

* refactor: make selectors more strict

---------

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
 2023-04-27 11:02:04 +01:00
r0qs 6edec899c8 Merge pull request #14161 from ethereum/enable-triage-issues-new-board 
Enable triage issues action
 2023-04-27 11:27:37 +02:00
Rodrigo Q. Saramago da7754c6db Enable triage issues action 2023-04-26 18:17:58 +02:00
Kaan Uzdoğan 816f6ec175 Fix metadata JSON "version" field being a string 
Should be a number
 2023-04-26 17:38:13 +02:00
Daniel 302d46c1e6 Merge pull request #14156 from kuzdogan/patch-3 
Fix Remix links by adding `#` before URL params
 2023-04-26 12:42:47 +02:00
Kaan Uzdoğan 3bcdc7bd9a Fix Remix links by adding # before URL params 2023-04-26 10:37:37 +02:00
Kamil Śliwak 14c25c386d Merge pull request #13962 from ethereum/triage-issues-new-board 
Update triage automation to use new project board and github projectV2 API
 2023-04-25 18:15:01 +02:00
Rodrigo Q. Saramago a6c809fd19 Update triage automation to use new project board and github projectV2 API 2023-04-25 17:22:40 +02:00
Daniel 53a02fc130 Merge pull request #14155 from ethereum/isoltest-stack-shuffling 
Migrate yulStackShuffling tests to isoltest
 2023-04-25 16:49:13 +02:00
Rodrigo Q. Saramago 28c7fdae09 Migrate yulStackShuffling tests to isoltest 2023-04-25 15:53:01 +02:00
Rodrigo Q. Saramago ba722b66cb Make bash the default shell on windows 2023-04-25 15:51:51 +02:00
Leo 4a8d6618f5 Merge pull request #13974 from blishko/chc-path-condition 
[SMTChecker] Use path condition in CHC engine
 2023-04-24 16:24:53 +02:00
Kamil Śliwak b95b96db4e Merge pull request #14152 from ethereum/fix-matrix-bot 
Add default value for CIRCLE_TAG
 2023-04-24 11:39:51 +02:00
Daniel cd5ae26e34 Merge pull request #14143 from ethereum/remove-type-categoryname 
Remove the inaccurate `Type::categoryName()`
 2023-04-23 22:05:35 +02:00
Daniel d0043d6753 Merge pull request #14151 from ethereum/evmc-update 
Upgrade to evmc 10.1.0
 2023-04-23 21:47:29 +02:00
Alex Beregszaszi ee92491aae Upgrade to evmc 10.1.0 2023-04-23 15:51:06 +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
Martin Blicha 12bca24774 [SMTChecker] Use path condition when creating CHC targets 
Without path condition, verification targets created inside ternary
operator ignore the condition of the operator inside the branches.
This led to false positives.

Further updates:

- Function calls should consider the conditions under which they are
called, otherwise the analysis may report false positives.
The fix proposed here is to add the current path condition to the edge
that propagates error from a function call.

- Increment error index after function call

This is necessary for the analysis of the ternary operator to work
correctly. No information should leak from a function call inside a
ternary operator in the first branch to the second branch, including
whether or not an error would have occured in the first branch.

However, for the execution that continues after the function call,
we still need to ensure that under the current path condition
the error has not occurred in that function call.

It would be better to isolate the analysis of the branches to separate
clauses, but I do not see an easy way for that now. In this way, even
though the function call in first branch is included in the clause of
the second branch, no information leaks.

- Additonal test for ternary operator

This tests the behaviour of SMTChecker on ternary operator with function
calls inside both branches. Specifically, it tests that SMTChecker
successfully detects a violation of a verification target in the second
branch when the same target is present also in the first branch, but
there it cannot be triggered because of the operator's condition.
 2023-04-21 18:56:34 +02:00
Alexander Arlt 24d43dd1e6 Merge pull request #14115 from ethereum/clang-format-remove-prohibited-property 
[.clang-format ] Update prohibited property 'AlignEscapedNewlinesLeft'.
 2023-04-21 11:45:19 -05: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 35a78f77bc Add solRequire() 2023-04-20 20:01:45 +02:00
Kamil Śliwak f5b2044ed1 Remove unused CompilerStack::m_sourceJsons 2023-04-20 20:01:45 +02:00
Alexander Arlt 611e02c038 Rename assemble() to assembleYul() in CompilerStack and CommandLineInterface 2023-04-20 20:01:45 +02:00
Kamil Śliwak ded9ef17e8 Misc small refactors: Use ranges::views::keys and fmt::format() 2023-04-20 20:01:45 +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
Kamil Śliwak 34da6c8811 Remove the inaccurate Type::categoryName() and change the error message for invalid calls to one independent of the category 2023-04-20 13:50:22 +02:00