Pavel Iatchenii

Hello @nemequ and @mr-c, I am not quite sure how contributing to SIMDe goes at present. However, I would like to dedicate myself to that and start with this little...

Not entirely sure if these failing jobs are due to my change. Can someone look at these?

The following point has nothing to do with the main problem. But I am just wondering whether it would be more precisely to model such simple POSIX functions as `abs`,...

@251 > `abs` and `labs` are both in uclibc. Yes, that's what I wanted to know, thanks. Just was a little surprised by concretization in the default configuration.

> If one doesn't want to use uclibc for some reason, we also have klee-libc (in runtime/) which would be the right place to add such implementations. That's a good...

Hi, I am also in the process of adjusting KLEE to C++ containers in my mind. In general, implementation of std::string and std::vector are implementation defined. However, you may create...

That would be unfortunate to miss this great extension which is supposed to greatly increase the coverage and error detection. Do you have any plans with respect to extension's support?

> LGTM, but it would be nice to have a test case in `test/Intrinsics` (or enhance an existing one in that directory) Fully agree, it would be. I considered that,...

> it would be useful to have at least one test covering each of them. Agree, this may be done later, in a separate follow-up request. So far, due to...

The same check was not successful as in #1377 . Is it known temporarily issue?