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
19,066 Commits 348 Branches 121 Tags
nonOverlappingMemory
Commit Graph
5464 Commits
Author SHA1 Message Date
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 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 ce50f05fc1 Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-29 16:44:47 +01: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
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 d00ef95a72 Refactor isoltest function call kind. 2020-10-28 19:04:24 +01:00
chriseth e93a84ccd4 Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-28 18:19:31 +01:00
chriseth 0c12b2e53a Bit operations for fixed bytes types. 2020-10-28 18:04:54 +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
Đorđe Mijović 1f50b86aad Merge pull request #10073 from ethereum/smt_format_array_cex 
Format array cex
 2020-10-28 12:39:19 +01:00
Leonardo Alt 25f75ce547 Remove nondet tests 2020-10-28 11:03:42 +00:00
chriseth cc4b44058d Merge pull request #10126 from ethereum/fixIceStructCalldataToStorageSol2Yul 
[Sol->Yul] Fixing ice when copying struct that contains nested array to storage
 2020-10-28 11:46:22 +01:00
Leonardo 07c454949f Merge pull request #10127 from ethereum/fixIceSmtBitwise 
[SMTChecker] Fix ICE when using >>>
 2020-10-28 09:28:18 +00:00
Djordje Mijovic 28f92064b9 [Sol->Yul] Fixing ice when copying struct that contains nested array to storage 2020-10-28 09:28:40 +01:00
Djordje Mijovic 9cc37c3fa4 [SMTChecker] Fix ICE when using >>> 2020-10-28 09:25:14 +01:00
Leonardo Alt 4755cfe157 Fix assignment to contract member access 2020-10-26 14:39:02 +00:00
hrkrshnn 0e30fbbae1 Fix failing SMTChecker test on breaking 2020-10-26 14:01:40 +01:00
Leonardo Alt d3d77e482c Fix ICE on conditions with tuples of rationals 2020-10-23 14:47:53 +01:00
chriseth 20f39ab6e9 Merge pull request #10097 from ethereum/develop 
Merge develop into breaking.
 2020-10-23 10:30:24 +02:00
chriseth 93642f9bfc Enum panic test for pre-byzantium. 2020-10-22 19:25:55 +02:00
chriseth 6d3528b4a7 Update gas costs. 2020-10-22 19:25:55 +02:00
chriseth 60af9d24ff Update tests. 2020-10-22 19:25:55 +02:00
chriseth b559de11ee Ignore return error data for pre-byzantium. 2020-10-22 19:25:55 +02:00
chriseth bfc8e26007 Remove low-level log functions. 2020-10-22 17:50:14 +02:00
Martin Blicha ade3b9951c [SMTChecker] Added support for selector when expression's value is known at compile time 2020-10-22 14:18:52 +02:00
Leonardo Alt b087fa9750 [SMTChecker] Fix ICE implicit conversion string literal -> byte 2020-10-21 22:03:01 +01:00
Martin Blicha f0d81601db [SMTChecker] Adding division by zero checks in the CHC engine 2020-10-21 14:48:33 +02:00
Mathias Baumann a4dc110b38 Fix dependency tracking for abstract contracts for Yul codegen 2020-10-20 16:58:24 +02:00
Mathias Baumann e991465336 Fix dependency tracking for abstract contracts 2020-10-20 16:58:24 +02:00
Leonardo Alt cf35785328 Add unknown message to all verification targets 2020-10-19 20:54:13 +01:00
chriseth 6979952995 Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-19 18:02:50 +02:00
chriseth c9ef727136 New tests. 2020-10-19 16:58:59 +02:00
chriseth e61fa59593 Update existing tests. 2020-10-19 16:58:59 +02:00
chriseth 527c073bb9 Checked arithmetic by default. 2020-10-19 16:58:37 +02:00
Leonardo Alt b67ade5163 Move modelCheckerSettings out of settings in StandardCompiler 2020-10-19 10:39:06 +01:00
Daniel Kirchner 79d9a1ca81 Tests for abi.encode. 2020-10-16 20:24:43 +02:00
Daniel Kirchner e06d4303fb Semantic tests. 2020-10-16 19:40:41 +02:00
Daniel Kirchner 909ce9164a Allow arrays of contract types as type expressions e.g. for abi.decode. 2020-10-16 19:40:41 +02:00
Leonardo eedd12ad1d Merge pull request #10056 from ethereum/smt_fix_develop 
Fix SMT command line test
 2020-10-16 18:37:55 +01:00
Leonardo Alt 289ac23fe6 Fix smt cmdlinetest 2020-10-16 17:58:45 +01:00