Re: [boost] Do Tools Need Formal Reviews?

El 10/10/2024 a las 2:37, Vinnie Falco escribió:

On Wed, Oct 9, 2024 at 10:31 AM Joaquín M López Muñoz via Boost wrote:

I think reviews are useful to improve the quality of submissions, so it is only natural that they can be applied to tools as well going forward. For this tool in particular, its potential usage goes beyond an internal utility for Boost authors, which makes it more sensible that it be reviewed publicly. Either way, the author has explicitly requested the review, which to me should settle all arguments about whether that review should take place or not.

[...] 3. I don't see any tools listed here: https://www.boost.org/doc/libs/ 4. I don't see any tools listed here: https://www.boost.io/libraries/mini/

Their place is https://www.boost.org/doc/libs/release/tools https://www.boost.io/doc/libs/release/tools Joaquin M Lopez Munoz