Daniel Kirchner
|
8fe27ac4b4
|
Add Dockerfile for an Emscripten build environment and use it for CI runs.
|
2020-05-14 18:14:47 +02:00 |
|
chriseth
|
b71a3f1f1d
|
Merge pull request #8939 from ethereum/updateZ3
Update z3 to version 4.8.8.
|
2020-05-14 16:36:49 +02:00 |
|
chriseth
|
33d8d83820
|
Merge pull request #8940 from ethereum/release
Merge release back into develop.
|
2020-05-14 16:20:57 +02:00 |
|
chriseth
|
9aa50fe5c3
|
Merge pull request #8938 from ethereum/setversionto069
Set version to 0.6.9.
|
2020-05-14 16:20:38 +02:00 |
|
Daniel Kirchner
|
af87d39bd6
|
Update osx deps script.
|
2020-05-14 14:53:38 +02:00 |
|
chriseth
|
61c746a575
|
Merge pull request #8873 from ethereum/picosha2
Update picosha2 from upstream
|
2020-05-14 14:33:56 +02:00 |
|
chriseth
|
1b86f27002
|
Merge pull request #8935 from ethereum/moveScopesIntoResolver
Move scopes into resolver.
|
2020-05-14 14:20:58 +02:00 |
|
Daniel Kirchner
|
0303902173
|
Update smt test expectations.
|
2020-05-14 14:12:01 +02:00 |
|
Daniel Kirchner
|
b56536aeb2
|
Update Docker images.
|
2020-05-14 14:12:01 +02:00 |
|
Daniel Kirchner
|
a7f6a4bee6
|
Update PPA scripts.
|
2020-05-14 14:12:01 +02:00 |
|
chriseth
|
79e62f6600
|
Set version to 0.6.9.
|
2020-05-14 13:58:00 +02:00 |
|
chriseth
|
53bec48d36
|
Merge pull request #8937 from mijovic/sol2YulNewByteN
[Sol->Yul] Enabling new bytes(n)
|
2020-05-14 13:56:19 +02:00 |
|
chriseth
|
0bbfe45376
|
Merge pull request #8936 from ethereum/develop
Merge develop into release for 0.6.8.
|
2020-05-14 13:53:00 +02:00 |
|
chriseth
|
e751a1c23d
|
Move scopes into resolver.
|
2020-05-14 13:16:47 +02:00 |
|
Djordje Mijovic
|
472fb21ee0
|
[Sol->Yul] Enabling new bytes(n)
|
2020-05-14 12:55:14 +02:00 |
|
chriseth
|
f83ef2300b
|
Merge pull request #8933 from ethereum/prepare068
Sort and copyedit changelog.
|
2020-05-14 12:39:48 +02:00 |
|
chriseth
|
a16a8c6123
|
Sort and copyedit changelog.
|
2020-05-14 12:36:04 +02:00 |
|
chriseth
|
a6d0067bde
|
Merge pull request #8918 from ethereum/wasmBr
Binary transform for br and br_if.
|
2020-05-14 11:55:29 +02:00 |
|
chriseth
|
6308ca4a22
|
Binary transform for br and br_if.
|
2020-05-14 11:30:19 +02:00 |
|
chriseth
|
504b8d29c9
|
Merge pull request #8907 from ethereum/licenseIdentifier
Check for SPDX license identifiers.
|
2020-05-14 01:21:24 +02:00 |
|
chriseth
|
ca9dee4d6e
|
Merge pull request #8932 from ethereum/evmc
Update EVMC to 7.2.0 and enable Berlin support
|
2020-05-14 01:19:20 +02:00 |
|
Alex Beregszaszi
|
c9745ea101
|
EVMHost: enable support for Berlin
|
2020-05-13 22:56:11 +01:00 |
|
Alex Beregszaszi
|
7353804252
|
EVMHost: simplify code using new evmc features
|
2020-05-13 22:56:11 +01:00 |
|
Alex Beregszaszi
|
098cfd333f
|
Update EVMC to 7.2.0
|
2020-05-13 22:29:35 +01:00 |
|
chriseth
|
d33b67b3c2
|
Add license tags to documentation snippets.
|
2020-05-13 22:16:34 +02:00 |
|
chriseth
|
bcc4bbcad7
|
Update test extraction script to recognize license identifier.
|
2020-05-13 22:16:34 +02:00 |
|
chriseth
|
0148525aee
|
Documentation changes.
|
2020-05-13 22:16:34 +02:00 |
|
chriseth
|
1700bdc4ad
|
Merge pull request #8925 from ethereum/abiEncodeCalldataSlice
Allow abi encoding array slices without casting.
|
2020-05-13 18:55:16 +02:00 |
|
Daniel Kirchner
|
97296d8622
|
Allow ABI encoding for array slices without explicit casts.
|
2020-05-13 18:20:07 +02:00 |
|
Alexander Arlt
|
af44c05f1a
|
Add new test.
|
2020-05-13 18:16:59 +02:00 |
|
Alexander Arlt
|
52b9a92ff8
|
Update existing tests.
|
2020-05-13 18:16:59 +02:00 |
|
chriseth
|
3872a1f000
|
Add support for SPDX license identifiers.
|
2020-05-13 18:16:59 +02:00 |
|
chriseth
|
7928987faf
|
Merge pull request #8874 from ethereum/formattingBug
Escape backslashes when formatting
|
2020-05-13 17:55:25 +02:00 |
|
Mathias Baumann
|
820fdd9bf7
|
Escape backslashes when formatting
|
2020-05-13 17:08:37 +02:00 |
|
chriseth
|
e9446475bb
|
Merge pull request #8924 from ethereum/arraySliceBug
Fix array slice bug.
|
2020-05-13 16:06:28 +02:00 |
|
Daniel Kirchner
|
6f04664cfa
|
Disallow array slicing for arrays with dyanmically encoded base types.
|
2020-05-13 15:52:22 +02:00 |
|
chriseth
|
aca700497c
|
Merge pull request #8903 from ethereum/exponentiation-bug
Fix exponentiation bug
|
2020-05-13 15:49:23 +02:00 |
|
Harikrishnan Mulackal
|
47e9a13e8a
|
Fix exponentiation bug
|
2020-05-13 13:53:06 +05:30 |
|
chriseth
|
b2122d479f
|
Merge pull request #8915 from a3d4/partfix-5819-remove-erroroccurred-flag
Remove a dedicated error flag from DeclarationTypeChecker and other classes
|
2020-05-12 20:18:33 +02:00 |
|
a3d4
|
02d1f8c41a
|
Remove a dedicated error flag from DeclarationTypeChecker
|
2020-05-12 18:13:17 +02:00 |
|
chriseth
|
cccf16ec35
|
Merge pull request #8840 from ethereum/fixSourceLocation
Fix source location of yul variable declarations without value.
|
2020-05-12 17:45:36 +02:00 |
|
chriseth
|
7da453014d
|
Fix source location of yul variable declarations without value.
|
2020-05-12 17:45:19 +02:00 |
|
chriseth
|
efd2f63c2c
|
Merge pull request #8706 from ethereum/solProtoSkeleton
ossfuzz: Add sol proto fuzzer skeleton
|
2020-05-12 17:15:23 +02:00 |
|
chriseth
|
901b421bb8
|
Merge pull request #8910 from ethereum/natspec-return-bug
Bug that ignored return tag when no other devdoc tags were present
|
2020-05-12 16:47:07 +02:00 |
|
Harikrishnan Mulackal
|
095e17f7f9
|
Bug that ignored return tag when no other devdoc tags were present
|
2020-05-12 20:05:22 +05:30 |
|
Mathias Baumann
|
d5d9ff6513
|
Update picosha2 from upstream
|
2020-05-12 15:25:22 +02:00 |
|
chriseth
|
b014b89edc
|
Merge pull request #8906 from ethereum/test-function-cast-value-set
Test for function with value setting
|
2020-05-12 13:23:26 +02:00 |
|
chriseth
|
077cab0860
|
Merge pull request #8902 from a3d4/partfix-5819-add-more-error-ids
Add error IDs to OverrideChecker, BMC and ContractLevelChecker
|
2020-05-12 13:22:42 +02:00 |
|
Harikrishnan Mulackal
|
170291f738
|
Merge pull request #8904 from ethereum/error-id-ignore-folders
[error_id] Only walk into a given set of directories
|
2020-05-12 16:20:33 +05:30 |
|
Harikrishnan Mulackal
|
c29d76f8f2
|
Test for function with value setting
|
2020-05-12 15:21:13 +05:30 |
|