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
Warnings
Primitives
Use-set
Typo-detection
Typo-read-lowercase-part
Typo-read-part
Typo-read-uppercase-part
Typo-read-special
Typo-detect-aux
Typo-detect
Typo-find-plausible-typos1
Typo-mismatch-plausibly-typo-p
Typo-partitioning-alist
Typo-partition
Vl-typo-first-mismatch
Typo-partitions-plausibly-typo-p
Vl-typo-count-mismatches
Typo-numbers
*typo-special-substrings-chars*
*typo-numbers*
Vl-wireinfo-alistp
Vl-annotate-vardecllist-with-wireinfo
Vl-useset-report-entry-p
Vl-print-useset-report-entry
Vl-mark-wires-for-module
Vl-split-useset-report
Vl-annotate-vardecl-with-wireinfo
Vl-mark-wires-for-modinstlist
Vl-mark-wires-for-modinst
Vl-mark-wires-for-gateinstlist
Vl-mark-wires-for-gateinst
Vl-mark-wires-for-plainarg
Vl-wireinfo-p
Vl-mark-wires-for-modulelist
Vl-vardecllist-impexp-names
Vl-report-totals
Vl-mark-wires-for-plainarglist
Vl-collect-unused-or-unset-wires
Vl-clean-up-warning-wires
Vl-print-useset-report-top
Vl-mark-wires-for-arguments
Vl-useset-report-p
Vl-star-names-of-warning-wires
Vl-design-use-set-report
Vl-module-impexp-names
Vl-make-initial-wireinfo-alist
Vl-mark-wire-used
Vl-mark-wire-set
Vl-mark-wires-used
Vl-mark-wires-for-assignment
Vl-mark-wires-for-assignlist
Vl-mark-wires-set
Vl-print-useset-report-full-aux
Vl-print-typo-alist
Vl-print-typo-possibilities
Syntax
Getting-started
Utilities
Loader
Transforms
Lint
Mlib
Server
Kit
Printer
Esim-vl
Well-formedness
Sv
Vwsim
Fgl
Vl
X86isa
Svl
Rtl
Software-verification
Math
Testing-utilities
Typo-detection
*typo-numbers*
Definition:
*typo-numbers*
(
defconst
*typo-numbers* '(#\0 #\1 #\2 #\3 #\4 #\5 #\6 #\7 #\8 #\9))