Commit Graph

14695 Commits

Author SHA1 Message Date
Mathias Baumann
d9addbcf49 Fix error in g++7 with -O2 flag 2019-07-29 16:17:41 +02:00
Leonardo
00accd9daa
Merge pull request #7141 from ethereum/smt_fix_json
[SMTChecker] Reset SSA index to 0 instead of increasing in context reset
2019-07-29 10:20:06 +02:00
Leonardo
0197a200cd
Merge pull request #7142 from ethereum/smt_init_numbers
[SMTChecker] Initialize all number types with 0
2019-07-29 10:19:17 +02:00
Mathias L. Baumann
2fdc07c55e
Merge pull request #7145 from ethereum/smt_fix_tuples
[SMTChecker] Fix ICE when inlining function with tuple expression
2019-07-29 10:14:19 +02:00
Leonardo Alt
847f574e22 [SMTChecker] Fix ICE when inlining function with tuple expression 2019-07-26 16:29:29 +02:00
Leonardo Alt
cd5a5b3686 [SMTChecker] Initialize all number types with 0 2019-07-25 15:15:18 +02:00
Leonardo Alt
6bcbeb1d23 [SMTChecker] Reset SSA index to 0 instead of increasing in context reset 2019-07-25 14:16:34 +02:00
Leonardo
4f7fec6911
Merge pull request #7139 from cgrigis/patch-1
Minor typo
2019-07-25 11:41:36 +02:00
cgrigis
7047ff1c3c
Minor typo 2019-07-25 10:58:45 +02:00
Christian Parpart
146993409a
Merge pull request #7081 from ethereum/EndToEndTest-extractions-3
Extracting more end-to-end tests.
2019-07-23 14:04:45 +02:00
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