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
20,360 Commits 348 Branches 121 Tags 100 MiB
eeaf9b4e20
Commit Graph

37 Commits

Author SHA1 Message Date
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
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
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
99adff305c Resolve imported symbols 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
Bhargava Shastry
febccdd96a Fuzzer: Refactor utility methods shared by proto fuzzers. 
Co-authored-by: Leonardo <leo@ethereum.org>
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
 2021-02-10 11:43:57 +01:00
Bhargava Shastry
896de75bcb Solidity fuzzer: Add test state. 2021-02-09 12:49:35 +01: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
be733d5f61 Reorganized code for better readability. 2021-01-26 16:16:03 +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
Alex Beregszaszi
bd641a5206 Enable more C++ compiler warnings 2020-12-10 21:03:58 +00:00
Bhargava Shastry
864458922a Add solidity generator 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2020-11-23 22:27:40 +01:00