Metrics plugin

Directory plugins

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 `libc` to `true` will include functions/variables from the C stdlib in the metrics.
Metrics_coverage	In the definitions below, setting argument `libc` to `true` will include functions/variables from the C stdlib in the metrics.
Metrics_gui	GUI utilities for Metrics
Metrics_parameters
Register
Register_gui	This module defines abstraction for Metrics use