cerc-io/solidity
16
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,296 Commits 348 Branches 121 Tags 100 MiB
7b634152bd
Commit Graph

23296 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak
7b634152bd
Merge pull request #14071 from minaminao/docs-fix-yul 
docs: correct small errors in yul.rst
 2023-04-04 15:28:15 +02:00
Kamil Śliwak
a1fbf6b097
Merge pull request #14020 from krvaibhaw/develop 
Update Solidity scripts to remove unencrypted git protocol
 2023-04-04 15:05:39 +02:00
Kamil Śliwak
9d5b34b230
Merge pull request #14008 from ethereum/uniform-gh-label-naming-convention 
Uniform naming convention for github labels
 2023-04-04 14:34:45 +02:00
Nuno Santos
d9965a3d14
Update issue templates (#13970) 
* Update issue templates

Added labels to all the templates as well as descriptions.

Next step:
- Mandatory fields.

* Update .github/ISSUE_TEMPLATE/bug_report.md

Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>

* Update .github/ISSUE_TEMPLATE/documentation_issue.md

Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>

---------

Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
 2023-04-04 14:03:10 +02:00
Nuno Santos
0037693c8d
Update ReleaseChecklist.md post release steps (#14007) 
* Update ReleaseChecklist.md

* Update ReleaseChecklist.md

* Update ReleaseChecklist.md

* Update ReleaseChecklist.md

* Update ReleaseChecklist.md

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>

* Update ReleaseChecklist.md

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>

* Update ReleaseChecklist.md

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>

* Update ReleaseChecklist.md

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>

---------

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2023-04-03 17:55:17 +01:00
Kamil Śliwak
5e88d590c4
Merge pull request #14077 from minaminao/consolidate-terms-and-fix-typos 
Fix a couple of small errors in docs: broken/missing backticks, broken code blocks, bad capitalization
 2023-04-03 17:00:36 +02:00
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
minaminao
c0f92da860 Replace solidity with Solidity 2023-03-28 23:02:29 +09:00
minaminao
c2a2fce8e7 Replace Send with `send` 2023-03-28 23:01:06 +09:00
minaminao
25a41e3ac6 Replace Javascript with JavaScript 2023-03-28 22:59:48 +09:00
minaminao
cd8636105d Replace python with Python 2023-03-28 22:59:05 +09:00
minaminao
ccb64e9fa4 Fix the style of bullet points 2023-03-28 22:57:39 +09:00
minaminao
dce1e7b378 Fix "Yul Code" 2023-03-28 22:56:24 +09:00
minaminao
f12e368d67 Fix the missing dot 2023-03-28 22:55:09 +09:00
minaminao
c5ae22db86 Wrap numbers in backquotes 2023-03-28 22:53:57 +09:00
minaminao
58f3aa8c28 Fix the code block not rendered 2023-03-28 22:52:09 +09:00
minaminao
1468f5ac41 Fix the missing backquote 2023-03-28 22:50:35 +09: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
minaminao
7375fc24c0 Omit the mention of topics 2023-03-27 18:26:15 +09:00
minaminao
6f0941a510 Correct small errors in yul.rst 2023-03-25 15:13:51 +09: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
Vaibhaw
6b73afae44
Removing unencrypted git protocol 2023-03-16 11:42:42 +01: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