• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
        • Warnings
        • Primitives
        • Use-set
        • Syntax
        • Getting-started
        • Utilities
        • Loader
        • Transforms
        • Lint
          • Vl-lintconfig-p
          • Lucid
          • Skip-detection
          • Vl-lintresult-p
          • Lint-warning-suppression
          • Condcheck
          • Selfassigns
          • Leftright-check
          • Dupeinst-check
          • Oddexpr-check
          • Remove-toohard
            • Vl-modulelist-remove-toohard
            • Vl-modinstlist-remove-toohard
            • Vl-initiallist-remove-toohard
            • Vl-gateinstlist-remove-toohard
            • Vl-assignlist-remove-toohard
            • Vl-alwayslist-remove-toohard
            • Vl-module-remove-toohard
            • Vl-atom-toohard
            • Vl-design-remove-toohard
            • Vl-op-toohard-p
            • *toohard-ops*
              • *not-toohard-ops*
            • Qmarksize-check
            • Portcheck
            • Duplicate-detect
            • Vl-print-certain-warnings
            • Duperhs-check
            • *vl-lint-help*
            • Lint-stmt-rewrite
            • Drop-missing-submodules
            • Check-case
            • Drop-user-submodules
            • Check-namespace
            • Vl-lint
          • Mlib
          • Server
          • Kit
          • Printer
          • Esim-vl
          • Well-formedness
        • Sv
        • Fgl
        • Vwsim
        • Vl
        • X86isa
        • Svl
        • Rtl
      • Software-verification
      • Math
      • Testing-utilities
    • Remove-toohard

    *toohard-ops*

    Operators that we don't think we'll be able to handle.

    Definition: *toohard-ops*

    (defconst *toohard-ops*
      (list :vl-mintypmax :vl-partselect-pluscolon
            :vl-partselect-minuscolon :vl-funcall
            :vl-syscall :vl-hid-dot
            :vl-index :vl-select-colon
            :vl-select-pluscolon :vl-select-minuscolon
            :vl-scope :vl-with-colon
            :vl-with-index :vl-with-minuscolon
            :vl-with-pluscolon :vl-stream-left
            :vl-stream-left-sized :vl-stream-right
            :vl-stream-right-sized :vl-tagged
            :vl-binary-cast :vl-pattern-multi
            :vl-pattern-type :vl-pattern-keyvalue
            :vl-pattern-positional :vl-keyvalue
            :vl-unary-preinc :vl-unary-predec
            :vl-unary-postinc :vl-unary-postdec
            :vl-binary-assign :vl-binary-plusassign
            :vl-binary-minusassign :vl-binary-timesassign
            :vl-binary-divassign :vl-binary-remassign
            :vl-binary-andassign :vl-binary-orassign
            :vl-binary-xorassign :vl-binary-shlassign
            :vl-binary-shrassign :vl-binary-ashlassign
            :vl-binary-ashrassign :vl-inside
            :vl-valuerange :vl-valuerangelist))