[Plug-in wp] 96-bits floats
Feature request, as I get:
[kernel] Parsing file.c (with preprocessing) [kernel] Plug-in wp aborted: unimplemented feature. You may send a feature request at https://git.frama-c.com/pub/frama-c/issues with: '[Plug-in wp] 96-bits floats'.
I am not sure what this means though!
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information