Commit Graph

17078 Commits

Author SHA1 Message Date
Daniel Kirchner
633b170f58
Merge pull request #9159 from ethereum/smt_nondet_mod
[SMTChecker] Replace explicit mod by slack variables
2020-06-12 17:05:13 +02:00
Leonardo Alt
3c4e286390 [SMTChecker] Replace wrap mod by slack vars 2020-06-12 14:57:21 +02:00
chriseth
194c2b8c9c Directly determine if experimental feature active. 2020-06-12 12:18:48 +02:00
chriseth
07c1167136 Refactor name and type resolution. 2020-06-12 12:18:02 +02:00
Bhargava Shastry
9264135bef Add tests to validate clearing dirty bits via inline assembly operations 2020-06-12 11:32:15 +02:00
Djordje Mijovic
33e7b24df0 Adding fixes for signedness conversion warnings in libyul
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2020-06-12 10:39:30 +02:00
chriseth
21a9d3dd21
Merge pull request #9191 from ethereum/travisEmscriptenDockerImage
Update travis config to move to next docker image revision.
2020-06-11 22:26:13 +02:00
chriseth
88d1cbbdb0
Merge pull request #9192 from ethereum/release
Merge release back to develop.
2020-06-11 20:39:37 +02:00
chriseth
849c94ec4e
Merge pull request #9190 from ethereum/version611
Set version to 0.6.11.
2020-06-11 20:39:00 +02:00
chriseth
65937ab5c8 Set version to 0.6.11. 2020-06-11 20:24:01 +02:00
Daniel Kirchner
c4464b6dcd Update travis config to move to next docker image revision. 2020-06-11 20:20:22 +02:00
chriseth
f3150a2b34
Merge pull request #9138 from ethereum/conversionWarningFixes2
Fixing conversion errors after adding `-Wconversion` flag
2020-06-11 18:51:56 +02:00
chriseth
00c0fcaffd
Merge pull request #9186 from ethereum/develop
Merge develop into release for 0.6.10
2020-06-11 15:11:19 +02:00
chriseth
bb6d677d12
Merge pull request #9185 from ethereum/prepare0610
Set release date for 0.6.10.
2020-06-11 14:26:21 +02:00
chriseth
0689cda19a
Merge pull request #9116 from ethereum/solYulCleanupFromStorageReference
New test for getters.
2020-06-11 14:08:10 +02:00
chriseth
3c43216a75 Set release date for 0.6.10. 2020-06-11 14:07:00 +02:00
chriseth
012ba9537b
Merge pull request #9184 from ethereum/fixUsingForStorage
Fix using for with explicit reference types.
2020-06-11 14:00:28 +02:00
chriseth
c42373dce4
Merge pull request #9142 from ethereum/wasm-support-for-i32-in-generated-code
Add support for types in Wasm AST and code generation
2020-06-11 13:59:44 +02:00
chriseth
5c71b3fbb0
Merge pull request #9173 from ethereum/fixBoundCalldata
Fix bound functions with calldata parameters.
2020-06-11 13:31:30 +02:00
chriseth
365a3fcbc2
Merge pull request #9183 from ethereum/yulFixStructAlloc
Fix memory struct allocation in Sol->Yul.
2020-06-11 13:08:27 +02:00
chriseth
549c90612c Fix using for with explicit reference types. 2020-06-11 13:04:41 +02:00
Daniel Kirchner
6763234410 More details in bug list. 2020-06-11 12:57:53 +02:00
Daniel Kirchner
73cd009b89 Fix struct allocation in Sol->Yul. 2020-06-11 12:16:45 +02:00
chriseth
d4e3491f35
Merge pull request #9177 from ethereum/fixYulStructMemberAccess
[Sol -> Yul] Fix struct member access for memory and implement for calldata.
2020-06-11 09:41:04 +02:00
Djordje Mijovic
9e92fbccee Refactoring bytesRequired to accept and return size_t 2020-06-11 08:26:57 +02:00
Djordje Mijovic
731b2efc97 Fixing liblangutil conversion warnings 2020-06-11 08:26:57 +02:00
Djordje Mijovic
18a196c21d Fixing Keccak256 conversion warning
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2020-06-11 08:26:57 +02:00
Djordje Mijovic
c8759b8031 Fixing conversion warnings in CommonData.cpp
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2020-06-11 08:26:57 +02:00
Kamil Śliwak
e67f5072df Add support for generating code with i32 variables in text and binary wasm 2020-06-11 02:44:23 +02:00
Kamil Śliwak
6a82d32ef6 Add the ability to store variable types in wasm AST 2020-06-11 02:44:23 +02:00
Kamil Śliwak
840ff40263 Define wasm::Type enum and use it for import parameters and result 2020-06-11 02:44:23 +02:00
Leonardo
d7f29a33b9
Merge pull request #9096 from ethereum/conversionWarningsLibSol
Adding fixes for signedness warnings in libsolidity
2020-06-11 01:06:32 +02:00
Daniel Kirchner
90b66a7362 Fix struct member access for memory and implement for calldata. 2020-06-10 20:01:30 +02:00
chriseth
baabe65a84 Fix bound functions with calldata parameters. 2020-06-10 17:37:59 +02:00
chriseth
2410f0ed5a
Merge pull request #9135 from ethereum/fixReturnParameterLocation
Fixing ICE on calling externally a function that returns calldata pointers
2020-06-10 16:44:38 +02:00
chriseth
81c48e67d1
Merge pull request #9073 from a3d4/partfix-5819-add-error-ids-to-json
Add error IDs to JSON and console output
2020-06-10 15:56:26 +02:00
Djordje Mijovic
e73fe17277 Fixing ICE on calling externally a function that returns calldata pointers
Co-authored-by: chriseth <chris@ethereum.org>
2020-06-10 14:41:45 +02:00
chriseth
4cf4068020
Merge pull request #9167 from ethereum/fixDocExDecode
Fix documentation example.
2020-06-10 14:07:23 +02:00
chriseth
3d115a28fd Fix documentation example. 2020-06-10 14:06:47 +02:00
a3d4
51e64fe0b1 Add error IDs to console output 2020-06-10 13:27:25 +02:00
a3d4
b17915a6ba Add error IDs to JSON 2020-06-10 13:26:51 +02:00
Djordje Mijovic
c6e4943089 Adding fixes for signedness warnings in libsolidity
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2020-06-10 10:41:55 +02:00
chriseth
d2e9b4e946
Merge pull request #9151 from ethereum/wasm-binary-transform-refactor-index-registration
Refactor the index assignment logic in wasm::BinaryTransform
2020-06-10 10:39:33 +02:00
chriseth
0a5d99279d
Merge pull request #9166 from TrentZ/develop
Modify blacklist to blocklist
2020-06-10 10:21:18 +02:00
TrentZ
7eb73b52a1 Rename blacklist for clarity. 2020-06-09 23:43:14 +02:00
chriseth
356cc91084
Merge pull request #9165 from ethereum/refactorType
Rename scope to currentContract.
2020-06-09 19:54:38 +02:00
chriseth
e92758345b
Merge pull request #9161 from ethereum/tweakGrammar
Grammar fixes.
2020-06-09 18:37:41 +02:00
chriseth
ebdd8fd2b0
Merge pull request #9164 from ethereum/refactorInContractKind
Replace inContractKind by libraryFunction.
2020-06-09 18:22:00 +02:00
chriseth
062159214c Rename scope to currentContract. 2020-06-09 18:19:09 +02:00
chriseth
e5c19d8a2c Replace inContractKind by libraryFunction. 2020-06-09 17:56:58 +02:00