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
18,281 Commits 348 Branches 121 Tags
22b31054b67d90cf1078355ea9e5b7a97d6b94e0
Commit Graph
18281 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth 22b31054b6 Merge pull request #10174 from ethereum/storeInternalFunctions 
Implement internal functions in storage.
 2020-11-03 09:56:12 +01:00
Đorđe Mijović e0529989da Merge pull request #10180 from ethereum/convertDuringStoring 
[SolYul] Convert properly during storing.
 2020-11-03 08:42:14 +01:00
chriseth 129b095b09 Implement internal functions in storage. 2020-11-02 23:10:03 +01:00
chriseth 49bd3f2af4 Convert properly during storing. 2020-11-02 21:15:34 +01:00
Leonardo c83d8fae41 Merge pull request #10120 from ethereum/smt_fix_push_lvalue 
[SMTChecker] Fix internal error when array.push() is used as = LHS
 2020-11-02 14:07:20 +00:00
Leonardo Alt e38d0db683 [SMTChecker] Fix internal error when array.push() is used as LHS of assignment 2020-11-02 13:32:53 +00:00
chriseth 1e812e7acc Merge pull request #10171 from RishiGondkar/patch-1 
Update README.md
 2020-11-02 13:43:11 +01:00
chriseth 0ad8273033 Merge pull request #10175 from cakesoft-khushi/cakesoft-khushi-patch-1 
Update installing-solidity.rst
 2020-11-02 13:42:30 +01:00
Leonardo b2f0c329e8 Merge pull request #10139 from ethereum/smt_fix_inherited_vars 
[SMTChecker] Fix inherited state vars for BMC
 2020-11-02 12:33:27 +00:00
cakesoft-khushi 3d65bbed70 Update installing-solidity.rst 2020-11-02 18:02:36 +05:30
Leonardo Alt 94e2506132 Fix inherited state vars for BMC 2020-11-02 11:42:39 +00:00
Leonardo 7f1f192f8d Merge pull request #10149 from blishko/issue-10034 
[SMTChecker] Creating Verification targets in two stages.
 2020-11-02 11:41:49 +00:00
chriseth fc5d303c24 Merge pull request #10164 from ethereum/ewasm-docs 
Mark ewasm output as supported
 2020-11-02 10:19:36 +01:00
RishiGondkar be1d7e27c6 Update README.md 
Fixed a few errors in the wordings of README.md file
 2020-11-02 08:58:22 +05:30
Alex Beregszaszi 883d4629cd Mark ewasm output as supported 
And use proper Ewasm name capitalization
 2020-10-30 19:45:04 +00:00
Martin Blicha c1a57ffbfe [SMTChecker] More precise creation of verification targets. 2020-10-30 19:11:28 +01:00
chriseth be02db4950 Merge pull request #10083 from ethereum/copyByteArray 
Copy byte array
 2020-10-29 19:14:55 +01:00
chriseth ef503f180c New test. 2020-10-29 18:53:15 +01:00
chriseth 6ec5612f35 Enable more tests. 2020-10-29 18:53:15 +01:00
chriseth 1066af3b98 Copy byte array to storage. 2020-10-29 18:53:15 +01:00
chriseth 14d7ca49c0 Rename function. 2020-10-29 18:53:15 +01:00
chriseth b6f7640801 Merge pull request #10146 from ethereum/stop-after-parsing-script 
Fix test/stopAfterParseTests.sh for macos.
 2020-10-29 18:15:22 +01:00
chriseth ace810b078 Merge pull request #10137 from ethereum/fixedBytesOps 
[Sol->Yul] Bit operations for fixed bytes types.
 2020-10-29 18:04:07 +01:00
chriseth f215042cf6 Fix style. 2020-10-29 17:35:55 +01:00
chriseth 26e3954d5c Merge pull request #10153 from ethereum/yul-move-astimport 
Move AsmJsonImporter from libsolidity to libyul
 2020-10-29 16:42:27 +01:00
