Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Projects
Debugging
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Gl
Esim
Vl2014
Sv
Vwsim
Fgl
Vl
Syntax
Loader
Warnings
Lint-warning-suppression
Warning-basics
Vl-warning
Vl-warninglist-add-ctx
Vl-warninglist->types
Propagating-errors
Vl-reportcard
Vl-some-warning-fatalp
Clean-warnings
Lint-whole-file-suppression
Vl-udplist-suppress-file-warnings
Vl-programlist-suppress-file-warnings
Vl-packagelist-suppress-file-warnings
Vl-modulelist-suppress-file-warnings
Vl-interfacelist-suppress-file-warnings
Vl-configlist-suppress-file-warnings
Vl-classlist-suppress-file-warnings
Vl-interface-suppress-file-warnings
Vl-program-suppress-file-warnings
Vl-package-suppress-file-warnings
Vl-filename-to-suppress-p-aux
Vl-module-suppress-file-warnings
Vl-config-suppress-file-warnings
Vl-class-suppress-file-warnings
Vl-udp-suppress-file-warnings
Vl-design-suppress-file-warnings
Vl-filename-to-suppress-p
Warn
Vl-warninglist
Vl-remove-warnings
Vl-keep-warnings
Flat-warnings
Vl-some-warning-of-type-p
Vl-msg
Vl-warning-add-ctx
Vl-print-warning
Vmsg-binary-concat
Ok
Vl-trace-warnings
Fatal
Vmsg
Getting-started
Utilities
Printer
Kit
Mlib
Transforms
X86isa
Svl
Rtl
Software-verification
Math
Testing-utilities
Vl-lint
Warnings
Lint-whole-file-suppression
A filter for dropping warnings from whole modules (and other design elements) based on filenames.
Subtopics
Vl-udplist-suppress-file-warnings
(vl-udplist-suppress-file-warnings x suppress-files)
maps
vl-udp-suppress-file-warnings
across a list.
Vl-programlist-suppress-file-warnings
(vl-programlist-suppress-file-warnings x suppress-files)
maps
vl-program-suppress-file-warnings
across a list.
Vl-packagelist-suppress-file-warnings
(vl-packagelist-suppress-file-warnings x suppress-files)
maps
vl-package-suppress-file-warnings
across a list.
Vl-modulelist-suppress-file-warnings
(vl-modulelist-suppress-file-warnings x suppress-files)
maps
vl-module-suppress-file-warnings
across a list.
Vl-interfacelist-suppress-file-warnings
(vl-interfacelist-suppress-file-warnings x suppress-files)
maps
vl-interface-suppress-file-warnings
across a list.
Vl-configlist-suppress-file-warnings
(vl-configlist-suppress-file-warnings x suppress-files)
maps
vl-config-suppress-file-warnings
across a list.
Vl-classlist-suppress-file-warnings
(vl-classlist-suppress-file-warnings x suppress-files)
maps
vl-class-suppress-file-warnings
across a list.
Vl-interface-suppress-file-warnings
Vl-program-suppress-file-warnings
Vl-package-suppress-file-warnings
Vl-filename-to-suppress-p-aux
Vl-module-suppress-file-warnings
Vl-config-suppress-file-warnings
Vl-class-suppress-file-warnings
Vl-udp-suppress-file-warnings
Vl-design-suppress-file-warnings
Vl-filename-to-suppress-p