Reduc plugin
Index of types
Index of exceptions
Index of values
Index of modules
Directory plugins
Section Reduc
(in plugins/reduc)
Collect
Hyp
Misc
Reduc
Reduc_options
Register
Register the plugin in the Frama-C kernel.
Value2acsl