• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • 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-make-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
  • Url-encoding

*vl-url-encode-array*

Array binding character codes to the pre-computed URL encodings.

Definition: *vl-url-encode-array*

(defconst *vl-url-encode-array*
  (compress1 'vl-url-encode-array
             (cons '(:header :dimensions (256)
                             :maximum-length 257
                             :name vl-url-encode-array)
                   (vl-make-url-encode-array 255))))

Value:

((:header :dimensions (256)
          :maximum-length 257
          :name vl-url-encode-array)
 (0 #\% #\0 #\0)
 (1 #\% #\0 #\1)
 (2 #\% #\0 #\2)
 (3 #\% #\0 #\3)
 (4 #\% #\0 #\4)
 (5 #\% #\0 #\5)
 (6 #\% #\0 #\6)
 (7 #\% #\0 #\7)
 (8 #\% #\0 #\8)
 (9 #\% #\0 #\9)
 (10 #\% #\0 #\A)
 (11 #\% #\0 #\B)
 (12 #\% #\0 #\C)
 (13 #\% #\0 #\D)
 (14 #\% #\0 #\E)
 (15 #\% #\0 #\F)
 (16 #\% #\1 #\0)
 (17 #\% #\1 #\1)
 (18 #\% #\1 #\2)
 (19 #\% #\1 #\3)
 (20 #\% #\1 #\4)
 (21 #\% #\1 #\5)
 (22 #\% #\1 #\6)
 (23 #\% #\1 #\7)
 (24 #\% #\1 #\8)
 (25 #\% #\1 #\9)
 (26 #\% #\1 #\A)
 (27 #\% #\1 #\B)
 (28 #\% #\1 #\C)
 (29 #\% #\1 #\D)
 (30 #\% #\1 #\E)
 (31 #\% #\1 #\F)
 (32 #\% #\2 #\0)
 (33 #\% #\2 #\1)
 (34 #\% #\2 #\2)
 (35 #\% #\2 #\3)
 (36 #\% #\2 #\4)
 (37 #\% #\2 #\5)
 (38 #\% #\2 #\6)
 (39 #\% #\2 #\7)
 (40 #\% #\2 #\8)
 (41 #\% #\2 #\9)
 (42 #\% #\2 #\A)
 (43 #\% #\2 #\B)
 (44 #\% #\2 #\C)
 (45 #\-)
 (46 #\.)
 (47 #\% #\2 #\F)
 (48 #\0)
 (49 #\1)
 (50 #\2)
 (51 #\3)
 (52 #\4)
 (53 #\5)
 (54 #\6)
 (55 #\7)
 (56 #\8)
 (57 #\9)
 (58 #\% #\3 #\A)
 (59 #\% #\3 #\B)
 (60 #\% #\3 #\C)
 (61 #\% #\3 #\D)
 (62 #\% #\3 #\E)
 (63 #\% #\3 #\F)
 (64 #\% #\4 #\0)
 (65 #\A)
 (66 #\B)
 (67 #\C)
 (68 #\D)
 (69 #\E)
 (70 #\F)
 (71 #\G)
 (72 #\H)
 (73 #\I)
 (74 #\J)
 (75 #\K)
 (76 #\L)
 (77 #\M)
 (78 #\N)
 (79 #\O)
 (80 #\P)
 (81 #\Q)
 (82 #\R)
 (83 #\S)
 (84 #\T)
 (85 #\U)
 (86 #\V)
 (87 #\W)
 (88 #\X)
 (89 #\Y)
 (90 #\Z)
 (91 #\% #\5 #\B)
 (92 #\% #\5 #\C)
 (93 #\% #\5 #\D)
 (94 #\% #\5 #\E)
 (95 #\_)
 (96 #\% #\6 #\0)
 (97 #\a)
 (98 #\b)
 (99 #\c)
 (100 #\d)
 (101 #\e)
 (102 #\f)
 (103 #\g)
 (104 #\h)
 (105 #\i)
 (106 #\j)
 (107 #\k)
 (108 #\l)
 (109 #\m)
 (110 #\n)
 (111 #\o)
 (112 #\p)
 (113 #\q)
 (114 #\r)
 (115 #\s)
 (116 #\t)
 (117 #\u)
 (118 #\v)
 (119 #\w)
 (120 #\x)
 (121 #\y)
 (122 #\z)
 (123 #\% #\7 #\B)
 (124 #\% #\7 #\C)
 (125 #\% #\7 #\D)
 (126 #\~)
 (127 #\% #\7 #\F)
 (128 #\% #\8 #\0)
 (129 #\% #\8 #\1)
 (130 #\% #\8 #\2)
 (131 #\% #\8 #\3)
 (132 #\% #\8 #\4)
 (133 #\% #\8 #\5)
 (134 #\% #\8 #\6)
 (135 #\% #\8 #\7)
 (136 #\% #\8 #\8)
 (137 #\% #\8 #\9)
 (138 #\% #\8 #\A)
 (139 #\% #\8 #\B)
 (140 #\% #\8 #\C)
 (141 #\% #\8 #\D)
 (142 #\% #\8 #\E)
 (143 #\% #\8 #\F)
 (144 #\% #\9 #\0)
 (145 #\% #\9 #\1)
 (146 #\% #\9 #\2)
 (147 #\% #\9 #\3)
 (148 #\% #\9 #\4)
 (149 #\% #\9 #\5)
 (150 #\% #\9 #\6)
 (151 #\% #\9 #\7)
 (152 #\% #\9 #\8)
 (153 #\% #\9 #\9)
 (154 #\% #\9 #\A)
 (155 #\% #\9 #\B)
 (156 #\% #\9 #\C)
 (157 #\% #\9 #\D)
 (158 #\% #\9 #\E)
 (159 #\% #\9 #\F)
 (160 #\% #\A #\0)
 (161 #\% #\A #\1)
 (162 #\% #\A #\2)
 (163 #\% #\A #\3)
 (164 #\% #\A #\4)
 (165 #\% #\A #\5)
 (166 #\% #\A #\6)
 (167 #\% #\A #\7)
 (168 #\% #\A #\8)
 (169 #\% #\A #\9)
 (170 #\% #\A #\A)
 (171 #\% #\A #\B)
 (172 #\% #\A #\C)
 (173 #\% #\A #\D)
 (174 #\% #\A #\E)
 (175 #\% #\A #\F)
 (176 #\% #\B #\0)
 (177 #\% #\B #\1)
 (178 #\% #\B #\2)
 (179 #\% #\B #\3)
 (180 #\% #\B #\4)
 (181 #\% #\B #\5)
 (182 #\% #\B #\6)
 (183 #\% #\B #\7)
 (184 #\% #\B #\8)
 (185 #\% #\B #\9)
 (186 #\% #\B #\A)
 (187 #\% #\B #\B)
 (188 #\% #\B #\C)
 (189 #\% #\B #\D)
 (190 #\% #\B #\E)
 (191 #\% #\B #\F)
 (192 #\% #\C #\0)
 (193 #\% #\C #\1)
 (194 #\% #\C #\2)
 (195 #\% #\C #\3)
 (196 #\% #\C #\4)
 (197 #\% #\C #\5)
 (198 #\% #\C #\6)
 (199 #\% #\C #\7)
 (200 #\% #\C #\8)
 (201 #\% #\C #\9)
 (202 #\% #\C #\A)
 (203 #\% #\C #\B)
 (204 #\% #\C #\C)
 (205 #\% #\C #\D)
 (206 #\% #\C #\E)
 (207 #\% #\C #\F)
 (208 #\% #\D #\0)
 (209 #\% #\D #\1)
 (210 #\% #\D #\2)
 (211 #\% #\D #\3)
 (212 #\% #\D #\4)
 (213 #\% #\D #\5)
 (214 #\% #\D #\6)
 (215 #\% #\D #\7)
 (216 #\% #\D #\8)
 (217 #\% #\D #\9)
 (218 #\% #\D #\A)
 (219 #\% #\D #\B)
 (220 #\% #\D #\C)
 (221 #\% #\D #\D)
 (222 #\% #\D #\E)
 (223 #\% #\D #\F)
 (224 #\% #\E #\0)
 (225 #\% #\E #\1)
 (226 #\% #\E #\2)
 (227 #\% #\E #\3)
 (228 #\% #\E #\4)
 (229 #\% #\E #\5)
 (230 #\% #\E #\6)
 (231 #\% #\E #\7)
 (232 #\% #\E #\8)
 (233 #\% #\E #\9)
 (234 #\% #\E #\A)
 (235 #\% #\E #\B)
 (236 #\% #\E #\C)
 (237 #\% #\E #\D)
 (238 #\% #\E #\E)
 (239 #\% #\E #\F)
 (240 #\% #\F #\0)
 (241 #\% #\F #\1)
 (242 #\% #\F #\2)
 (243 #\% #\F #\3)
 (244 #\% #\F #\4)
 (245 #\% #\F #\5)
 (246 #\% #\F #\6)
 (247 #\% #\F #\7)
 (248 #\% #\F #\8)
 (249 #\% #\F #\9)
 (250 #\% #\F #\A)
 (251 #\% #\F #\B)
 (252 #\% #\F #\C)
 (253 #\% #\F #\D)
 (254 #\% #\F #\E)
 (255 #\% #\F #\F))

Subtopics

Vl-make-url-encode-array