• 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
          • Name-database
          • Vl-gc
          • Make-lookup-alist
          • Symbol-list-names
          • Html-encoding
          • Nats-from
          • Redundant-mergesort
          • Longest-common-prefix
          • Vl-edition-p
          • Nat-listp
          • Vl-plural-p
          • Vl-remove-keys
          • Sum-nats
          • Vl-maybe-nat-listp
          • Url-encoding
            • *vl-url-encode-array*
            • Vl-url-encode-chars-aux
            • Vl-url-encode-char
            • Vl-url-encode-chars
            • Vl-url-encode-string
            • Vl-url-encode-string-aux
            • Vl-fast-url-encode-char
          • Fast-memberp
          • Vl-string-keys-p
          • Max-nats
          • Longest-common-prefix-list
          • Character-list-listp
          • Vl-string-list-values-p
          • Vl-character-list-list-values-p
          • Remove-from-alist
          • Prefix-of-eachp
          • Vl-maybe-string-listp
          • Pos-listp
          • Vl-string-values-p
          • String-list-listp
          • True-list-listp
          • Symbol-list-listp
          • Explode-list
          • All-have-len
          • Min-nats
          • Debuggable-and
          • Vl-starname
          • Remove-equal-without-guard
          • String-fix
          • Longer-than-p
          • Clean-alist
          • Anyp
          • Or*
          • Fast-alist-free-each-alist-val
          • And*
          • Not*
          • Free-list-of-fast-alists
          • *nls*
        • Loader
        • Transforms
        • Lint
        • Mlib
        • Server
        • Kit
        • Printer
        • Esim-vl
        • Well-formedness
      • Sv
      • Fgl
      • Vwsim
      • Vl
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Utilities

Url-encoding

Functions for % encoding strings for use in URLs, as described in RFC 3986.

Per RFC 3986, the only unreserved characters are ALPHA, DIGIT, -, ., _, and ~. We implement some functions to percent-encode other characters in character lists and strings.

Subtopics

*vl-url-encode-array*
Array binding character codes to the pre-computed URL encodings.
Vl-url-encode-chars-aux
URL encode a list of characters onto an accumulator in reverse order.
Vl-url-encode-char
URL encode a single character. (slow, logically nice version).
Vl-url-encode-chars
Simple way to URL encode a list of characters.
Vl-url-encode-string
Simple way to URL encode a string.
Vl-url-encode-string-aux
Efficiently way to URL encode a string, in reverse order, without exploding it.
Vl-fast-url-encode-char
URL encode a single character. (fast, array-based version)