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,274 Commits 348 Branches 121 Tags
f2dc3d38a77f0bdf2cdc97d8b3a85fe688e96f5f
Commit Graph
23274 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Nikola Matić f2dc3d38a7 Merge pull request #14052 from kuzdogan/develop 
Update Metadata Documentation
 2023-03-31 15:35:56 +02:00
Kaan Uzdoğan 1a23b7a60a Update metadata docs 
Squashed into single commit

Squashed commits:
Sort metadata JSON, add errors to devdoc & userdoc

Sorts the example metadata in the alphabetical order,
as this is the way output by the compiler.

Add playground.sourcify.dev link

Update metadata documentation content

Fix trailing whitespaces

Add new line after code-block

Fix unexpected indentation

Fix unexpected unindent

Fix unexpected unindent - 2

Suggestions from code review: wording, punctuation

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Fix missing trailing commas

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Order yul settings, fix trailing commas

Explicitly state appended to the runtime bytecode

Break down metadata content into two points

Remove trailing whitespace
 2023-03-31 15:27:57 +03:00
Leo bca3fb8ffd Merge pull request #14076 from ethereum/update_z3_tests 
Update z3 tests
 2023-03-29 10:35:39 +02:00
Leo Alt ce9a7ee954 update smtchecker tests 2023-03-28 18:23:54 +02:00
Leo Alt 3e1e43f569 use new z3 2023-03-28 14:37:01 +02:00
Nuno Santos 7974a3cf7c Consolidated term to reentrancy 2023-03-28 12:28:31 +01:00
Kamil Śliwak 5dbfa9409b Merge pull request #14066 from ethereum/update_grammar 
Update grammar `functionDefinition` parser rule and rename `NumberUnit` lexer rule
 2023-03-24 21:19:42 +01:00
Matheus Aguiar 0158de60be Refactored NumberUnit and FunctionDefinition. Added OctalNumber. Fixed number followed by identifier with no whitespace. 2023-03-24 16:19:33 -03:00
Nikola Matić 2ca349c69a Merge pull request #14061 from mmqxyz/patch-2 
Fix small typos in abi-spec.rst
 2023-03-21 08:51:41 +01:00
mmqxyz 0dd40d2ad2 Fix small typos in abi-spec.rst 2023-03-20 20:12:56 +01:00
Daniel e7ec40b1af Merge pull request #13752 from ethereum/reimplement_unused_assign 
Reimplement unused eliminators
 2023-03-20 16:51:17 +01:00
Kamil Śliwak afe1242c2f Merge pull request #14051 from ethereum/stale-action-operation-per-run-bump 
Double number of operations per run for stale action bot
 2023-03-20 16:25:43 +01:00
chriseth fac5666dc9 Re-implement unused assign / unused store eliminator. 2023-03-20 13:49:37 +01:00
Daniel 960889f532 Merge pull request #14057 from MuKnIO/notty 
Keep test/lsp.py working when not on a tty
 2023-03-20 11:32:30 +01:00
Francois-Rene Rideau acaa019785 Keep test/lsp.py working when not on a tty 2023-03-19 16:09:42 -04:00
Leo 9a207ad27c Merge pull request #14028 from ethereum/smt_group_unsupported 
[SMTChecker] Group unsupported warnings
 2023-03-16 11:15:52 +01:00
Leo Alt 6c58f31b4a add cli tests 2023-03-15 17:52:58 +01:00
Leo Alt aacbe72079 group unsupported warnings 2023-03-15 17:06:06 +01:00
Rodrigo Q. Saramago 8c53b656e9 Double number of operations per run for stale action bot 2023-03-15 15:36:04 +01:00
Daniel 0aa85153e5 Merge pull request #14042 from uji/unicode-string-grammer 
docs/grammer: Fix the writing of unicodeStringLiteral rules.
 2023-03-13 13:54:11 +01:00
