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 |
|