		Search-engine friendly clone of the ACL2 documentation.

Server

The VL server powers the Module Browser, a web-based interface for viewing Verilog designs.

Vls-commands: A simple command format for interfacing between Lisp and Javascript.
Vl-descriptionlist-summaries: (vl-descriptionlist-summaries x) maps vl-description-summary across a list.
Vls-transdb: Translations database for the VL Server.
File-layout: Where we look for translation data.
Vls-data-p: Data that is available to vls-commands.
Ts-queue: Primitive thread-safe, shared queue.
Vls-showloc
Vls-get-plainsrc
Vl-description->warnings: Get the warnings from most descriptions, or nil if this description doesn't have any warnings (e.g., an import statement, function declaration, ...).
Vl-describe: (vl-describe name x) describes the uses of name in the module x.
Vls-port-table
Vls-describe
Vls-data-from-translation
Vl-find-description-insensitive
Vls-get-warnings
Vls-get-summary
Vls-get-origsrc
Vls-data-origname-reportcard
Vls-get-parents
Vls-get-children
Vls-get-summaries
Vl-ppc-description
Vls-get-desctypes
Vl-description-summary
Start
Vl-descalist->descriptions/types
Stop