[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