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,381 Commits 348 Branches 121 Tags
add-break-continue
Commit Graph
527 Commits
Author SHA1 Message Date
Bhargava Shastry c07d24c66d Fix bug in break/continue placement and introduce do-while loops. 2021-06-14 13:28:43 +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 567e6d7569 Introduce if-elseif-else statement. 2021-06-14 13:28:35 +02:00
Bhargava Shastry f720cd098f Minor refactor. 2021-06-14 13:28:30 +02:00
Bhargava Shastry 17971999b3 Initialise nesting depth of expression generator to zero. 2021-06-14 13:28:30 +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 c5f92c6bdc Remove circular deps 2021-06-14 13:28:21 +02:00
Bhargava Shastry f234c8e53f Use shared_ptr refs where possible. 2021-06-14 13:28:21 +02:00
Bhargava Shastry 5b7f413bb2 Disable SMT checker to silence memory leak reports from z3 2021-06-14 13:28:21 +02:00
Bhargava Shastry 914fcedb77 Potential fixes to memory leaks 2021-06-14 13:28:21 +02:00
Bhargava Shastry 07fdbb309b Introduce typed expressions. 2021-06-14 13:28:17 +02:00
Bhargava Shastry 23edc14398 Introduce contract inheritance 2021-06-14 13:28:12 +02:00
Bhargava Shastry ac6753a46e Introduce assignment operations. 2021-06-14 13:28:08 +02:00
Bhargava Shastry f76157bc20 Destroy state properly 2021-06-14 13:28:03 +02:00
Bhargava Shastry eb83ebf1bd Do not apply mutation if it is too large. 2021-06-14 13:28:03 +02:00
Bhargava Shastry 542395289c Fix bug in call statement generator 2021-06-14 13:28:03 +02:00
Bhargava Shastry a9a80213b3 Add scoped variables 2021-06-14 13:28:03 +02:00
Bhargava Shastry 0e15a794d8 Introduce function call statements. 2021-06-14 13:28:03 +02:00
Bhargava Shastry 0000bb0eea Do not generate nested unchecked blocks; add typed literals. 2021-06-14 13:27:58 +02:00
Bhargava Shastry fdb1bc0b3d Introduce unchecked basic blocks. 2021-06-14 13:27:58 +02:00
Bhargava Shastry 86fec73a8c Implement block nesting depth properly 2021-06-14 13:27:58 +02:00
Bhargava Shastry c87d788f78 Add assignment statement 2021-06-14 13:27:58 +02:00
Bhargava Shastry f6242ef6b7 Add assignment statement. 2021-06-14 13:27:58 +02:00
Bhargava Shastry 4b40b40bb6 Remove deprecated SMTChecker pragma. 2021-06-14 13:27:54 +02:00
Bhargava Shastry a115e61be6 Add block statement 2021-06-14 13:27:50 +02:00
Bhargava Shastry 46bac2377f Fix bug in function output params 2021-06-14 13:27:45 +02:00
Bhargava Shastry ef29a5e287 Add function output params 2021-06-14 13:27:45 +02:00
Bhargava Shastry 49bdc1571e Make contract function types external 2021-06-14 13:27:45 +02:00
Bhargava Shastry bbd451dd16 Add function I/O params. 2021-06-14 13:27:45 +02:00
Bhargava Shastry 31ec048f76 Add types. 2021-06-14 13:27:41 +02:00
Bhargava Shastry abb931b186 Resolve imported symbols 2021-06-14 13:27:37 +02:00
Bhargava Shastry a4504b286d Add exports 2021-06-14 13:27:37 +02:00
Bhargava Shastry 6d2c990117 Add function 2021-06-14 13:27:32 +02:00
Bhargava Shastry 10a416c4a8 Contract changes 2021-06-14 13:27:28 +02:00
Bhargava Shastry b3b72a2b91 Add contract 2021-06-14 13:27:28 +02:00
Bhargava Shastry d86136679a Solidity fuzzer: Add simple import statements and test/source state. 2021-06-14 13:27:24 +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
Alex Beregszaszi 8fb7a18800 Small refactorings for isoltest 2021-04-22 01:04:34 +01:00
Leonardo 7bbf3a694b Merge pull request #11261 from ethereum/smt_choose_target 
[SMTChecker] Add option to choose contracts to be analyzed
 2021-04-21 13:11:33 +02:00