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 |
|