Sébastien Hinderer

Results 375 comments of Sébastien Hinderer

Many thanks for your feedback Gabriel and for having taken the time to look into the code. > Here would be my implementation of sequential and parallel composition (untested): [...]...

Gabriel Scherer (2024/10/17 01:01 -0700): > I find your definition of `sequential` a bit harder to think about, > but I suspect that it is mostly equivalent, with the subtlety...

Gabriel Scherer (2024/10/17 01:54 -0700): > I think that the documentation comments I wrote on parallel/sequential > tests are arguably wrong and in any case confusing, because they omit >...

Antonin Décimo (2024/10/16 06:13 -0700): > @MisterDA approved this pull request. Thanks! :)

Gabriel Scherer (2024/10/17 06:07 -0700): > Yeah, I think it's debatable whether we want to return just one > failure explanation or several. Another point that I thought aobout meanwhile...

Thank you! The first URL looked promising, indeed. However, I must admit that my attempts so far have not been successful. Conceptually, what I do not really understand is that...

I simply use `tools/autogen`...

Many thanks for the work done here @MisterDA and thanks as well to @dra27 for the review. I must confess that, for the moment, I have not managed to convince...

Antonin Décimo (2024/11/14 03:57 -0800): > Rebased. @shindere is this good to go? I'm convinced by the two latest commits. Do we really want the first one, though? In one...

Antonin Décimo (2024/11/20 04:28 -0800): > > Do we really want the first one, though? > > I suppose you're referring to [configure: say 'the C compiler' instead > of...