chriseth
|
aa87a607fd
|
Merge pull request #7152 from ethereum/smt_fix_pointer_cleanup
[SMTChecker] Erase pointer knowledge properly inside loops
|
2019-08-01 12:46:20 +02:00 |
|
Chris Chinchilla
|
32e6e35641
|
Merge pull request #7105 from ethereum/wip/docs-contributing
[DOCS] Add details of team calls
|
2019-07-31 12:26:28 +02:00 |
|
Chris Chinchilla
|
f4f8858e98
|
Add details of team calls
Update docs/contributing.rst
Co-Authored-By: chriseth <chris@ethereum.org>
Update docs/contributing.rst
Co-Authored-By: chriseth <chris@ethereum.org>
|
2019-07-31 11:58:30 +02:00 |
|
Leonardo Alt
|
44d7c6976a
|
Erase pointer knowledge properly inside loops
|
2019-07-30 12:47:50 +02:00 |
|
Mathias L. Baumann
|
092e62f1c9
|
Merge pull request #7140 from ethereum/ci-binonic-gcc-7
fix PPA comp. error and add ubuntu:bionic gcc-7 to CI to test for it.
|
2019-07-30 11:16:41 +02:00 |
|
Mathias Baumann
|
eb2f405466
|
[CI] Add ubuntu:bionic gcc-7
|
2019-07-30 09:27:43 +02:00 |
|
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 |
|