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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
