cerc-io/solidity
15
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,276 Commits 348 Branches 121 Tags 100 MiB
79d975a77d
Commit Graph

23276 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak
79d975a77d
Merge pull request #14078 from ethereum/fix_missing_keyword_unicode 
Fix missing keyword `unicode` in grammar
 2023-04-03 12:53:20 +02:00
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
Matheus Aguiar
4aa310034c Added missing keyword unicode to Lexer 2023-03-28 13:51:43 -03: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 ef6ff2f055/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
 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