Commit Graph

20385 Commits

Author SHA1 Message Date
Bhargava Shastry
3481a402d7 [ci skip] Add magic expressions such as keccak256/ripemd etc. 2021-06-14 14:44:27 +02:00
Bhargava Shastry
66ee8a647e Introduce member access statements on address types. 2021-06-14 13:28:52 +02:00
Bhargava Shastry
bec78e58bf Introduce require/assert statements. 2021-06-14 13:28:52 +02:00
Bhargava Shastry
8cbdd1fc2f Introduce vardecl and for stmts. 2021-06-14 13:28:47 +02:00
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
chriseth
1bb65f80ef
Merge pull request #11495 from gqqnbig/patch-1
can not prefix with ``this.``
2021-06-14 13:21:58 +02:00
chriseth
b016302d49
Merge pull request #11515 from ethereum/fixNameSecondary
Properly use AST node name also for secondary location.
2021-06-14 11:30:39 +02:00
QQ喵
38af5180ac
Update docs/introduction-to-smart-contracts.rst
good for me

Co-authored-by: chriseth <chris@ethereum.org>
2021-06-14 17:24:23 +08:00
chriseth
a2afe8baeb
Merge pull request #11529 from ethereum/whitelist-big-sur-in-codespell
Add "Big Sur" to codespell whitelist
2021-06-14 11:20:12 +02:00
Kamil Śliwak
379a04f257 Add "Big Sur" to codespell whitelist 2021-06-14 11:13:19 +02:00
chriseth
2fefd27acf
Merge pull request #11516 from ethereum/sol086
Set version to 0.8.6.
2021-06-14 10:19:11 +02:00
chriseth
2a98f82ba4
Merge pull request #11519 from axeldelamarre/doc/make-it-obvious
[docs] Make Array example easier to understand
2021-06-14 10:00:36 +02:00
chriseth
db52d9c95f
Merge pull request #11502 from ethereum/removeEVMAssembly
Remove EVMAssembly.
2021-06-14 09:54:05 +02:00