Alex Beregszaszi

This builds statically and shared, except shared with coverage for some reason: ``` [23/23] Linking CXX shared library src/libhera.so FAILED: src/libhera.so : && /usr/bin/g++ -fPIC -g --coverage -Wl,--no-undefined -shared -Wl,-soname,libhera.so...

This produces a crash on macos: ``` Executing message in Hera Received 'segmentation fault' signal ```

I think `Binaryen: Skip redundant wasm:: namespace` should be squashed into `Simplify callExport() since the arguments parameter is const now` as its commit log doesn't make sense anymore.

``` Assertion failed: (*currp), function pushTask, file /Users/distiller/build/deps/src/binaryen/src/wasm-traversal.h, line 372. unknown location:0: fatal error: in "GeneralStateTests/stEWASMTests": signal: SIGABRT (application abort requested) /Users/distiller/project/test/tools/libtesteth/TestHelper.cpp:614: last checkpoint ``` This is for a line...

There's a new release 1.38.28, maybe that will work on mac.

Binaryen is at 1.38.30, should try it.

Need to also rebase.

Yep! There is a [wasm-c-api](https://github.com/WebAssembly/wasm-c-api) project underway which seems to be a reasonable prerequisite to this. Otherwise one would need to deal with the large codebase V8 is.

Checked `wabt` and I'm not sure it is easy to do this :( However we could extend chisel to display unknown/invalid symbols.

> but is there any concept of returning "error messages" (in contrast to simple return codes) back from an evmc implementation? Yes, but problem we had here is getting specific...