Commit Graph

20368 Commits

Author SHA1 Message Date
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
axeldelamarre
a5d3df532a
Update reference-types.rst 2021-06-10 19:58:11 +02:00
chriseth
1718e58ec1 Set version to 0.8.6. 2021-06-10 17:36:24 +02:00
chriseth
cf00faca33 Properly use AST node name also for secondary location. 2021-06-10 14:40:10 +02:00
chriseth
a4f2e591fe
Merge pull request #11505 from ethereum/prepareChanegloge367
Sort changelog.
2021-06-10 13:04:38 +02:00
chriseth
a10d932991 Update bug list. 2021-06-10 11:08:03 +02:00
chriseth
45bb1e881a Sort changelog. 2021-06-10 11:07:41 +02:00
QQ喵
9a847deaee adopt cameel's version 2021-06-10 09:13:27 +08:00
Daniel Kirchner
98e7b61a37
Merge pull request #11510 from ethereum/removeNondeterministicTest
Remove potentially non-deterministic test case.
2021-06-09 15:42:08 +02:00
Daniel Kirchner
284e8a103f Remove potentially non-deterministic test case. 2021-06-09 14:42:16 +02:00
chriseth
e5500b9f20
Merge pull request #11471 from ethereum/funcdef-unimplemented-modifier
Reports an error on unimplemented modifiers in a function definition.
2021-06-09 13:54:05 +02:00
chriseth
0fff4e6743
Merge pull request #10908 from a3d4/fix-9231-struct-member-names-shadow-type-names
Fix shadowing struct types by struct member names
2021-06-09 13:20:52 +02:00
Christian Parpart
a14ac1923d Fixes ICE when overriding an implemented modifier with an unimplemented one. 2021-06-09 13:15:20 +02:00
Kamil Śliwak
362fc6650d Extra tests for shadowing within function parameter lists 2021-06-09 12:37:12 +02:00
a3d4
f59145f21f Fix shadowing struct types by struct member names 2021-06-09 12:37:11 +02:00
a3d4
70b8b1c834 Do not warn about shadowing parameters in functions without implementation 2021-06-09 12:35:26 +02:00
chriseth
edee67b4cc
Merge pull request #11503 from ethereum/issue-11501
Fix crash in ControlFlowGraph related to free functions.
2021-06-09 12:24:03 +02:00
chriseth
8de575f738
Merge pull request #11442 from ethereum/path-resolution-docs-current-state-v2
Path resolution docs (current state only) v2
2021-06-09 11:27:21 +02:00