Basile Clément
Basile Clément
Turns out this is somewhat rendered useless by #1228 which at least partially explain why I was seeing so little impact here.
Postponing the remaining tasks here to 2.7
Rebased the whole stack.
@Halbaroth as discussed prior to my vacation this is ready for a second pass.
Looks like there are conflict, rebase would be appreciated :)
> I'm not sure why, but the tests do not pass on the CI, but `make runtest-ci` do work on my side. Weird. I can't reproduce either. But on the...
Thanks! Will do another round of review tomorrow if I can find the time and next week otherwise. > I'm not sure it is a good idea though, or we...
I think I'd rather avoid the two modes interlaced in the same function if possible, that sounds very hard to maintain (although maybe it would motivate us to fix the...
> As I spent some time rebasing this PR, I'd rather be sure of what we're going to do. I don't mind keeping it updated while we extract the bugfixes...
> What it does now is to rework all the analysis (removing the smt commands we don't want to be executed twice) when a pop occurs Ah so this uses...