Nicolas Jeannerod
Nicolas Jeannerod
Thank you very much for your patience! What about this? i rebased on a more recent `main` (as of 3062a89f356bad20cb8de17fb4088b07f899cf6c), promoted the two tests and added a note on the...
So personally, now that the qualified mode is here, I am going to put it EVERYWHERE. However, I can imagine that some people might prefer the unqualified one, and you're...
Amazing; thank you!
I have taken a look at [the syntax of ocamldoc comments](https://ocaml.org/manual/ocamldoc.html#ss:ocamldoc-formatting) (odoc and ocamldoc share the same syntax) and there does not seem to be any way to quote a...
This is current work in progress with Mihaela.
Still current work, by @mihasighi and @Abhinandan-Pal
So by "concrete backend", I guess you mean a "symbolic backend" that always returns only one state that is obtained by the concrete run of the command?
But do we really want sets of states? I don't think that we are eliminating a lot of states by doing so, while we have to compare a lot of...
Also, I was asking about BatSet because I wanted to know why we had Batteries as a dependency. But I don't mind having that dependency, and it is packaged in...
Yes of course, the container has to be abstract. But we could adapt the Why3 driver. I'll give it a try and run some benchmarks to see if we gain...