chriseth
|
4ecd46a2e8
|
Clarify scoping with for loops.
|
2019-11-19 16:10:46 +01:00 |
|
Erik Kundt
|
5020e186da
|
Adjusts compilation tests to read-only array length.
|
2019-11-19 16:09:21 +01:00 |
|
Erik Kundt
|
ecaed1030f
|
Makes array length access read-only.
|
2019-11-19 16:09:21 +01:00 |
|
Erik K
|
94272d44aa
|
Merge pull request #7745 from ethereum/develop
Merge develop into develop_060
|
2019-11-19 15:30:31 +01:00 |
|
chriseth
|
6797879128
|
Merge pull request #7647 from ethereum/virtual-5424
Implement virtual keyword
|
2019-11-19 13:21:27 +01:00 |
|
chriseth
|
72ef4242b6
|
Merge pull request #7637 from ethereum/ChrisChinchilla-patch-3
Trial stale issue and PR action
|
2019-11-19 13:17:43 +01:00 |
|
chriseth
|
e383b2bbba
|
Merge pull request #7655 from ethereum/evmc7
Update to EVMC7 and evmone 0.3.0
|
2019-11-19 13:04:56 +01:00 |
|
chriseth
|
2246eaf488
|
Merge pull request #7737 from ethereum/fix-tests-060
Fix syntax tests on 060
|
2019-11-19 12:57:22 +01:00 |
|
Alex Beregszaszi
|
4eccbaa4da
|
Use new docker images (revision 2)
|
2019-11-19 12:41:17 +01:00 |
|
Alex Beregszaszi
|
3570870642
|
Upgrade evmone to v0.3.0 in the docker images
|
2019-11-19 12:41:12 +01:00 |
|
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 |
|
Erik Kundt
|
8faa6ffeaf
|
Adjusts syntax and semantic tests to 0.6.0
|
2019-11-19 12:10:07 +01:00 |
|
chriseth
|
234513d0a4
|
Merge pull request #7735 from ethereum/cmdline-test-fix
Fix CLI test on 060
|
2019-11-19 11:59:35 +01:00 |
|
Erik K
|
564f20086d
|
Merge pull request #7734 from ethereum/smt_fix_060
Fix SMTChecker tests on 060
|
2019-11-19 11:58:54 +01:00 |
|
Erik Kundt
|
5f3fdc2476
|
Fixes failing commandline test.
|
2019-11-19 11:28:42 +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 |
|
Leonardo Alt
|
e500a262ea
|
Fix SMTChecker tests for 060
|
2019-11-19 10:58:59 +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
|
c569a80fb0
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-11-14 18:38:18 +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
|
216e1749f4
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-11-14 13:42:46 +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 |
|
Mathias Baumann
|
caa127e2a8
|
Make `abstract` keyword instead of reserved
|
2019-11-14 11:49:39 +01:00 |
|
Mathias Baumann
|
5b8ff78176
|
Implement virtual keyword
|
2019-11-14 11:49:39 +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 |
|