Commit Graph

23368 Commits

Author SHA1 Message Date
Rodrigo Q. Saramago
a0e62bbd3d
Annotate function ID of functions that may be called via the internal dispatch.
Co-authored-by: Daniel <daniel@ekpyron.org>
2023-03-20 20:14: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
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
0904bb3a3c Update github actions to match renamed labels (lower case, no dashes) 2023-02-23 16:51:56 +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
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
Nikola Matic
02b02f507d Set version to 0.8.20 2023-02-22 12:17:21 +01:00
Nikola Matic
486be8f10d Sort Changelog for 0.8.19 2023-02-22 12:13:46 +01:00
Nikola Matic
94ab0e3c53 Sort Changelog for 0.8.19 2023-02-22 12:00:45 +01:00
Daniel
103bf7a71f
Merge pull request #13790 from ethereum/user-defined-operators-for-udvt
User-defined operators for UDVTs
2023-02-22 11:58:48 +01:00
Nikola Matić
82817bfc3a
Merge pull request #13963 from fulldecent/feature-leading-underscore
Add recommendation for leading underscore
2023-02-22 08:23:27 +01:00
William Entriken
6216842458 Add recommendation for leading underscore, see #11764
Update docs/style-guide.rst

Co-authored-by: Nuno Santos <nunofilipesantos@gmail.com>

Update docs/style-guide.rst

Update docs/style-guide.rst

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

Update docs/style-guide.rst

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

Update docs/style-guide.rst

Update docs/style-guide.rst

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

Update docs/style-guide.rst

Update docs/style-guide.rst

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

Update docs/style-guide.rst

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

Update docs/style-guide.rst

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

Update docs/style-guide.rst

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

Update docs/style-guide.rst

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

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
2023-02-22 07:31:51 +01:00