Leonardo Alt
|
382df64899
|
[SMTChecker] Refactor function inlining
|
2019-07-18 13:56:48 +02:00 |
|
rocky
|
f9b631f410
|
A pragma version mismatch is not fatal if ...
error recovery is desired.
Fixes #7085
|
2019-07-17 19:01:01 -04:00 |
|
chriseth
|
15cba9163e
|
Merge pull request #7106 from ethereum/fixMSizeOpt
Do not overwrite allowMSizeOptimization
|
2019-07-17 18:17:40 +02:00 |
|
Leonardo
|
dd031edd59
|
Merge pull request #7031 from ethereum/smt_chcsolver_interface
[CHCChecker] Add CHCSolverInterface and Z3CHCSolverInterface
|
2019-07-17 17:29:53 +02:00 |
|
chriseth
|
c62a63a091
|
Merge pull request #7117 from ethereum/abiv2-add-bool-dynarray
Add bool type and array of bool and dynamic byte types to abiv2 protobuf spec/converter
|
2019-07-17 15:08:07 +02:00 |
|
chriseth
|
815eeb9abb
|
Merge pull request #7069 from ethereum/protoevmonefuzz
Add evmc and host interface implementation and use it in abiv2 fuzzer
|
2019-07-17 15:07:19 +02:00 |
|
Chris Chinchilla
|
61e3ca67cb
|
Merge pull request #7097 from ethereum/docs-jp-trans
[DOCS] Add Japanese translation
|
2019-07-17 15:06:39 +02:00 |
|
Bhargava Shastry
|
90d421352a
|
Add bool type and array of bool and dynamic byte types
|
2019-07-17 14:24:43 +02:00 |
|
Bhargava Shastry
|
00bca77cca
|
Updated evmc to version tracked by evmone v0.1.0
|
2019-07-17 14:24:27 +02:00 |
|
Christian Parpart
|
810a0de1aa
|
Add evmc and host interface implementation. Modify fuzzer harness to make use of evmc host/vm.
|
2019-07-17 10:55:33 +02:00 |
|
chriseth
|
4fa7800458
|
Merge pull request #7109 from ethereum/ossfuzz-ci-update
Update fuzzing deps in docker image and ossfuzz CMakeLists.txt
|
2019-07-17 10:51:28 +02:00 |
|
chriseth
|
35ca6ef5ed
|
Merge pull request #7079 from ethereum/moreWorkOnEWasmExternals
Add eWasm externals.
|
2019-07-16 14:51:43 +02:00 |
|
chriseth
|
a0a0a34a21
|
Do not overwrite allowMSizeOptimization
|
2019-07-16 10:13:18 +02:00 |
|
chriseth
|
147f736f10
|
Merge pull request #7092 from ethereum/isoltest-parser-linenumbers
[isoltest] Add source location to parser errors
|
2019-07-16 10:09:15 +02:00 |
|
chriseth
|
a5a7983af7
|
Merge pull request #7093 from ethereum/isoltest-constructor-value
[isoltest] Pass ether along with constructor
|
2019-07-16 10:03:46 +02:00 |
|
Bhargava Shastry
|
5aa571e56f
|
Update fuzzing deps in docker image and ossfuzz CMakeLists.txt
|
2019-07-16 09:10:02 +02:00 |
|
Leonardo Alt
|
71144d0d39
|
[CHCChecker] Add CHCSolverInterface and Z3CHCSolverInterface
|
2019-07-15 17:31:39 +02:00 |
|
chriseth
|
cb13f8f1bf
|
Merge pull request #7104 from ethereum/docs-capped
[DOCS] Reduce line breaks in code comments to help with scrolling
|
2019-07-15 16:59:38 +02:00 |
|
Chris Chinchilla
|
9b22336ce1
|
Reduce line breaks in code comments to help with scrolling
|
2019-07-15 14:33:50 +02:00 |
|
Erik Kundt
|
2a1473fd30
|
Adds line numbers to parser errors in isoltest.
|
2019-07-15 14:16:07 +02:00 |
|
Chris Chinchilla
|
54ed84b90d
|
Add Japanese translation, and order alphabetically
|
2019-07-15 10:49:03 +02:00 |
|
Erik Kundt
|
e269a0ff70
|
Adds constructor calls with ether value to isoltest.
|
2019-07-13 12:42:25 +02:00 |
|
chriseth
|
579bdaddb9
|
Merge pull request #7088 from ethereum/diffLegYul
Document differences between legacy Solidity and Solidity via Yul.
|
2019-07-11 17:59:01 +02:00 |
|
chriseth
|
76d7ea888b
|
Document differences between legacy Solidity and Solidity via Yul.
|
2019-07-11 17:48:06 +02:00 |
|
chriseth
|
6c31a5f3dd
|
Improve formatting.
|
2019-07-11 17:37:23 +02:00 |
|
chriseth
|
e3433aa4eb
|
Add eWasm externals.
|
2019-07-11 17:37:23 +02:00 |
|
chriseth
|
88477bdb8f
|
Merge pull request #7071 from ethereum/checkAsmDataObject
Check availability of data objects already in analysis phase.
|
2019-07-11 11:20:07 +02:00 |
|
chriseth
|
5610d1ab61
|
Merge pull request #7074 from iamchrissmith/constructor-multiple-inheritance
Add example of constructor inheritance and order
|
2019-07-10 18:51:02 +02:00 |
|
chriseth
|
869d69d293
|
Supply full object to stack compressor and Optimizer Suite.
|
2019-07-10 18:49:42 +02:00 |
|
chriseth
|
2a5280faa0
|
Check availability of data objects already in analysis phase.
|
2019-07-10 18:49:42 +02:00 |
|
chriseth
|
f3bdc79187
|
Merge pull request #7075 from ethereum/sol-yul-getter
[Sol->Yul] Implement keccak & getter functions
|
2019-07-10 14:11:27 +02:00 |
|
Mathias Baumann
|
d264e3e0ba
|
[Sol->Yul] Implement getter functions
|
2019-07-10 13:42:39 +02:00 |
|
Leonardo
|
ba922e7638
|
Merge pull request #7076 from ethereum/fixBuildFailureInABIv2ProtoConverter
Adjust call to suffixedVariableNameList post refactoring in ABIv2 pro…
|
2019-07-10 09:37:19 +02:00 |
|
Mathias Baumann
|
37f04976a2
|
[Sol->Yul] Implement keccak256
|
2019-07-09 18:25:07 +02:00 |
|
Bhargava Shastry
|
3b33ff1454
|
Adjust call to suffixedVariableNameList post refactoring in ABIv2 proto fuzzer and slim down dependencies.
|
2019-07-09 18:18:40 +02:00 |
|
Chris Smith
|
d7fe96f81f
|
Add example of constructor inheritance and order
Add an example of how contract inheritance impacts constructor calling
|
2019-07-09 11:37:37 -04:00 |
|
chriseth
|
15eb8fec50
|
Merge pull request #7015 from ethereum/sol-yul-arrays
[Sol->Yul] Implement uint256[] memory arrays
|
2019-07-09 17:34:46 +02:00 |
|
Mathias Baumann
|
0f24fcea17
|
[Sol->Yul] Implement uint256[] memory arrays
|
2019-07-09 15:36:02 +02:00 |
|
chriseth
|
859dbaa2a3
|
Merge pull request #7053 from djudjuu/moveSuffixHelper
move SuffixHelper to StringUtils
|
2019-07-09 14:32:05 +02:00 |
|
djudjuu
|
cafa01cbf6
|
moved SuffixHelper to StringUtils
|
2019-07-09 13:50:07 +02:00 |
|
chriseth
|
479b843067
|
Merge pull request #7048 from ethereum/soltest-refactoring
[isoltest] Types and formatting refactoring
|
2019-07-09 12:50:15 +02:00 |
|
chriseth
|
45cedc09fe
|
Merge pull request #6880 from ethereum/abiv2proto
Abiv2proto
|
2019-07-09 12:20:34 +02:00 |
|
chriseth
|
8d006d2017
|
Merge pull request #7068 from ethereum/asmConstNoValue
Cope with constants without value in inline assembly.
|
2019-07-09 12:13:56 +02:00 |
|
chriseth
|
9cb9021c36
|
Cope with constants without value in inline assembly.
|
2019-07-09 11:12:13 +02:00 |
|
Bhargava Shastry
|
5bc1a68b40
|
ABIv2 proto fuzzer implementation for a limited set of value and non-value types (arrays included).
|
2019-07-09 10:50:43 +02:00 |
|
chriseth
|
04bad01ab1
|
Merge pull request #7063 from ethereum/EndToEndTest-extractions-2
Extracting more end-to-end tests.
|
2019-07-08 16:15:22 +02:00 |
|
Christian Parpart
|
a9a56bc6dd
|
Extracting more end-to-end tests.
|
2019-07-08 16:04:52 +02:00 |
|
Leonardo
|
75eb67c3e0
|
Merge pull request #7050 from ethereum/smt_set_solver
[SMTChecker] EncodingContext's solver needs to be set dynamically
|
2019-07-08 15:19:55 +02:00 |
|
chriseth
|
2bb06561ce
|
Merge pull request #7057 from ethereum/smt_inlining_flag
[SMTChecker] New VariableUsage flag to inline functions
|
2019-07-08 15:09:10 +02:00 |
|
Leonardo Alt
|
96b0c4c148
|
[SMTChecker] New VariableUsage flag to inline functions
|
2019-07-08 14:40:33 +02:00 |
|