Christian Parpart
|
b6446aa615
|
Extracting more end-to-end tests.
|
2019-07-22 16:31:46 +02:00 |
|
Christian Parpart
|
a640ca6fe7
|
Merge pull request #7080 from ethereum/isoltest-string-parse-print-fix
[isoltest] Fixes parsing and printing strings with *basic* escape sequences in it.
|
2019-07-22 16:28:40 +02:00 |
|
Christian Parpart
|
d54fbcbe64
|
Merge pull request #7099 from ethereum/release_ppa-script-branch-semantics
Change the way release_ppa.sh treats branches.
|
2019-07-22 16:27:50 +02:00 |
|
Christian Parpart
|
cb5df90251
|
Change the way release_ppa.sh treats branches.
Only release branch is treated release branch,
and everything else is treated a development branch.
|
2019-07-22 14:49:30 +02:00 |
|
Leonardo
|
264035f0dd
|
Merge pull request #7120 from ethereum/smt_refactor_inlining
[SMTChecker] Refactor function inlining
|
2019-07-22 14:20:32 +02:00 |
|
Erik Kundt
|
41fb6f4ff8
|
isoltest: Removes additional whitespaces from output.
|
2019-07-22 13:43:20 +02:00 |
|
Erik Kundt
|
8c51a089d7
|
isoltest: Makes -> declaration optional.
|
2019-07-22 13:25:11 +02:00 |
|
Christian Parpart
|
58d8243921
|
isoltest: Fixes parsing and printing strings with *basic* escape sequences in it.
We explicitly did not implement a fully conformant ANSI escape sequence
parser but only what is needed for now.
|
2019-07-22 11:32:17 +02:00 |
|
Leonardo
|
535553b523
|
Merge pull request #7138 from dm4/fix-typo
Fix typo in Yul optimizer
|
2019-07-22 11:06:35 +02:00 |
|
dm4
|
4dc368db3a
|
Fix typo in Yul optimizer
|
2019-07-22 16:25:47 +08:00 |
|
Leonardo Alt
|
b204f27047
|
[SMTChecker] EncodingContext config flag to accumulate assertions
|
2019-07-19 19:31:25 +02:00 |
|
Leonardo
|
508cf66da2
|
Merge pull request #7062 from ethereum/smt_chc_checker
[SMTChecker] Add skeleton for CHC
|
2019-07-19 15:41:43 +02:00 |
|
Leonardo Alt
|
03cc124f32
|
Add CHC skeleton
|
2019-07-19 11:52:05 +02:00 |
|
chriseth
|
8ba00cd7dd
|
Merge pull request #7126 from ethereum/addComprMSizeTest
Add another test related to stack compressor and msize.
|
2019-07-18 20:12:11 +02:00 |
|
chriseth
|
1d673a3b99
|
Merge pull request #7033 from ethereum/additionalTypeInfo
Additional type info for ABI.
|
2019-07-18 18:33:19 +02:00 |
|
chriseth
|
a30be56c27
|
Additional type info for ABI.
|
2019-07-18 16:54:11 +02:00 |
|
chriseth
|
0c0b5a09cd
|
Add another test related to stack compressor and msize.
|
2019-07-18 16:40:46 +02:00 |
|
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 |
|