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,344 Commits 348 Branches 121 Tags 100 MiB
fd211d2631
Commit Graph

24 Commits

Author SHA1 Message Date
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