Alex Beregszaszi 1e7dcb0bbf Use yulAssert instead of astAssert 2020-10-29 14:21:12 +00:00
Alex Beregszaszi e4133815e9 Remove explicit yul:: namespacing in AsmJsonImporter 2020-10-29 14:07:43 +00:00
Alex Beregszaszi 1ab6340828 Move AsmJsonImporter from libsolidity to libyul 
It is next to AsmJsonConverter now and interdependencies are shrunk.
 2020-10-29 14:06:34 +00:00
Đorđe Mijović 3bb35d80ff Merge pull request #10150 from ethereum/isoltestStorageEmpty 
Empty storage option for isoltest.
 2020-10-29 15:02:36 +01:00
chriseth 3b8c038647 Empty storage option for isoltest. 2020-10-29 13:55:07 +01:00
chriseth 80071d59c5 Merge pull request #10135 from ethereum/ewasm-oob 
[ewasm] Terminate on out-of-bounds access in EwasmInterpreter
 2020-10-29 11:55:47 +01:00
Alex Beregszaszi bcd31daf94 [ewasm] Terminate on out-of-bounds access in EwasmInterpreter 2020-10-29 10:26:41 +00:00
Alexander Arlt ff7c47a1f3 Fix test/stopAfterParseTests.sh for macos. 2020-10-28 17:59:56 -05:00
chriseth f42280f5c9 Merge pull request #10140 from ethereum/isoltestfunctioncallkind 
Refactor isoltest function call kind.
 2020-10-28 19:56:26 +01:00
chriseth d00ef95a72 Refactor isoltest function call kind. 2020-10-28 19:04:24 +01:00
chriseth d190c4f1d4 Merge pull request #10130 from ethereum/docs-abi-encoding-interval-corrections 
[docs] Interval corrections in ABI encoding spec
 2020-10-28 18:13:42 +01:00
chriseth 0c12b2e53a Bit operations for fixed bytes types. 2020-10-28 18:04:54 +01:00
chriseth 2dbb283ff5 Merge pull request #10136 from ethereum/fixMoveBug 
Fix move bug.
 2020-10-28 18:00:30 +01:00
chriseth b18d5ab257 Fix move bug. 2020-10-28 17:21:08 +01:00
Đorđe Mijović cfc1eb0029 Merge pull request #10132 from ethereum/smt_docs_types 
Update SMT types docs
 2020-10-28 16:30:58 +01:00
Leonardo Alt 7d9c080050 Update SMT types docs 2020-10-28 13:31:33 +00:00
Kamil Śliwak cfc878f8a5 docs/abi-spec.rst: There are 256 possible values for uint8 enums 2020-10-28 13:33:30 +01:00
Kamil Śliwak bc85439576 docs/abi-spec.rst: Note about zero-length fixed-size arrays 2020-10-28 13:33:17 +01:00
chriseth 7b26c099b3 Merge pull request #10122 from ethereum/ewasm-interpreter 
[ewasm] Fix EwasmBuiltinInterpreter to follow the specs
 2020-10-28 13:11:44 +01:00
chriseth fb40f29594 Merge pull request #10133 from ethereum/asm-error-codes 
Split error codes for EVM opcodes
 2020-10-28 13:00:23 +01:00
Alex Beregszaszi 6b2942e7f0 [ewasm] Properly touch memory in EwasmInterpreter 2020-10-28 11:57:18 +00:00
Alex Beregszaszi 9dc5ceae94 [ewasm] Implement "create" properly in EwasmInterpreter 2020-10-28 11:57:18 +00:00
Alex Beregszaszi 62028c90f0 [ewasm] Overhaul memory handling in EwasmInterpreter 
Introduce writeMemory and read/writeBytes32/Address helpers.
Fix read/writeU128/U256 to be little-endian.
Update each instruction to follow the specification.
 2020-10-28 11:57:18 +00:00
Alex Beregszaszi 24d8c2ed90 Split error codes for EVM opcodes 2020-10-28 11:45:46 +00:00
chriseth 9b353103b4 Merge pull request #10121 from ethereum/ewasm-stop 
[ewasm] Implement stop() in EVM->Ewasm translator
 2020-10-28 12:41:17 +01:00