zach

Thanks for digging into that! It seems like allowing pre-initialization should be an easy feature to add, I will take a look at that when I get a moment. The...

Thanks for the suggestion! Suppprting Lwt is a great idea, in the past I have used `Lwt_main.run` since performance wasn’t the main concern, but it would be interesting to see...

Thank you for this insight - that experiment sounds like a great idea! I will get that set up and give an update here

This is as far as I got: https://gist.github.com/zshipko/b5e91613621b9b71e2f70dc2ca1552d3 This uses `Lwt.poll` inside Rust's `Future::poll` to resolve the promise. I'm still not sure how this would be used but feel free...

something i noticed looking at this example, is that it runs correctly when I make the main function async: ```typescript export async function main() { ``` this leads me to...

I think this is because rquickjs is a little more strict about types - we have to use BigInt values for Extism pointer parameters. It seems like the option with...

I think `cranelift` is necessary for our needs since it's used by `wasmtime` to generate machine code for Wasm modules. We might be able to get away with disabling the...

> owi: internal error, uncaught exception: Failure("TODO") this is also what's blocking me from experimenting with the concolic backend, i saw there were a few TODOs in https://github.com/OCamlPro/owi/blob/main/src/concolic/concolic.ml but didn't...

@chambart yes, this fixes it for me - thank you!

@milesj - I haven't seen that before, is this using `make` from the root of the repo? It looks like something related to the maturin bindings, you should be able...