Commit Graph

14 Commits

Author SHA1 Message Date
Bhargava Shastry
bec78e58bf Introduce require/assert statements. 2021-06-14 13:28:52 +02:00
Bhargava Shastry
8cbdd1fc2f Introduce vardecl and for stmts. 2021-06-14 13:28:47 +02:00
Bhargava Shastry
67644c0763 Introduce break/continue statements and fix stmt genarator logic 2021-06-14 13:28:43 +02:00
Bhargava Shastry
3d4787bb15 Introduce while stmt. 2021-06-14 13:28:39 +02:00
Bhargava Shastry
d1b7078d8d Introduce if statement 2021-06-14 13:28:30 +02:00
Bhargava Shastry
c007e16ee5 Introduce expression statement. 2021-06-14 13:28:26 +02:00
Bhargava Shastry
0e15a794d8 Introduce function call statements. 2021-06-14 13:28:03 +02:00
Bhargava Shastry
f6242ef6b7 Add assignment statement. 2021-06-14 13:27:58 +02:00
Bhargava Shastry
a115e61be6 Add block statement 2021-06-14 13:27:50 +02:00
Bhargava Shastry
6d2c990117 Add function 2021-06-14 13:27:32 +02:00
Bhargava Shastry
b3b72a2b91 Add contract 2021-06-14 13:27:28 +02:00
Bhargava Shastry
0a59bd825b Solidity fuzzer: Add simple import statements.
Co-authored-by: Leonardo <leo@ethereum.org>
2021-02-03 17:03:57 +01:00
Bhargava Shastry
f5e0faaa37 Add documentation and/or comments.
Co-authored-by: Leonardo <leo@ethereum.org>
2021-01-26 15:48:42 +01:00
Bhargava Shastry
d7e3d3f75f Add visitors for automatic test case generation. 2021-01-26 15:48:42 +01:00