Skip to content

GitLab

Open
Created by arun-babu@arun-babu

[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!

Edited by arun-babu
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information