filipeom
filipeom
This doesn't appear to be trivial, so it might not be a straightforward answer. However, I'll try to give you my best interpretation of why I believe the first output...
> My first feeling: in one file, all the modules are independent (> separate interpretations). This makes sense to me as well. I think I also prefer it this way,...
[088428e](https://github.com/sneeuwballen/benchpress/pull/77/commits/088428ee87279c429796cf27d757f8ea4079eed6) should fix ci
@zapashcanon Can you rebase this? I can't solve the conflicts because I don't want understand what was changed recently, sorry :sweat_smile:
I'll review this once more to check if everything is ok. But probably good to go once https://github.com/ocaml/opam-repository/pull/27861 is accepted.
Ah, so I think the blocker now is https://github.com/ocaml/opam-repository/pull/27852. So we have to wait a little longer
I think this is good to go, I can't quite understand why the debian CI is not passing tho
I'll just throw in my two cents. I generally prefer over-approximating analyses, meaning they might report bugs even when none exist. So here, perhaps the default behaviour should be to...
I think it would be interesting if we could do this. However, I think it's a little hard, and that's why I didn't do it in #371. From #371, `Symbolic_memory_make`...
> What do you mean by a massive slowdown? Is this by comparing two different Owi versions? Between: ```rust let user_name_size = owi_sym::u32_symbol() as usize; owi_sym::assume(user_name_size == 1); // Creating...