Alastair Reid

Partial support was added in #101 which supports one thread. This allows us to work with thread-safe libraries in a single-threaded environment.

Iterators are surprisingly complex - lots of method calls. See the expansion at the bottom of [this page](https://doc.rust-lang.org/std/keyword.for.html) With Rust optimization enabled, this goes away - but at low optimization...

@fshaked IIRC, this was due to exceeding the bound during bounded verification combined with a confusing or unclear error message. If this is correct, can you update this issue and...

Your comment crossed paths with a PR that just landed that improves the docker/build system. In particular, we now use +nightly in the docker/init script that rebuilds all the tools....

wrt this change ``` [target.'cfg(verify)'.dependencies] -propverify = { path="/home/rust-verification-tools/propverify" } +propverify = { path="../propverify" } ``` What we really want to do here is to use `path="$RVT_DIR/propverify"` but, unfortunately, Cargo...

We have held off on doing that because the code is still all experimental, changes in a tool often needs matching changes in a crate (and vice versa) so building...

Thanks for the report. It looks like the first issue is due to Ubuntu having a slightly different set of packages (or names for packages??) on Arm than on x86....

The SSE register return issue was due to us thinking that it was possible to disable SSE2 when compiling Rust - as a way of ensuring that there are no...

Note: @fshaked pointed out that, instead of using `-vvvvvv` and then grovelling through the output produced, it is better to use the flag '--script commands.sh' to generate a file containing...

Note that rustc is now based on LLVM12 and that KLEE has a LLVM12 pull request: [1389](https://github.com/klee/klee/pull/1389)