Bhargava Shastry
|
17a69bbe90
|
Swap mutated block and if body and switch-case body blocks
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
145a4ee645
|
Swap mutated block and function def block
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
2c48f9a841
|
Add/remove function definition
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
26b3ee91e3
|
Minor code cleanup and added two new mutations: add/remove Function call and vardecl
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
f0ade1b4de
|
Add/remove switch statement mutation
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
fc93d9e5f8
|
Add/remove if statement mutation; also remove first instance and bail in all remove mutations
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
b6f9a2d380
|
Add/remove assignment mutation
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
60930ca119
|
WIP
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
3324762c37
|
Add remove mutations
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
194fbeb5c2
|
Add leave mutation
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
e2efcf222c
|
WIP
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
ec56c785c1
|
yul fuzzer: Add custom mutation routines
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
e32bb74b30
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
bab92118a5
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 22:21:49 +01:00 |
|
Bhargava Shastry
|
4089c2cd55
|
yul proto fuzzer: Make function call generation optional
|
2020-01-07 22:21:24 +01:00 |
|
Bhargava Shastry
|
cdc935a294
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 22:21:24 +01:00 |
|
Bhargava Shastry
|
31ef914d61
|
Change EVMVersion namespace
|
2020-01-07 22:20:56 +01:00 |
|
Bhargava Shastry
|
bb96d871e7
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 21:59:51 +01:00 |
|
Bhargava Shastry
|
b7a9fe2203
|
yul proto fuzzer: Generate at most 2 for loops per program
|
2020-01-07 21:56:08 +01:00 |
|
Bhargava Shastry
|
bd73bfbe05
|
yul proto fuzzer: Do not generate infinite for loops
|
2020-01-07 21:56:08 +01:00 |
|
Bhargava Shastry
|
3764a9f9c9
|
Permit variable declarations inside for init block
|
2020-01-07 21:55:28 +01:00 |
|
Daniel Kirchner
|
70a2902714
|
Merge pull request #8100 from ethereum/deadTestArguments
Disallow dead positional arguments for (i)soltest
|
2020-01-07 16:56:10 +01:00 |
|
Daniel Kirchner
|
be0775da49
|
Merge pull request #8075 from ethereum/refactor-namespaces
Refactor namespaces
|
2020-01-07 16:52:20 +01:00 |
|
Mathias L. Baumann
|
a2141d3be2
|
Merge pull request #7869 from fulldecent/fix-kill
Reduce usage of word kill
|
2020-01-07 16:01:04 +01:00 |
|
Christian Parpart
|
345f9928ab
|
Library libdevcore renamed to libsolutil.
|
2020-01-07 15:51:50 +01:00 |
|
Christian Parpart
|
8ac6258d31
|
lll: Adapted to namespace changes.
|
2020-01-07 15:51:50 +01:00 |
|
Christian Parpart
|
ed45b000d1
|
Adapt tests directory to C++ namespace changes.
|
2020-01-07 15:51:50 +01:00 |
|
Christian Parpart
|
6b23412fae
|
C++ namespace cleanup (except tests).
|
2020-01-07 15:51:50 +01:00 |
|
William Entriken
|
6d068b6331
|
Reduce usage of the word "kill"
|
2020-01-07 11:18:10 +01:00 |
|
Bhargava Shastry
|
49aec64caf
|
abiv2 proto converter: Do not resize dynamic storage arrays by writing to the length field as it is now read only
|
2020-01-06 17:44:42 +01:00 |
|
Daniel Kirchner
|
3e714913a0
|
Disallow positional arguments for (i)soltest instead of ignoring
|
2020-01-06 15:28:20 +01:00 |
|
Leonardo Alt
|
d972a10b4f
|
Review 1
|
2020-01-02 12:43:56 +01:00 |
|
chriseth
|
3994c9135f
|
Tests.
|
2019-12-29 15:53:47 +01:00 |
|
Alex Beregszaszi
|
9c27e98b83
|
Rename EWasmBuiltinInterpreter to EwasmBuiltinInterpreter
|
2019-12-19 11:36:08 +00:00 |
|
Alex Beregszaszi
|
65e59ecd06
|
Rename EWasm/ewasm/eWasm to Ewasm
|
2019-12-19 11:36:08 +00:00 |
|
Alex Beregszaszi
|
8511012e95
|
Merge pull request #8060 from ethereum/yul-interp-fix
Fix getExternalCodeSize in the Yul Ewasm interpreter
|
2019-12-18 23:14:48 +00:00 |
|
Alex Beregszaszi
|
4cebe66f8c
|
Merge pull request #8059 from ethereum/dialectForOpt
Dialect setting for yul optimizer tests.
|
2019-12-18 22:56:35 +00:00 |
|
Alex Beregszaszi
|
47a8e5fbd1
|
Fix getExternalCodeSize in the Yul Ewasm interpreter
|
2019-12-18 22:54:34 +00:00 |
|
chriseth
|
1e59c19166
|
Dialect setting for yul optimizer tests.
|
2019-12-18 21:54:30 +01:00 |
|
rodiazet
|
d867f5339b
|
[WASM] add i64.clz and i64.store8 to Wasm dialect and EWasm interpreter.
dsads
|
2019-12-18 19:51:27 +01:00 |
|
Alex Beregszaszi
|
7effc94f24
|
Rename EVMToEWasmTranslator to EVMToEwasmTranslator
|
2019-12-18 16:57:45 +00:00 |
|
Alex Beregszaszi
|
7d3ccee921
|
Fix implementation of getCodeSize in Ewasm
|
2019-12-18 14:58:28 +00:00 |
|
Alex Beregszaszi
|
b3caf35e88
|
Change writeU256/writeU128/writeAddress not to return anything in Yul Ewasm interpreter
|
2019-12-18 14:58:28 +00:00 |
|
Alex Beregszaszi
|
9f1e8086bb
|
Fix returning code size in Yul Ewasm interpreter
|
2019-12-18 14:58:28 +00:00 |
|
chriseth
|
b74f357c5e
|
Merge pull request #8051 from ethereum/yul-interp-log
Fix tracing LOG instruction in the Yul Ewasm interpreter
|
2019-12-18 15:08:06 +01:00 |
|
Alex Beregszaszi
|
7d60cc1729
|
Fix tracing LOG instruction in the Yul Ewasm interpreter
|
2019-12-18 13:35:05 +00:00 |
|
rodiazet
|
7d8c4c24ee
|
Add arithmetic test cases for most of EVM->Ewasm translator
|
2019-12-18 13:58:03 +01:00 |
|
chriseth
|
4b026fa633
|
Update gas costs.
|
2019-12-18 01:41:32 +01:00 |
|
chriseth
|
b6fc703a27
|
Merge remote-tracking branch 'origin/release' into HEAD
|
2019-12-17 19:47:59 +01:00 |
|
chriseth
|
85a503725c
|
Merge pull request #8015 from ethereum/yul-trace-unreachable
Add trace for unreachable in Yul Ewasm translation tests
|
2019-12-17 17:42:44 +01:00 |
|