Commit Graph

14823 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
Chris Chinchilla
65f3661d34
Update .github/workflows/stale.yml
Co-Authored-By: chriseth <chris@ethereum.org>
2019-11-19 11:11:06 +01:00
Alex Beregszaszi
92745c7bfc Update EVMC to 7 2019-11-18 23:22:21 +01:00
chriseth
cf13339ad8
Merge pull request #7700 from ethereum/fix-7698
Upgrade evmone to v0.2.0 and adapt fuzzer build
2019-11-18 23:05:57 +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
6d85b63f87
Merge pull request #7726 from ethereum/smt_ice_abidecode
[SMTChecker] Fix ICE in abi.decode
2019-11-18 15:11:27 +01:00
Leonardo Alt
d818746e0c [SMTChecker] Fix ICE in abi.decode 2019-11-18 13:15:10 +01:00
chriseth
79af19db83
Merge pull request #7730 from ethereum/fix-7693
Add chainid and selfbalance opcodes to yul proto fuzzer
2019-11-18 11:23:30 +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
Daniel Kirchner
9115a0f525 Some documentation. 2019-11-15 16:12:29 +01:00
Daniel Kirchner
a0ae36ba70 Add selector member to public and external library functions. 2019-11-15 16:12:29 +01:00
chriseth
6a993152d5
Merge pull request #7660 from ethereum/simplifyPatterns
Simplify patterns.
2019-11-15 14:09:38 +01:00
chriseth
e70ef0b820 Simplify patterns. 2019-11-15 00:34:01 +01:00
chriseth
3e04fd6efa
Merge pull request #7722 from ethereum/release
Merge release back into develop.
2019-11-14 18:34:38 +01:00
chriseth
244a237e88
Merge pull request #7721 from ethereum/bumpVersion0514
Set version to 0.5.14.
2019-11-14 18:34:02 +01:00
chriseth
8f2a94bdff Set version to 0.5.14. 2019-11-14 18:24:16 +01:00
chriseth
5b0b510c02
Merge pull request #7716 from ethereum/develop
Merge develop into release for 0.5.13
2019-11-14 14:55:21 +01:00
chriseth
42338a5964
Merge pull request #7715 from ethereum/prepare0513
Prepare 0.5.13
2019-11-14 13:40:10 +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
7d0b552948 Prepare 0.5.13 2019-11-14 13:20:28 +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
chriseth
d1c6ab8abe
Merge pull request #7589 from ethereum/storage_layout
Output the storage layout of a contract via storageLayout artifact
2019-11-14 11:21:59 +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
chriseth
bc57566037
Merge pull request #7708 from ethereum/cleanupChangelog
Sort changelog.
2019-11-13 18:07:41 +01:00
chriseth
f9b208c85d Sort changelog. 2019-11-13 17:50:10 +01:00
chriseth
c4441bac5b
Merge pull request #7705 from ethereum/list-overloads-7146
List candidates when overload failed
2019-11-13 17:35:37 +01:00
Leonardo
c5cc668be2
Merge pull request #7686 from ethereum/smt_fix_ice_function_as_argument
[SMTChecker] Fix ICE in CHC when function used as argument
2019-11-13 16:50:20 +01:00
Mathias Baumann
15df2b30d7 List candidates when overload failed
fixes #7146
2019-11-13 15:54:36 +01:00
Leonardo Alt
e3652627fd [SMTChecker] Fix ICE in CHC when function used as argument 2019-11-13 15:11:30 +01:00
Chris Chinchilla
c0dc82ced7 Update stale.yml
Update config

Update .github/workflows/stale.yml

Co-Authored-By: Daniel Kirchner <daniel@ekpyron.org>
2019-11-13 14:29:22 +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
chriseth
6f500f0632
Merge pull request #7701 from ethereum/libraryAddresses
Allow obtaining the address of a library by conversion to ``address``.
2019-11-13 12:00:57 +01:00
Christian Parpart
6bef3071e0
Merge pull request #7677 from ethereum/ciSoltestAll
Remove overwritten tag in CI config.
2019-11-13 11:19:11 +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
50a015acf0
Merge pull request #7694 from ethereum/smt_remove_flaky_tests
[SMTChecker] Remove flaky tests until we fix the SMTChecker tests
2019-11-12 14:41:59 +01:00
Leonardo Alt
dc2dff839c [SMTChecker] Remove flaky tests until we fix the SMTChecker tests 2019-11-12 12:58:42 +01:00
chriseth
0059f9dd01
Merge pull request #7692 from ethereum/fix-7690
Remove obsolete installation scripts that were used by the fuzzer build CI
2019-11-12 12:57:33 +01:00
Bhargava Shastry
066626a3e8 Remove obsolete installation scripts that were used by the fuzzer build CI 2019-11-12 11:26:59 +01:00