You are not logged in.
I have installed frama-c (20130601-1) from AUR. The package does not include the Jessie plugin that I need. The comments to the package state that this plugin is now with the why prover.
I subsequently installed why3 0.80-1 from AUR, but frama-c still does not show Jessie as available plugin. I have found a jessie subdirectory in the package installation directory but I do not know how to create that plugin and I was also not able to find such information on the net.
Offline