Matheus Aguiar
|
8bfa4c6d35
|
Testing
|
2023-03-23 17:07:09 -03:00 |
|
Kamil Śliwak
|
65d1ae5d48
|
Tests for suffixes with reserved names that could otherwise cause ambiguities
|
2023-03-23 13:02:22 +01:00 |
|
Kamil Śliwak
|
a65a0233a3
|
fixup! User-defined literal suffixes: Tests
|
2023-03-23 12:57:52 +01:00 |
|
Kamil Śliwak
|
4caee63ec8
|
Tests for multipart string concatenation
|
2023-03-23 12:53:16 +01:00 |
|
Kamil Śliwak
|
d7db1f097a
|
Extra test for operator cleanup
|
2023-03-23 11:37:46 +01:00 |
|
Kamil Śliwak
|
58f1e78e18
|
Suffix cleanup test
|
2023-03-23 11:36:08 +01:00 |
|
Kamil Śliwak
|
06b7114ae1
|
fixup! Tests for suffixes used to define operators
|
2023-03-22 19:25:04 +01:00 |
|
Kamil Śliwak
|
88fa1c89c5
|
fixup! Tests for shadowing a builtin
|
2023-03-22 18:44:59 +01:00 |
|
Kamil Śliwak
|
021b0d83fc
|
Merge pull request #14036 from ethereum/literal_suffix_functions_secondary_location
Include suffix definition as a secondary location in errors
|
2023-03-22 13:25:32 +01:00 |
|
Matheus Aguiar
|
996db9f266
|
Added function definition as secondary location in error msgs
|
2023-03-22 13:21:09 +01:00 |
|
Kamil Śliwak
|
4adfb76467
|
Tests for suffixes making external calls
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
08d54f274a
|
Tests for recursive suffix calls
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
9aacc8d943
|
Tests for shadowing a builtin
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
1b867a3edf
|
Tests for checked/unchecked suffixes
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
79342f45e7
|
Tests for suffixes used to define operators
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
2c7ab0cf48
|
Tests for suffixes + operators
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
d0701ccc44
|
User-defined literal suffixes: Tests
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
b84f1b586e
|
User-defined literal suffixes: Code generation
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
143722c705
|
User-defined literal suffixes: Analysis
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
fda86c21f8
|
User-defined literal suffixes: Parsing and grammar
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
e06e2c72ce
|
User-defined literal suffixes: AST
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
3b067616de
|
Allow marking free functions as suffixes
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
da47f25df2
|
ExpressionCompiler: Extract internal function handling into a separate function
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
4b92cbb283
|
IR codegen: Extract code for appending an internal function call into a separate function
|
2023-03-22 13:16:31 +01: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 |
|