Update wasmi (#1119)

* Update wasmi to 0.4.2

* Add simple benchmarks.
This commit is contained in:
Sergey Pepyakin
2018-11-16 17:16:42 +01:00
committed by Gav Wood
parent a4e5842915
commit 5b28147d27
10 changed files with 39 additions and 38 deletions