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,211 Commits 348 Branches 121 Tags
bytecode_builtin
Commit Graph
6015 Commits
Author SHA1 Message Date
chriseth 32b8332867 Refactor array decoding. 2021-04-12 13:43:51 +02:00
Bhargava Shastry 033ee0e2bc Permit Yul interpreter vs Evmone storage comparison. 2021-04-12 10:39:23 +02:00
hrkrshnn 382c488edd Fix missing error when events are used without an emit statement. 
Whenever there was a proper invocation of events, the compiler assumed that all the subsequent
invocations were proper.
 2021-04-12 10:23:05 +02:00
Kamil Śliwak 7d37e37d95 cmdlineTests.sh: Fix error code update using the wrong value 2021-04-10 22:58:49 +02:00
Leonardo Alt 8a7e94c06f Keep pragma in smoke test for bytecode compare script 2021-04-08 21:03:39 +02:00
Leonardo Alt ad10bee8f0 update command line tests 2021-04-08 21:03:39 +02:00
Leonardo Alt 0a4afa71bd Update old tests 2021-04-08 21:03:39 +02:00
Leonardo Alt d617ef461e Add new tests 2021-04-08 21:03:38 +02:00
chriseth 0cc0cabd30 Merge pull request #11224 from ethereum/lastAllocationUnbounded 
Use unbounded allocation before returning.
 2021-04-08 19:32:40 +02:00
Daniel Kirchner 96c8123b6b Use unbounded allocation before returning. 2021-04-08 18:37:24 +02:00
hrkrshnn e96a161115 Tests and changelog 2021-04-08 17:06:24 +02:00
chriseth 2856f56525 Merge pull request #10942 from ethereum/returnSlotAllocation 
Delayed return slot allocation.
 2021-04-08 16:42:07 +02:00
chriseth f04adde664 Allow hex string literals in Yul. 2021-04-08 15:03:33 +02:00
chriseth 6d6112a81b Merge pull request #11210 from anurag-git/issue_10738-2 
Use range-v3 loops(transform)
 2021-04-08 14:56:15 +02:00
anurag4u80 b2ca7916aa Replaced boost::adaptors::transformed 2021-04-08 17:38:14 +05:30
Harikrishnan Mulackal c060bd5633 Merge pull request #11211 from ethereum/someTests 
Add some bytecode reference tests.
 2021-04-08 09:29:51 +02:00
Christian Parpart a5cae64a48 Merge pull request #11113 from ethereum/filereader 
Extracts import file reading & remapping logic out of CommandLineInterface into their own classes.
 2021-04-06 22:38:19 +02:00
chriseth 47728a083f Add some bytecode reference tests. 2021-04-06 16:25:02 +02:00
Christian Parpart 3490577140 Extract import-file remapping logic out of CompilerStack into ImportRemapper. 2021-04-06 14:28:53 +02:00
Bhargava Shastry 6f3095a199 Merge pull request #11141 from ethereum/compilation-framework-fuzzer 
Enable multi-source fuzzing.
 2021-04-06 14:00:11 +02:00
Daniel Kirchner 6fc4b04d1d Update test expectations. 2021-04-06 13:41:26 +02:00
Daniel Kirchner 4b0f8383a6 Reuse function argument slots and defer allocation of return variable slots in EVMCodeTransform. 2021-04-06 13:38:05 +02:00
Daniel Kirchner 04a051d380 Add test cases for return slot allocation. 2021-04-06 13:31:22 +02:00
chriseth 98a8640928 Merge pull request #11203 from anurag-git/issue_10738-1 
Use range-v3 loops (reverse, keys, values)
 2021-04-01 12:19:40 +02:00
anurag4u80 bbcdddeed9 Replaced keys, values and reverse with ranges 2021-03-31 23:33:04 +05:30
Djordje Mijovic aeba059192 Fixing auto update for macos. 2021-03-31 16:51:01 +02:00
Martin Blicha 330fb8f4d0 [SMTChecker] Assignment refactoring 2021-03-31 13:36:50 +02:00
Leonardo 78d94737a4 Merge pull request #11188 from blishko/issue-11181 
[SMTChecker] Fix crash when analysing try-catch clauses with function call.
 2021-03-31 11:24:36 +02:00
Mathias Baumann e590a99f39 Detect circular references for library and free functions 2021-03-30 23:06:30 +02:00
chriseth 79d7466e19 NatSpec for errors. 2021-03-30 21:16:58 +02:00
chriseth 517cd17a6f Add errors to the ABI. 2021-03-30 21:16:58 +02:00
chriseth e877e2bba7 Use all referenced errors. 2021-03-30 21:15:46 +02:00
chriseth 1057fd5355 Take revert statement into account in control flow graph. 2021-03-30 21:15:46 +02:00
chriseth d5669696d5 Code generation for errors. 2021-03-30 21:15:46 +02:00
chriseth fb67051467 Revert statement. 2021-03-30 21:15:46 +02:00
chriseth b04b189959 Syntax for custom errors. 2021-03-30 21:15:18 +02:00
Martin Blicha 2d231f1859 [SMTChecker] Changed SMTEncoder::mergeVariables to work regardless which branch has been visited first 2021-03-30 20:35:44 +02:00
Leonardo Alt ba97d6ac4e Add local vars to cex 2021-03-30 17:55:21 +02:00
Leonardo Alt dbd067d6db Report out of bounds index access 2021-03-30 10:28:48 +02:00
chriseth bb49bc5892 Merge pull request #10418 from ethereum/function-specializer 
Function specializer
 2021-03-29 15:48:01 +02:00
hrkrshnn 0100f48e05 FunctionSpecializer: skip specializing recursive functions 
This avoids potential pathological behaviour, like in Ackermann function.
 2021-03-29 11:02:31 +02:00
hrkrshnn 2c75d1dfe4 Isoltest gas update for FunctionSpecializer 2021-03-29 11:02:31 +02:00
hrkrshnn 09998ceb0c Tests for FunctionSpecializer 2021-03-29 11:02:18 +02:00
Bhargava Shastry f3f1ccc34f Fix false positive caused by early termination due to nested expressions. 2021-03-26 13:35:57 +01:00
Đorđe Mijović d75a132f33 Merge pull request #11166 from ethereum/cmdLineTestsDevVersionFix 2021-03-25 19:06:26 +01:00
Djordje MijovicandKamil Śliwak 08993a3282 Enabling running cmd line tests on currently unreleased version. 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2021-03-25 17:11:31 +01:00
Martin Blicha 85358dfe30 [SMTChecker] Do not create targets for contracts that cannot be deployed 2021-03-25 15:38:37 +01:00
Leonardo 7e1be52281 Merge pull request #11165 from blishko/smt-abi-no-args 
[SMTChecker] Fix ICE on ABI functions with no arguments
 2021-03-25 15:21:57 +01:00
Alex Beregszaszi e071884bbf Show proper error for misusing the custom natspec tag 2021-03-25 12:45:37 +00:00
Martin Blicha 5293f05ee3 [SMTChecker] Fix ICE on ABI functions with no arguments 2021-03-25 13:28:29 +01:00