• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Community
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Fgl
      • Vwsim
      • Vl
        • Syntax
        • Loader
          • Preprocessor
          • Vl-loadconfig
          • Vl-loadstate
          • Lexer
          • Parser
          • Vl-load-merge-descriptions
          • Vl-find-basename/extension
            • Vl-find-basename/extension-aux
            • Vl-find-highest-priority-extension
            • Vl-split-filename
            • Vl-dirxcache
              • Vl-dirxcache-p
              • Vl-dirxcache-fix
              • Vl-make-dirxcache
              • Vl-dirxcache-equiv
            • Vl-dirxlist-cache
          • Vl-load-file
          • Vl-loadresult
          • Scope-of-defines
          • Vl-find-file
          • Vl-flush-out-descriptions
          • Vl-description
          • Vl-read-file
          • Vl-includeskips-report-gather
          • Vl-load-main
          • Extended-characters
          • Vl-load
          • Vl-load-description
          • Vl-descriptions-left-to-load
          • Inject-warnings
          • Vl-preprocess-debug
          • Vl-write-preprocessor-debug-file
          • Vl-read-file-report-gather
          • Vl-load-descriptions
          • Vl-load-files
          • Translate-off
          • Vl-load-read-file-hook
          • Vl-read-file-report
          • Vl-loadstate-pad
          • Vl-load-summary
          • Vl-collect-modules-from-descriptions
          • Vl-loadstate->warnings
          • Vl-iskips-report
          • Vl-descriptionlist
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
        • Mlib
        • Transforms
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Vl-find-basename/extension

Vl-dirxcache

Fast alist mapping file prefixes to lists of extensions.

This is a cache for speeding up library file finds in the search path. If this directory contains files foo.v and foo.sv, the cache will map the prefix foo to the list of these extensions.

Subtopics

Vl-dirxcache-p
Recognizer for vl-dirxcache.
Vl-dirxcache-fix
(vl-dirxcache-fix x) is an fty alist fixing function that follows the fix-keys strategy.
Vl-make-dirxcache
Make a vl-dirxcache for a directory.
Vl-dirxcache-equiv
Basic equivalence relation for vl-dirxcache structures.