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
14,727 Commits 348 Branches 121 Tags
57183d0693a3257c7a34cde06f60ca3b6bac02bc
Commit Graph
3386 Commits
Author SHA1 Message Date
Alex Beregszaszi 9a124101ba Set chain_id in EVMHost 2019-11-19 12:28:18 +01:00
Alex Beregszaszi 6b198a261b Support Istanbul in EVMHost 2019-11-19 12:21:06 +01:00
Alex Beregszaszi 1432f0ad28 Adapt EVMHost for EVMC7 2019-11-19 12:21:03 +01:00
Alex Beregszaszi 92745c7bfc Update EVMC to 7 2019-11-18 23:22:21 +01:00
Bhargava Shastry 62ae015552 docker: Add versioning and edit naming scheme 2019-11-18 15:16:53 +01:00
Bhargava Shastry a8a50c4e0e Upgrade evmone to v0.2.0 and adapt fuzzer build 2019-11-18 15:16:53 +01:00
Leonardo Alt d818746e0c [SMTChecker] Fix ICE in abi.decode 2019-11-18 13:15:10 +01:00
Bhargava Shastry 505b5deaf9 Add chainid and selfbalance opcodes to yul proto converter and enable it 
in the yul proto differential fuzzer.
 2019-11-18 09:26:00 +01:00
chriseth 766309b6e4 Merge pull request #7713 from ethereum/no-lib-instance-7625 
Disallow variables of library types
 2019-11-14 13:39:56 +01:00
Mathias Baumann 0891b9451b Disallow variables of library types 2019-11-14 13:20:31 +01:00
chriseth a667384517 Merge pull request #7712 from ethereum/fixIstanbulAsmParsing 
Fix assembly parsing by passing evm version.
 2019-11-14 13:20:15 +01:00
chriseth b099374d8c Fix assembly parsing by passing evm version. 2019-11-14 13:06:36 +01:00
chriseth 8d46f39643 Merge pull request #7707 from ethereum/smt_ice_implicit_conversion 
[SMTChecker] Fix ICE in string literal to fixed bytes conversion
 2019-11-14 11:52:58 +01:00
chriseth f6191a7183 Merge pull request #7709 from ethereum/overloadMsgForMagic 
Reconstruct function definition for magic variables in overload error message.
 2019-11-14 11:24:54 +01:00
Leonardo Alt 5f43b8dbeb Output the storage layout of a contract via storageLayout artifact 2019-11-14 10:19:17 +01:00
chriseth 06588cde76 Reconstruct function definition for magic variables in overload error message. 2019-11-14 10:13:22 +01:00
Leonardo Alt 8efacfb545 [SMTChecker] Fix ICE in string literal to fixed bytes implicit conversion 2019-11-13 22:25:18 +01:00
Leonardo Alt e3652627fd [SMTChecker] Fix ICE in CHC when function used as argument 2019-11-13 15:11:30 +01:00
chriseth c0cf96cbc1 Merge pull request #7699 from ethereum/test-require-str 
Test `require` with string literals
 2019-11-13 12:20:23 +01:00
Mathias Baumann c74b1daef2 Test require with string literals 
fixes #6651
 2019-11-13 12:01:25 +01:00
Daniel Kirchner ce7268272d Allow obtaining the address of a library by conversion to `address`. 2019-11-12 17:09:13 +01:00
chriseth a7e133b95c Merge pull request #7696 from ethereum/semanticsTestsLibraryDeployment 
Add support for external libraries to extracted semantics tests.
 2019-11-12 15:50:36 +01:00
Daniel Kirchner c7e3318dba Add support for external libraries to extracted semantics tests. 2019-11-12 15:19:04 +01:00
Leonardo Alt dc2dff839c [SMTChecker] Remove flaky tests until we fix the SMTChecker tests 2019-11-12 12:58:42 +01:00
Leonardo Alt b323134ef0 [SMTChecker] Update test expectations for z3 4.8.6 2019-11-11 18:43:59 +01:00
chriseth a5f0422dcc Merge pull request #7662 from ethereum/cmakeNoGlobInTests 
Do not rely on cmake's GLOB for test/
 2019-11-10 15:28:11 +01:00
