Reduc plugin

Directory plugins

Section Reduc (in plugins/reduc)


Collect
Hyp
Misc
Reduc
Reduc_options
Register

Register the plugin in the Frama-C kernel.

Value2acsl