Nicolas Osborne

Thanks! The error comes from the fact that the function `show_cmd` is placed before the `type nonrec state` in the generated file and that the former has an empty pattern...

Thanks! I believe the culprit is `Ortac_core.Ocaml_of_gospel.core_type_of_tysymbol`

Would it be an idea to consider ocaml-ci?

I have recently given some though about this issue. I was wondering whether we need (or would it be nice to have) a similar printer for STM? I believe this...

I've been trying to have some numbers comparing bug-triggering with `cpu_relax` and `semaphore`. I have some strange results (no buggy programs found over 10000 while CI is happy with 1000...)...

> * When an exception is raised `mk_prop` does not increase the counter (I think it should) Yes, that works better that way. > * I also noticed that the...

If I understand correctly, we also need some of what is in the `QCheck.arbitrary` and is not in an `Observable.t`: - the generator here: https://github.com/jmid/multicoretests/blob/main/lib/lin_api.ml#L158 - and the shrinker here:...

I missed the evolution of the `Hashtbl.create` issue! Thanks! I'll add it. Regarding the question in which README to put the list, I was indeed wondering. My train of thought...

Thanks for raising this issue! This looks indeed like a really good candidate! It is true that we didn't pay too much attention in the performances of our implementation of...

Thank you! I'll try to take a look this week.