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,377 Commits 348 Branches 121 Tags
f720cd098fa76f10abc4d971f6e119b319eebdaa
Commit Graph
20377 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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喵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