uji 8b07e23975 docs/grammer: Fix the writing of unicodeStringLiteral rules. 
UnicodeStringLiteral rules can be written with a common prefix.
(like HexString https://github.com/ethereum/solidity/blob/ef6ff2f05550e4386f2fec7753a44fe39a124488/docs/grammar/SolidityLexer.g4#L213)
 2023-03-11 17:29:45 +09:00
Kamil Śliwak d58c699478 Merge pull request #14034 from ethereum/migration-gitter-to-matrix 
Migrate from gitter to matrix api
 2023-03-10 21:28:53 +01:00
Leo 812e26640c Merge pull request #13957 from ethereum/smt_report_safe 
[SMTChecker] Report safe properties in BMC and CHC
 2023-03-09 15:56:06 +01:00
Leo Alt 21c0f78650 Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
Rodrigo Q. Saramago 529ffffbe1 Migrate from gitter to matrix api 2023-03-08 08:54:50 +01:00
Kamil Śliwak d30ec3548f Merge pull request #14032 from ethereum/fix-member-call-on-null-for-unary-operators 
Fix `member call on null pointer` when type-checking built-in unary operators
 2023-03-07 23:42:47 +01:00
Kamil Śliwak 5327f4b4e3 Merge pull request #14031 from ethereum/update-oz-external-tests 
Update openzeppelin external tests with basic hardhat via-ir support
 2023-03-07 23:42:03 +01:00
Rodrigo Q. Saramago f974dbc205 Update openzeppelin skipped tests that depends on hardhat via-ir full support 2023-03-07 18:50:48 +01:00
Kamil Śliwak aeff485079 Merge pull request #14030 from ethereum/fix-ubsan-asan-sanitizer-mixup-in-ci 
Fix `b_ubu_ubsan_clang` running the address sanitizer instead of the undefined behavior sanitizer
 2023-03-07 11:17:05 +01:00
Kamil Śliwak 94ebcc9742 Merge pull request #14029 from ethereum/clang-std-forward 
Use `std::` prefix with `std::forward()` as well to satisfy Clang
 2023-03-06 19:28:40 +01:00
Kamil Śliwak c95108169d Fix member call on null pointer when type-checking built-in unary operators 2023-03-06 19:20:18 +01:00
Kamil Śliwak ca55115ca5 fix b_ubu_ubsan_clang running the address sanitizer instead of the undefined behavior sanitizer 2023-03-06 19:01:14 +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 9ace80c7ff Merge pull request #14010 from lemenkov/initialize_before_use 
Initialize vars before use
 2023-03-06 17:11:26 +01:00
Kamil Śliwak f341cfbfb6 Merge pull request #13785 from ethereum/fix-strictasm-assembly-opt 
Strict assembly fuzzer: Change optimization setting from full to minimal
 2023-03-06 11:25:11 +01:00
Bhargava Shastry 1ac3abfbb7 Strict assembly fuzzer: Change optimization setting from full to minimal. 2023-02-24 22:42:07 +01:00
Peter Lemenkov 93c8120a24 Initialize vars before use 
Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>
 2023-02-24 12:06:01 +01:00
Kamil Śliwak 983407762c Merge pull request #14002 from ethereum/NunoFilipeSantos-patch-1 
Update smtchecker docs to reflect the only 2 Reported Inferred Inductive Invariants
 2023-02-23 16:15:45 +01:00
Kamil Śliwak 43e2e3b28b Merge pull request #13992 from ethereum/triage-any-issue 
Run triage action on all new issues independent of the presence of labels
 2023-02-23 16:12:54 +01:00
Nuno Santos b8e74ffc57 Update smtchecker.rst 
Fixes #13988
 2023-02-23 12:09:12 +00:00
Daniel 58c1cc6bde Merge pull request #14000 from ethereum/ppaScriptFix 
Revert debian compatibility for ubuntu focal support.
 2023-02-22 22:41:44 +01:00
Daniel Kirchner 17bb4d8b03 Revert debian compatibility for ubuntu focal support. 2023-02-22 20:46:22 +01:00
Nikola Matić 8540fc8780 Merge pull request #13999 from ethereum/set-version-to-0.8.20 
Set version to 0.8.20
 2023-02-22 20:33:43 +01:00
Nikola Matic b6df64e4fd Set version to 0.8.20 2023-02-22 19:41:03 +01:00
Daniel 7dd6d40481 Merge pull request #13996 from ethereum/set-release-date-for-0.8.19 
Set release date for 0.8.19
v0.8.19 		2023-02-22 14:25:21 +01:00
Nikola Matic 21823613bc Set release date for 0.8.19 2023-02-22 13:33:25 +01:00
Daniel 1d8e0abd0a Merge pull request #13995 from ethereum/revert-13994-set-version-to-0.8.20 
Revert "Set version to 0.8.20"
 2023-02-22 13:29:02 +01:00
Nikola Matić 5f0f91974a Revert "Set version to 0.8.20" 2023-02-22 13:27:50 +01:00
Nikola Matić ab74a268ae Merge pull request #13994 from ethereum/set-version-to-0.8.20 
Set version to 0.8.20
 2023-02-22 13:04:15 +01:00
Daniel d4a08bda93 Merge pull request #13993 from ethereum/sort-changelog-for-0.8.19 
Sort Changelog for 0.8.19
 2023-02-22 12:38:25 +01:00