Leonardo Alt 5dacaf57bc Fix ICE in FixedBytes IndexAccess 2019-11-08 17:29:40 +01:00
Daniel Kirchner 25a933a906 Do not rely on cmake's GLOB for test/ 2019-11-08 16:12:42 +01:00
chriseth a081b720b9 Merge pull request #7587 from ethereum/abiv2-returndata-fuzz 
Abiv2 returndata fuzz
 2019-11-07 15:03:14 +01:00
Alex Beregszaszi 18542ebf31 Use evmc_load_and_configure to support passing EVMC options 2019-11-07 10:42:41 +00:00
Alex Beregszaszi 882cd3e285 Update EVMC to 6.3.1 2019-11-07 10:41:14 +00:00
Alex Beregszaszi f77d7c2dc7 Ensure that EVMC capability is checked after loading evmone 2019-11-07 00:27:46 +00:00
Bhargava Shastry 9772cc44a0 abiv2 proto fuzzer: Fuzz return data coding 2019-11-06 23:42:10 +01:00
chriseth aa8de4404e Merge pull request #7610 from ethereum/fix-7472 
yul proto fuzzer: Increase step limit for optimized code
 2019-11-06 21:11:51 +01:00
Leonardo Alt 10e70b8603 [SMTChecker] Support inheritance and resolve overrides 2019-11-06 11:00:06 +01:00
chriseth 081845d775 EWasm binary transform. 2019-11-05 19:58:55 +01:00
Leonardo Alt c5e081dc8c [SMTChecker] Refactor CHC loops and add if blocks 2019-11-05 09:28:59 +01:00
Bhargava Shastry 6a55949c04 yul proto fuzzer: Increase step limit upper bound for optimized code 2019-11-04 18:38:56 +01:00
chriseth 60b97bfb43 Fix test that resulted from merge conflict. 2019-11-04 18:06:43 +01:00
Leonardo 1eac3d1d83 Merge pull request #7582 from ethereum/smt_multid_array_assignment 
[SMTChecker] Support assignments to m-d arrays and mappings
 2019-11-04 17:37:33 +01:00
chriseth e7c4378ce7 Merge pull request #7516 from ethereum/abiv2-proto-struct 
Abiv2 proto struct
 2019-11-04 17:04:16 +01:00
chriseth 62aa20137c Merge pull request #7600 from ethereum/TypeConversionOnTheFly 
[WASM] Inject type conversions on the fly if needed.
 2019-11-04 16:20:57 +01:00
Bhargava Shastry 04becb9458 Minor refactoring 2019-11-04 15:47:04 +01:00
Bhargava Shastry 12ed08eddb Place upper bound number on number of array dimensions 2019-11-04 15:47:04 +01:00
Bhargava Shastry 3cfeca33c1 Abiv2 proto fuzzer: Refactor and add support for structs 2019-11-04 15:47:04 +01:00
chriseth 08cf616157 Merge pull request #7609 from ethereum/fix-7608 
yul proto fuzzer: Catch exception early and propagate termination reason
 2019-11-04 13:29:50 +01:00
chriseth 8337de5189 [WASM] Inject type conversions on the fly if needed. 2019-11-01 15:44:39 +01:00
chriseth 8780f2d595 Merge pull request #7604 from ethereum/datasizeOffsetSingle 
[WASM] datasize and dataoffset only return a single value.
 2019-11-01 15:39:50 +01:00
chriseth cca7f01199 Tests for conditional unsimplifier 2019-11-01 14:07:25 +01:00
chriseth ce87f11885 Test updates 2019-11-01 14:01:56 +01:00