cerc-io/solidity
10
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,431 Commits 348 Branches 121 Tags 100 MiB
a00a2117c5
Commit Graph

23431 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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 Santos
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. Saramago
778d6f4b26
Migrate externalTests.sh to python 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2023-04-28 16:31:49 +02:00
minaminao
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
Rodrigo Q. Saramago
61beb321b6
Bump ubuntu 2004 and 2204 images 2023-04-19 15:49:09 +02:00
Rodrigo Q. Saramago
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
f53c0375de
Fix ci parameters style 2023-04-19 00:57:00 +02:00
Rodrigo Q. Saramago
a968f1a18c
Fix default image 2023-04-19 00:53:28 +02:00
Rodrigo Q. Saramago
589688b236
Add image parameter to external tests 2023-04-19 00:26:04 +02:00
Rodrigo Q. Saramago
e95cfa84bc
Add space between jobs definitions 2023-04-19 00:18:15 +02:00
Rodrigo Q. Saramago
3b2bb4ba50
Rename t_ems_ext to t_ext since the job also supports native builds 2023-04-19 00:18:15 +02:00
Rodrigo Q. Saramago
ce27eecb93
Add requires_nothing 2023-04-19 00:18:15 +02:00