Bhargava Shastry
|
cb4925f4cf
|
Add clang build and test CIs
|
2019-09-24 18:19:26 +02:00 |
|
chriseth
|
45583895fc
|
Merge pull request #7473 from ethereum/refactorSteps
Refactor Optimiser Steps Interface.
|
2019-09-24 15:55:25 +02:00 |
|
chriseth
|
387cb620e9
|
Merge pull request #7452 from ethereum/smt_fix_function_name
[SMTChecker] Fix SMT name for function identifiers
|
2019-09-24 15:55:14 +02:00 |
|
chriseth
|
cda23d63e9
|
Merge pull request #7458 from ethereum/fixErrorMessage
Fix error message about accessing storage pointers.
|
2019-09-24 15:11:03 +02:00 |
|
chriseth
|
9ce1ca2340
|
Refactor Optimiser Steps Interface.
|
2019-09-24 14:52:01 +02:00 |
|
Leonardo Alt
|
83ef34f41d
|
[SMTChecker] Fix SMT name for function identifiers
|
2019-09-24 11:23:10 +02:00 |
|
chriseth
|
973e4ca90a
|
Merge pull request #7453 from ethereum/smt_lib_const_array
[SMTChecker] Add "as const: function to SMTLib2Interface
|
2019-09-24 11:02:34 +02:00 |
|
chriseth
|
ca21659749
|
Fix error message about accessing storage pointers.
|
2019-09-24 10:52:02 +02:00 |
|
chriseth
|
c4208a6ab8
|
Merge pull request #7457 from ethereum/docAndTestsForChainIdAndSelfBalance
Document chainid and selfbalance.
|
2019-09-23 16:31:58 +02:00 |
|
chriseth
|
0478eb1e1b
|
Merge pull request #7459 from ethereum/circle-nightly-060
Enable nightly tests for 0.6.0
|
2019-09-19 15:44:46 +02:00 |
|
chriseth
|
bfc8fd23ac
|
Document chainid and selfbalance.
|
2019-09-19 15:35:37 +02:00 |
|
Erik Kundt
|
839637e472
|
Enables nightly tests for 0.6.0.
|
2019-09-19 13:45:08 +02:00 |
|
Leonardo Alt
|
ed9674be8d
|
[SMTChecker] Add as const function to SMTLib2Interface
|
2019-09-18 22:57:14 +02:00 |
|
chriseth
|
5a950908b6
|
Merge pull request #7432 from ethereum/fix-ossfuzz-build
ossfuzz: Create a separate cmake toolchain file for ossfuzz
|
2019-09-17 15:24:50 +02:00 |
|
chriseth
|
7c774c3a4b
|
Merge pull request #7444 from ethereum/solc-fuzzer-add-evmversion
solc fuzzer: Use randomly chosen evm version
|
2019-09-17 15:23:17 +02:00 |
|
chriseth
|
7190227149
|
Merge pull request #7379 from sifmelcara/ssa-var-after-control-flow-join
[YulOpt] Create SSA variable after control flow joins
|
2019-09-17 15:13:38 +02:00 |
|
Bhargava Shastry
|
9b31d72f43
|
solc fuzzer: Use randomly chosen evm version
|
2019-09-17 13:43:22 +02:00 |
|
mingchuan
|
520a3ccfff
|
[YulOpt] declare SSA var when control flow joins
|
2019-09-17 13:22:02 +02:00 |
|
chriseth
|
5859a69c44
|
Merge pull request #7409 from ethereum/forLoopOutOfBody
[Yul] Move for loop condition out of body.
|
2019-09-17 12:58:56 +02:00 |
|
chriseth
|
1b8fe275ee
|
Merge pull request #7425 from ethereum/fixOrderOpt
Fix order bug in optimizer.
|
2019-09-17 12:58:17 +02:00 |
|
chriseth
|
cbf8acad73
|
Merge pull request #7439 from ethereum/docs_clearing_mappings
[DOCS] Clearing mappings
|
2019-09-17 12:40:11 +02:00 |
|
chriseth
|
203447fa72
|
Merge pull request #7415 from ethereum/clang-dockerfile
Add clang docker file based on ubuntu disco
|
2019-09-17 12:34:19 +02:00 |
|
chriseth
|
c224b09bb3
|
Fix reordering bug in optimizer.
|
2019-09-17 12:33:00 +02:00 |
|
chriseth
|
68986a58b6
|
Test.
|
2019-09-17 12:32:46 +02:00 |
|
chriseth
|
7a79742f3d
|
Out of body again.
|
2019-09-17 12:30:15 +02:00 |
|
Leonardo Alt
|
df0b54d7c7
|
[DOCS] Clearing mappings
|
2019-09-17 11:58:00 +02:00 |
|
chriseth
|
58f0f9dbea
|
Merge pull request #7417 from ethereum/fix-7355-v2
Update logic to track dynamically encoded parameters
|
2019-09-17 11:43:37 +02:00 |
|
chriseth
|
54d936dda8
|
Merge pull request #7428 from microbecode/docs-remove-abs
Fixed code example which utilizes non-existing function 'abs' - the v…
|
2019-09-16 19:21:37 +02:00 |
|
chriseth
|
8b6b1ca986
|
Merge pull request #7426 from aarlt/clang-format
clang-format: add "UseTab: ForIndentation" @ develop
|
2019-09-16 19:20:29 +02:00 |
|
chriseth
|
34a84f3a4f
|
Merge pull request #7431 from ethereum/fix_array_mapping
Fix ICE when pop dyn storage array of mapping
|
2019-09-16 18:59:26 +02:00 |
|
Bhargava Shastry
|
48da5f07a5
|
ossfuzz: Create a separate cmake toolchain file for ossfuzz so that multiple fuzzing backends may be used
|
2019-09-16 18:35:15 +02:00 |
|
Leonardo Alt
|
eab9f65610
|
Fix ICE when pop dyn storage array of mapping
|
2019-09-16 16:33:17 +02:00 |
|
Bhargava Shastry
|
403fb7d88c
|
Update logic to track dynamically encoded parameters
|
2019-09-16 14:25:37 +02:00 |
|
Lauri Peltonen
|
b7e6dc3d05
|
Fixed code example which utilizes non-existing function 'abs' - the value is stated to be negative so abs(a) is the same as -a
|
2019-09-13 21:36:43 +03:00 |
|
Alexander Arlt
|
47fae911f9
|
Add UseTab: ForIndentation
|
2019-09-13 12:40:51 -05:00 |
|
chriseth
|
2d601a4f23
|
Merge pull request #7414 from ethereum/refactorSSA
Refactor SSA transform.
|
2019-09-13 17:55:39 +02:00 |
|
Leonardo
|
34ba617ea6
|
Merge pull request #7133 from ethereum/smt_chc_loop
[SMTChecker] CHC basic loop support
|
2019-09-13 13:34:16 +02:00 |
|
Leonardo Alt
|
e1c238e25f
|
[SMTChecker] Add loop support
|
2019-09-13 12:40:53 +02:00 |
|
Daniel Kirchner
|
5d58c43a5c
|
Merge pull request #7388 from ethereum/isoltest-fallback-functions
[isoltest] Support fallback functions
|
2019-09-13 11:37:42 +02:00 |
|
Erik Kundt
|
e92b921123
|
[isoltest] Adds support for fallback and ether functions.
|
2019-09-13 10:55:46 +02:00 |
|
chriseth
|
02af613fa5
|
Merge pull request #7419 from ethereum/checkspell-fix
Fixes codespell
|
2019-09-12 22:16:18 +02:00 |
|
Erik Kundt
|
ad5fe2bf45
|
Fixes codespell.
|
2019-09-12 22:15:03 +02:00 |
|
chriseth
|
192946c1ba
|
Merge pull request #7413 from ethereum/ossfuzz-link-correctly
Link ossfuzz targets with -fsanitize=fuzzer instead of libFuzzingEngine
|
2019-09-12 20:22:53 +02:00 |
|
chriseth
|
20bada4c60
|
Refactor SSA transform.
|
2019-09-12 20:07:39 +02:00 |
|
chriseth
|
63a8cda1d4
|
Merge pull request #7418 from ethereum/ssaReverseFix
Fix SSA reverser for declaration + self-assignment
|
2019-09-12 20:02:18 +02:00 |
|
Daniel Kirchner
|
f86c5da202
|
Fix SSA reverser in special case of declaration followed by self-assignment.
|
2019-09-12 18:17:13 +02:00 |
|
Bhargava Shastry
|
368ef3d9d8
|
Add clang docker file based on ubuntu disco
|
2019-09-12 16:02:54 +02:00 |
|
chriseth
|
b747c26788
|
Merge pull request #7407 from ethereum/forLoopIntoBodyFix
For loop into body fix
|
2019-09-12 15:31:42 +02:00 |
|
Bhargava Shastry
|
a7c987d931
|
Link ossfuzz targets with -fsanitize=fuzzer instead of libFuzzingEngine supplied by docker image
|
2019-09-12 11:26:05 +02:00 |
|
chriseth
|
4f80117eef
|
Use builtin iszero for for loop condition rewriting.
|
2019-09-12 10:26:16 +02:00 |
|