cerc-io/solidity
11
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,366 Commits 348 Branches 121 Tags
add-try-catch-stmt
Commit Graph
529 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 06a9199967 Change loading of VMs and error messages during test. 2021-05-12 14:48:37 +02:00
Daniel Kirchner 6104ac1cdf Remove more imports of ranges namespace. 2021-05-07 15:42:17 +02:00
Djordje Mijovic e404b6e7a6 Refactoring yul source locations. 2021-05-04 16:05:23 +02:00
chriseth 3548049c61 Merge pull request #10356 from ethereum/isoltest-add-enforce-ewasm 
[test] Add support for --enforce-compile-to-ewasm.
 2021-04-27 17:51:33 +02:00
Alexander Arlt da38149f57 [test] Add support for --enforce-compile-to-ewasm. 2021-04-26 20:31:03 -05:00
Alexander Arlt 481971cbcf [isoltest] Add support for external sources. 2021-04-26 08:27:30 -05:00
chriseth 2969bc0f3e Merge pull request #11302 from ethereum/drop-u160 
Drop the util::u160 type
 2021-04-26 15:12:20 +02:00
anurag4u80 c4cf412fed Replaced boost remove_erase and remove_erase_if 2021-04-24 08:10:41 +05:30
Alex Beregszaszi 37be1b3ed9 Remove dependency on util::160 in yulInterpreter 
Instead apply explicit truncation or masking for readability.
 2021-04-23 14:35:05 +01:00
hrkrshnn 1f5b874eaf Optimizer context has parameter expectedExecutionsPerDeployment 2021-04-22 17:27:57 +02:00