[klee-dev] A question about klee's support for simd
Cristian Cadar
c.cadar at imperial.ac.uk
Sun Jun 9 20:44:23 BST 2024
Hi,
KLEE has partial support for SIMD instructions. We don't have any plans
to extend it at the moment, but we welcome any contributions.
Best,
Cristian
On 06/06/2024 04:39, komorebi wrote:
> Hello, have you considered adding support for the simd feature in C++
> when you update klee in the future? We are working on an extension of
> the C++ simd library and are looking for a suitable testing tool to see
> if the following klee can support simd in the future.
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
More information about the klee-dev
mailing list