		Search-engine friendly clone of the ACL2 documentation.

Clean-warnings

A transform to clean up all the warnings in a design.

The top-level function here is vl-design-clean-warnings. This function simply applies vl-clean-warnings, which sorts a list of warnings and eliminates duplicate warnings, to all of the warnings lists throughout the design.

Subtopics

Vl-interfacelist-clean-warnings: (vl-interfacelist-clean-warnings x) maps vl-interface-clean-warnings across a list.
Vl-programlist-clean-warnings: (vl-programlist-clean-warnings x) maps vl-program-clean-warnings across a list.
Vl-packagelist-clean-warnings: (vl-packagelist-clean-warnings x) maps vl-package-clean-warnings across a list.
Vl-modulelist-clean-warnings: (vl-modulelist-clean-warnings x) maps vl-module-clean-warnings across a list.
Vl-configlist-clean-warnings: (vl-configlist-clean-warnings x) maps vl-config-clean-warnings across a list.
Vl-classlist-clean-warnings: (vl-classlist-clean-warnings x) maps vl-class-clean-warnings across a list.
Vl-udplist-clean-warnings: (vl-udplist-clean-warnings x) maps vl-udp-clean-warnings across a list.
Vl-design-clean-warnings: Clean warnings everywhere throughout a design.
Vl-clean-warnings: Sort and remove duplicates from a list of warnings.
Vl-program-clean-warnings: Clean warnings in a vl-program-p.
Vl-package-clean-warnings: Clean warnings in a vl-package-p.
Vl-interface-clean-warnings: Clean warnings in a vl-interface-p.
Vl-module-clean-warnings: Clean warnings in a vl-module-p.
Vl-config-clean-warnings: Clean warnings in a vl-config-p.
Vl-class-clean-warnings: Clean warnings in a vl-class-p.
Vl-udp-clean-warnings: Clean warnings in a vl-udp-p.