• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Fgl
      • Vwsim
      • Vl
        • Syntax
        • Loader
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
          • Vl-lint
          • Vl-server
            • Vls-scannedalist-p
            • Vls-loadedalist-p
            • Vls-commands
            • Vls-data-p
            • Vl-server-opts-p
            • Vl-descriptionlist-summaries
            • Vls-transdb
            • Vl-describe
            • Ts-queue
            • Vls-get-plainsrc
            • Vl-description->warnings
            • Vls-showloc
            • File-layout
              • Vl-zipinfo
              • Vl-scan-for-zipinfos-aux
              • Vl-scan-for-zipinfos
              • Vl-zipinfolist
            • Vls-remove-from-scannedalist
            • Vls-describe
            • Vl-server-top
            • Vls-port-table
            • Vl-find-description-insensitive
            • Vls-get-warnings
            • Vls-get-summary
            • Vls-get-origsrc
            • Vl-ppc-description
            • Vls-get-parents
            • Vls-get-children
            • Vls-data-origname-reportcard
            • Vls-data-from-zip
            • Start
            • Vls-make-scannedalist
            • Vls-get-summaries
            • Vls-get-unloaded-json
            • Vls-get-desctypes
            • Vls-scannedalist-to-json
            • Vls-loadedalist-to-json
            • Vl-description-summary
            • *vl-server-help*
            • Vl-descalist->descriptions/types
            • Stop
          • Vl-gather
          • Vl-zip
          • Vl-main
          • Split-plusargs
          • Vl-shell
          • Vl-json
        • Mlib
        • Transforms
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Vl-server

File-layout

Where we look for translation data.

The VL server looks in a particular root directory for its translation data. This directory should contain .vlzip files created by the vl zip command. See the kit for more details. Each .vlzip file knows its name and has a date stamp associated with it. We occasionally rescan this directory to look for new translations.

Subtopics

Vl-zipinfo
Meta information about .vlzip files we find.
Vl-scan-for-zipinfos-aux
Vl-scan-for-zipinfos
Vl-zipinfolist
A list of vl-zipinfo-p objects.