Commit Graph

20366 Commits

Author SHA1 Message Date
Bhargava Shastry
f900fe7262 WIP 2021-06-09 18:39:19 +02:00
Bhargava Shastry
66d625aa21 Introduce vardecl and for stmts. 2021-06-09 18:39:14 +02:00
Bhargava Shastry
55932cf5eb Fix bug in break/continue placement and introduce do-while loops. 2021-06-09 18:39:10 +02:00
Bhargava Shastry
0d8800eec4 Introduce break/continue statements and fix stmt genarator logic 2021-06-09 18:39:10 +02:00
Bhargava Shastry
6c5b86e719 Introduce while stmt. 2021-06-09 18:39:05 +02:00
Bhargava Shastry
fee6ed693c Introduce if-elseif-else statement. 2021-06-09 18:39:00 +02:00
Bhargava Shastry
eeaf9b4e20 Minor refactor. 2021-06-09 18:38:55 +02:00
Bhargava Shastry
079a9ab1f0 Initialise nesting depth of expression generator to zero. 2021-06-09 18:38:55 +02:00
Bhargava Shastry
ee9433f8c3 Introduce if statement 2021-06-09 18:38:55 +02:00
Bhargava Shastry
0fc94dbf96 Introduce expression statement. 2021-06-09 18:38:50 +02:00
Bhargava Shastry
dea8b84e41 Remove circular deps 2021-06-09 18:38:45 +02:00
Bhargava Shastry
d93339a209 Use shared_ptr refs where possible. 2021-06-09 18:38:45 +02:00
Bhargava Shastry
321e09b62f Disable SMT checker to silence memory leak reports from z3 2021-06-09 18:38:44 +02:00
Bhargava Shastry
4e171a8b61 Potential fixes to memory leaks 2021-06-09 18:38:44 +02:00
Bhargava Shastry
248cef01e7 Introduce typed expressions. 2021-06-09 18:38:39 +02:00
Bhargava Shastry
23e76926ea Introduce contract inheritance 2021-06-09 18:38:34 +02:00
Bhargava Shastry
d56dfcf750 Introduce assignment operations. 2021-06-09 18:38:30 +02:00
Bhargava Shastry
7394c60dd5 Destroy state properly 2021-06-09 18:38:25 +02:00
Bhargava Shastry
1d6d8e68f8 Do not apply mutation if it is too large. 2021-06-09 18:38:25 +02:00
Bhargava Shastry
a0197138d9 Fix bug in call statement generator 2021-06-09 18:38:25 +02:00
Bhargava Shastry
954bcf95ea Add scoped variables 2021-06-09 18:38:25 +02:00
Bhargava Shastry
895e48a823 Introduce function call statements. 2021-06-09 18:38:25 +02:00
Bhargava Shastry
fd211d2631 Do not generate nested unchecked blocks; add typed literals. 2021-06-09 18:38:20 +02:00
Bhargava Shastry
52f227e40a Introduce unchecked basic blocks. 2021-06-09 18:38:20 +02:00
Bhargava Shastry
1c43ecf9c8 Implement block nesting depth properly 2021-06-09 18:38:20 +02:00
Bhargava Shastry
638ab0bb68 Add assignment statement 2021-06-09 18:38:20 +02:00
Bhargava Shastry
3d6c5e8335 Add assignment statement. 2021-06-09 18:38:20 +02:00
Bhargava Shastry
986f65c219 Remove deprecated SMTChecker pragma. 2021-06-09 18:38:15 +02:00
Bhargava Shastry
ca209c2f09 Add block statement 2021-06-09 18:38:10 +02:00
Bhargava Shastry
b79ddb34c7 Fix bug in function output params 2021-06-09 18:38:05 +02:00
Bhargava Shastry
9d5c208493 Add function output params 2021-06-09 18:38:05 +02:00
Bhargava Shastry
4f6678b134 Make contract function types external 2021-06-09 18:38:05 +02:00
Bhargava Shastry
0f31604a1e Add function I/O params. 2021-06-09 18:38:05 +02:00
Bhargava Shastry
093b619722 Add types. 2021-06-09 18:38:00 +02:00
Bhargava Shastry
99adff305c Resolve imported symbols 2021-06-09 18:37:55 +02:00
Bhargava Shastry
bc53705e06 Add exports 2021-06-09 18:37:55 +02:00
Bhargava Shastry
e4aa3bab39 Add function 2021-06-09 18:37:51 +02:00
Bhargava Shastry
18b0c021bc Contract changes 2021-06-09 18:37:46 +02:00
Bhargava Shastry
25ef4e0e8e Add contract 2021-06-09 18:37:46 +02:00
Bhargava Shastry
fa9328cb0e Solidity fuzzer: Add simple import statements and test/source state. 2021-06-09 18:37:42 +02:00
Daniel Kirchner
98e7b61a37
Merge pull request #11510 from ethereum/removeNondeterministicTest
Remove potentially non-deterministic test case.
2021-06-09 15:42:08 +02:00
Daniel Kirchner
284e8a103f Remove potentially non-deterministic test case. 2021-06-09 14:42:16 +02:00
chriseth
e5500b9f20
Merge pull request #11471 from ethereum/funcdef-unimplemented-modifier
Reports an error on unimplemented modifiers in a function definition.
2021-06-09 13:54:05 +02:00
chriseth
0fff4e6743
Merge pull request #10908 from a3d4/fix-9231-struct-member-names-shadow-type-names
Fix shadowing struct types by struct member names
2021-06-09 13:20:52 +02:00
Christian Parpart
a14ac1923d Fixes ICE when overriding an implemented modifier with an unimplemented one. 2021-06-09 13:15:20 +02:00
Kamil Śliwak
362fc6650d Extra tests for shadowing within function parameter lists 2021-06-09 12:37:12 +02:00
a3d4
f59145f21f Fix shadowing struct types by struct member names 2021-06-09 12:37:11 +02:00
a3d4
70b8b1c834 Do not warn about shadowing parameters in functions without implementation 2021-06-09 12:35:26 +02:00
chriseth
edee67b4cc
Merge pull request #11503 from ethereum/issue-11501
Fix crash in ControlFlowGraph related to free functions.
2021-06-09 12:24:03 +02:00
chriseth
8de575f738
Merge pull request #11442 from ethereum/path-resolution-docs-current-state-v2
Path resolution docs (current state only) v2
2021-06-09 11:27:21 +02:00