 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喵andchriseth
|
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.
v0.8.5
|
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 |
|