Vitaly Chipounov

To attach tar.xz, just make it a tar.xz.zip

Yes. You will need an abstract method in OSMonitor.h and implement it for each type of OS. Windows/Linux manage TLS differently.

Looks like the plugin doesn't support 64-bit yet.

@FlyRabbit Hi! Make sure that QEMU versions are not mismatched. Also, `s2e image_build` may download pre-built images, which are QEMU 3.0 only. Btw, why do you need to downgrade? Any...

`s2e image_build` has an option to download the image if it is not available locally (i.e., you must delete your existing image first). This option will download the latest images...

Are there existing tools that pre-package programs that way?

Perhaps a first step would be to have bootstrap.sh check dependencies before starting the binary, and killing the state if they are not satisfied, with a clear error message. For...

Also, logging to console seems to slow down multi-core mode by a lot (e.g., see maze demo).

You can update your local branch, then do `git push -f ...` and the PR will be updated.