Bhargava Shastry
79f1917422
yul proto fuzzer: Refactor dataoffset/size specification
2020-02-11 13:58:36 +05:30
Bhargava Shastry
59e7206c8f
yul proto fuzzer: Support boolean literal generation
2020-02-10 20:48:29 +05:30
chriseth
5de3379d82
Merge pull request #8238 from ethereum/yul-syntax-tests
...
Implement yul syntax tests
2020-02-05 15:15:41 +01:00
Mathias Baumann
fc10e701fc
Implement yul syntax tests
2020-02-05 14:58:34 +01:00
chriseth
48933df18d
Add some missing wasm functions.
2020-02-04 22:44:08 +01:00
chriseth
a7624ffc45
Implement i32 builtins for the interpreter.
2020-02-04 22:44:08 +01:00
cameel
5fbc4d4afa
[yulopti] Automate printing of the usage banner
...
- This now displays internal step names rather than human-readable ones but the internal ones are readable enough and it's not something worth creating another map.
- Options in the banner are now aligned in columns and thus easier to read.
2020-02-03 12:22:47 +01:00
cameel
4129c27495
[yulopti] Replace hard-coded step list with OptimiserSuite's maps
2020-02-03 12:22:47 +01:00
chriseth
2afcfec77b
Merge pull request #8220 from ethereum/remove-var-name-cleaner-from-optimiser-suite-step-list
...
Remove var name cleaner from optimiser suite step list
2020-01-30 17:58:43 +01:00
cameel
ed5210490d
[yulopti] Run disambiguator after VarNameCleaner
...
- This is a trivial change and it makes it safe to use in combination with other step.
2020-01-30 17:35:27 +01:00
chriseth
fbe5bb0cce
Parse default dialect and omit when printing.
2020-01-29 17:25:25 +01:00
chriseth
457cdecf6f
Merge pull request #8135 from ethereum/fix-get-options-7112
...
TestFramework: Merge Options.h into Common.h
2020-01-29 16:05:55 +01:00
Mathias Baumann
00e4d13975
TestFramework: Merge Options.h into Common.h
2020-01-29 12:27:05 +01:00
Bhargava Shastry
8cbe1d4b1d
yul proto fuzzer: Make function call generation optional
2020-01-24 12:31:43 +05:30
Bhargava Shastry
a335fed189
yul proto fuzzer: Add EVM version field
2020-01-24 12:31:20 +05:30
Bhargava Shastry
9befb4bdf0
yul proto fuzzer: Do not generate infinite for loops and limit total
...
number of for loops per test program to two
2020-01-20 16:27:01 +05:30
cameel
bf5e62931d
fixup! [yulopti] Fix typo: (f)flatten -> (f)latten
2020-01-17 12:38:45 +01:00
cameel
49ca1f8534
[yulopti] Add missing ConditionalUnsimplifier to the list of available optimizations
2020-01-17 08:01:39 +01:00
cameel
4262eebdc4
[yulopti] Fix typo: (f)flatten -> (f)latten
2020-01-17 08:01:31 +01:00
Alex Beregszaszi
3c88d295b3
Remove FixedHash(unsigned) constructor
2020-01-16 16:18:08 +00:00
chriseth
9d9a7ebe25
Merge pull request #7765 from ethereum/fix-7626
...
yul proto fuzzer: permit variable declarations inside for-init block
2020-01-15 11:21:23 +01:00
Christian Parpart
abb9f1eed7
CMake: Renaming devcore static library to solutil (to match source code paths)
2020-01-13 15:52:46 +01:00
Bhargava Shastry
49a05b5935
Permit variable declarations inside for init block
2020-01-13 16:17:33 +05:30
Daniel Kirchner
61652366ab
Fix indentation
2020-01-08 10:42:19 +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
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
Alex Beregszaszi
9c27e98b83
Rename EWasmBuiltinInterpreter to EwasmBuiltinInterpreter
2019-12-19 11:36:08 +00:00
Alex Beregszaszi
47a8e5fbd1
Fix getExternalCodeSize in the Yul Ewasm interpreter
2019-12-18 22:54:34 +00: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
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
Alex Beregszaszi
7d60cc1729
Fix tracing LOG instruction in the Yul Ewasm interpreter
2019-12-18 13:35:05 +00:00
Alex Beregszaszi
2a808e4f32
Add trace for unreachable in Yul Ewasm translation tests
2019-12-15 13:28:38 +00:00
Bhargava Shastry
f5bd483dfa
yul proto fuzzer: Target default evm version
2019-12-11 16:52:00 +01:00
Christian Parpart
8682af2216
libsolc: Overhauls memory management.
2019-12-11 15:17:39 +00:00
chriseth
f6916a637e
Merge remote-tracking branch 'origin/develop' into develop_060
2019-12-09 17:16:58 +01:00
Leonardo Alt
225041738e
Add SMTCheckerTest for isoltest
2019-12-09 15:32:08 +01:00
chriseth
f7fc42d8c3
Merge pull request #7826 from ethereum/develop
...
Merge develop into develop_060
2019-11-28 13:37:19 +01:00
chriseth
301215f186
Merge pull request #7461 from sifmelcara/licm
...
[YulOpt] Implement loop-invariant code motion
2019-11-28 12:00:19 +01:00
mingchuan
db60d123d0
[YulOpt] Implement loop-invariant code motion
2019-11-28 11:59:29 +01:00
chriseth
1ebcc757e1
Merge remote-tracking branch 'origin/develop' into develop_060
2019-11-27 19:14:08 +01:00
Paweł Bylica
38a20190f4
test: Use evmc::VM directly
...
The evmc::VM works as a RAII wrapper similarly to unique_ptr, so there is no point in using additional unique_ptr.
2019-11-27 18:53:02 +01:00
Bhargava Shastry
ea9e849ee4
Use pointer to string for efficiency
2019-11-26 17:12:56 +01:00
Bhargava Shastry
41bdc9b673
yul proto fuzzer: Generalize variable references
2019-11-26 17:12:56 +01:00
