		Search-engine friendly clone of the ACL2 documentation.

Clean-warnings

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

See vl-clean-warnings, which sorts warnings and eliminates duplicates. This transform just extends vl-clean-warnings throughout a design.

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-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-udp-clean-warnings: Clean warnings in a vl-udp-p.