Timo Savola

See getCanonicalIndirectCallSig in internal/gen/codegen/call.go.

Implement all module validations

1

Some failing assert_invalid spec tests have been disabled. See the TODO in testsuite/spec.go.

Add support for applicable [extensions](https://github.com/WebAssembly/proposals/blob/main/finished-proposals.md) which are or will be used by compilers by default. - [x] [Nontrapping conversions](https://github.com/WebAssembly/nontrapping-float-to-int-conversions/blob/main/proposals/nontrapping-float-to-int-conversion/Overview.md) - [ ] [Bulk memory operations](https://github.com/WebAssembly/bulk-memory-operations/blob/master/proposals/bulk-memory-operations/Overview.md) - [x] memory.copy - [x]...

Also maybe document what the contracts are.

Ideally: - Limit module size so that it's hit before text size limit, regardless of which backend is used for code generation. - Limit wasm function size so that it's...

Encompasses the Gate-specific functions and environment variables, and one or more WASI versions.

- Store filesystem-backed images - Store metadata in database

Currently it's ignored for snapshots by ResolveEntryFunc functions. Removing the export would require finding out the position of the item in the export section and writing the snapshot binary with...

Custom sections (other than gate.buffer and gate.stack) which are between the code and data sections are not included in the snapshot binary.

Would benefit implementation of #34.