Arthur Carcano

Interestingly, it was in my `Cargo.toml` but I hadn't added the `use creusot_contracts`. FWIW: ```rust // this alone works pub fn foo() { } ``` ```rust // this works as...

(this warning appeared in Rust 1.71)

I was a bit unclear: the idea is that you still take a `String` to handle the case where you have to allocate more room, but that that case should...

My bad, I was too focused on `&mut str` and didn't correctly understood you guys were talking about `&mut String`, you are right.

The only ones that can currently be done seems to be clang, and maybe llvm, if using version 16 is fine. Both lld and wabt still have to be explicit...

@zapashcanon : > Do you have approximate numbers on how much faster is it ? Well the previous implementation when run on tests gave ```quote owi: internal error, uncaught exception:...

I also added ctz in a similar vein. @zapashcanon we can see on thursday how to better organize this code

Hi @filipeom ! Very interesting thank you. A few points: 1. First of all, I agree that my current implementations is likely to not be the best one, other possibilities...

Could you rebase on #199?

> It doesn't seem trivial to do here because a solver object allocated in a thread will be collected when the thread finishes (correct me if I'm wrong). Therefore, we...