cerc-io/solidity
10
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
22,268 Commits 348 Branches 121 Tags 100 MiB
disallow-contract-operators-11700
Commit Graph

52 Commits

Author SHA1 Message Date
chriseth
3c2cee5836
Merge pull request #13026 from ethereum/develop 
Merge develop into breaking.
 2022-05-16 15:29:39 +02:00
Leo Alt
93f9638a1b Add error id to script 2022-05-11 20:02:31 +02:00
Sreekesh V
9188e658d8 Revert "Allow basefee as Yul identifier for EVMVersion < london" 
This reverts commit 7f1a2be0fe.

Added changes to changelog to include Make basfee as a reserved identifier

added changes under the breaking changes rst file

Update Changelog.md

Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>

Update 090-breaking-changes.rst

moved the changes under "New restrictions" section

Update Changelog.md

avoided removing  line no 6

Update docs/090-breaking-changes.rst

Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
 2022-03-02 10:48:33 +01:00
Kamil Śliwak
de364c566c pylint: Disable the opinionated too-many-xyz warnings 2021-12-21 18:37:38 +01:00
Kamil Śliwak
dece5f4de2 pylint: Enable and fix redefined-builtin warnings 2021-12-21 15:30:11 +01:00
Kamil Śliwak
5b10ff1216 pylint: Enable and fix singleton-comparison warnings 2021-12-21 15:30:11 +01:00
Kamil Śliwak
449f56c15b pylint: Enable and fix consider-using-sys-exit warnings 2021-12-21 15:30:11 +01:00
Leo Alt
a104443ac1 Adjust errors script to also look for infos 2021-10-26 11:30:30 +02:00
Kamil Śliwak
b96de320e2 Fix the simplest pylint warnings (variables/imports, semicolons, etc) and re-enable them in pylintrc 2021-10-13 16:19:16 +02:00
chriseth
63993387d6 Add test for invalid ast id. 2021-09-16 17:18:48 +02:00
Leonardo
e45083f319
Merge pull request #11606 from ethereum/info_message 
Add new info severity
 2021-09-14 14:30:07 +02:00
Kamil Śliwak
d78522b08b AsmParser: Accept optional code snippets after the @src tags 2021-09-14 12:09:59 +02:00
Leo Alt
e72fa7fc10 Add new info severity 2021-09-13 22:48:22 +02:00
Kamil Śliwak
14396c207c AsmParser: Generalize location comment parsing to make it easier to add support for more tags 2021-09-09 17:12:59 +02:00
hrkrshnn
7f1a2be0fe Allow basefee as Yul identifier for EVMVersion < london 
This was done to prevent basefee from being a breaking change. This change will be removed in 0.9.0.

TODO revert this commit in breaking.
 2021-08-11 10:46:08 +02:00
Leonardo
57092b21a3
Merge pull request #11421 from ethereum/smt_solver_option 
[SMTChecker] Solver option
 2021-07-27 18:17:24 +02:00
Leo Alt
6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
Christian Parpart
3755210b7b [libyul] ObjectParser: Enables the use of custom source mapping via @use-src. 2021-07-27 16:46:47 +02:00
Christian Parpart
132fa46faa Yul: Adds parsing @src comment in AsmParser to customize the AST's sourcer locations. 2021-07-09 11:48:00 +02:00
Leonardo Alt
dd1865873e Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
Alex Beregszaszi
f766700000 Remove unreachable warning for shift/exp operator 2021-02-16 13:17:58 +00:00
Alex Beregszaszi
efe3199981 Remove unreachable assertion for import resolution 2021-02-16 12:55:01 +00:00
Alex Beregszaszi
346344dc7b Add missing test case for try/Catch 2021-02-16 12:33:55 +00:00
Alex Beregszaszi
ded5d721d2 Turn unreachable error into assertion 2021-02-16 10:59:22 +00:00
Alex Beregszaszi
fd9050614a Remove untriggerable errors on variadic calls (which have been removed) 2021-02-15 22:45:57 +00:00
Djordje Mijovic
b74c08143f Deleting yul unimplemented test. 2020-12-30 17:19:04 +01:00
Alex Beregszaszi
953d18c6cb Output runtime object in IR 2020-12-16 19:23:10 +00:00
Alex Beregszaszi
47b10fd751 Report warning if contract uses abicoder v1, but IR is requested 2020-12-09 01:20:58 +00:00
Alex Beregszaszi
43353bb6ca update tests 2020-12-03 17:15:43 +01:00
Leonardo Alt
fa561dbd0e Add uncovered test and replace uncovered tests by asserts 2020-11-30 18:46:47 +01:00
Leonardo Alt
00858c0ccf Isoltets SMTChecker option and BMC specific tests 2020-11-06 15:03:38 +00:00
Alex Beregszaszi
1536e49b3d Add more syntax tests for uncovered cases 2020-11-05 10:30:09 +00:00
Christian Parpart
c00a825b10 error_codes.py: Remove IDs of tests that are now tested in yulSyntaxTests/ 2020-11-04 12:03:33 +01:00
Leonardo Alt
daf859c15b [SMTChecker] report SMTEncoder warnings also via CHC 2020-11-03 16:06:17 +00:00
Martin Blicha
f0d81601db [SMTChecker] Adding division by zero checks in the CHC engine 2020-10-21 14:48:33 +02:00
Martin Blicha
1511f59a7e Warning 1218 'CHC: Error trying to invoke SMT solver' no longer happens in the tests 2020-10-16 16:17:32 +02:00
a3d4
3698cd54a5 Complete error coverage of Parser and SyntaxChecker 2020-09-29 16:07:02 +02:00
Leonardo Alt
352cce5fc8 [SMTChecker] Support addmod and mulmod. 2020-09-29 12:45:19 +02:00
a3d4
9721bda36e Complete error coverage of ParserBase 2020-09-28 01:56:25 +02:00
chriseth
2f41245e43 Commandline test for unimplemented IR. 2020-09-15 14:42:04 +02:00
a3d4
0ee4a85a84 Complete test coverage for errors related to parser error recovery 2020-08-20 16:14:39 +02:00
a3d4
ad311fae19 Improve error coverage of syntax checker 2020-08-20 03:23:21 +02:00
a3d4
0f5d0b6455 Improve error coverage of parser 2020-08-19 01:37:11 +02:00
Alex Beregszaszi
028f77e8cc Remove covered test cases from error_codes.py exception list 2020-08-05 21:22:00 +01:00
Alex Beregszaszi
a27b79fece Add yulSyntaxTests to error_codes.py 2020-08-05 11:37:04 +01:00
a3d4
0c3e0a65cf Extend error_codes.py to to detect newly introduced error codes, not covered by tests 2020-08-03 04:28:35 +02:00
a3d4
9eed519faa Introduce white list of error codes, which are not covered by tests 2020-07-22 03:57:18 +02:00
a3d4
0a3c9ec358 Print source file names for uncovered error codes. 
Use more consistent naming.
 2020-07-21 15:23:22 +02:00
a3d4
a068583bec Cover cmdlineTests.sh errors 2020-07-09 14:39:05 +02:00
a3d4
e810d84a07 Introduce error_codes.py --next flag 2020-07-03 14:51:38 +02:00