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 |
|
a3d4
|
4fcf0b489a
|
Refactor error_codes.py to simplify generation of new error codes
|
2020-07-03 01:26:26 +02:00 |
|
a3d4
|
919572d6ec
|
Add --examine-coverage to fix_error_ids.py
|
2020-07-01 21:41:31 +02:00 |
|