[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] Floating-point support in csmith

I guess the real question is whether Jacek's extension is something that is generally useful to a large fraction of Csmith users. If so, then taking on a big dependency would be worth it, otherwise not. If we can make the boost dependency optional and the code isn't too invasive then of course we can have the best of both worlds.

In general the conflict here is between research software, which tends to accumulate a lot of bits and pieces and weirdnesses, and production software that we try to keep streamlined and clean. As an example of the latter, if anyone has installed Redis, you've seen what an exceptionally clean piece of production-grade open source software looks like: you just download it and type "make" and this always works.

Ally and Jacek, I wonder if you could comment a bit on the general usefulness of this extension? Has it been working well for you and is it something that a lot of Csmith users would appreciate?

Overall I think that moving Csmith forward to attack new domains like FP and C++ is what we should be doing, but we don't want to make Csmith a pain for existing users.

Offtopic, it would be great if we could get C++ generation fixed. Csmith in C++ mode is fairly often not compilable C++98 and is very often not compilable C++11. And while Csmith may never generate things like class hierarchies, it could easily be extended to generate some parts of C++.