More Wasm exports needed for Galois crucible tool support.

SPY / haskell-wasm

Haskell WebAssembly Toolkit

Other

151 stars 24 forks source link

More Wasm exports needed for Galois crucible tool support. #16

Closed kquick closed 3 years ago

kquick commented 3 years ago

This covers some additional elements that we need for our Crucible verification suite to support WASM (https://github.com/GaloisInc/crucible). This was the path of minimal changes, but we're happy to explore alternative export mechanisms if you'd prefer.

SPY commented 3 years ago

Hi @kquick Your changes seems pretty reasonable. Obviously absence of Structure module in exposed list was a mistake.

Thanks!