Compatible with emcc or other compilers?

I was wondering if we were able to use veriwasm with other compilers other than Lucet?

Our goal is to be able to verify wasm binaries compiled by emcc that can run in WAVM or WAMR.

[enjhnsn2]

We are currently working on VeriWasm support for Wasmtime (currently in the testing phase for this), but currently we have no support for emcc. Out of curiosity, why WAVM or WAMR as opposed to say, Wasmtime?

Thanks! We wanted something pthread support and it seems like wasmtime is in the progress of adopting it. Is there a branch I could look at for a "beta" version to use?

[enjhnsn2]

do you mean the version of veriwasm that (sort of) supports Wasmtime? That's in the main branch. I can't make any guarantees about it working, but I'll be debugging it over the next few weeks

I run into this:
unimplemented!("Enable wasmtime feature to use this function");

Then I added the flag to enable it, but it seems like it's still unimplemented. I uncommented the code and it seems I am still missing some things. Will it be able to verify very simple wasmtime binaries or is it still being worked on?