Css_html | |
Metrics | Metrics plugin. |
Metrics_acsl | Visitor to compute various metrics about annotations |
Metrics_base | Tag functions handling html tags for Format |
Metrics_cabs | Metrics computing on Cabs |
Metrics_cilast | In the definitions below, setting argument |
Metrics_coverage | In the definitions below, setting argument |
Metrics_gui | GUI utilities for Metrics |
Metrics_parameters | |
Metrics_pivot | Nothing is exported. |
Register | Register the plugin in the Frama-C kernel. |
Register_gui | Extension of the Frama-C GUI for the plugin. |