1V "GNAT Lib v9"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P ZX
13
14RN
15RV NO_ACCESS_SUBPROGRAMS
16RV NO_EXCEPTIONS
17RV NO_IMPLICIT_CONDITIONALS
18RV NO_RECURSION
19RV NO_STANDARD_STORAGE_POOLS
20RV NO_DYNAMIC_SIZED_OBJECTS
21RV NO_IMPLEMENTATION_PRAGMAS
22RV NO_OBSOLESCENT_FEATURES
23RV SPARK_05
24
25U gnat.secure_hashes%b	g-sechas.adb		49511296 NE OL PK
26W gnat%s		gnat.ads		gnat.ali
27W interfaces%s		interfac.ads		interfac.ali
28W system%s		system.ads		system.ali
29
30U gnat.secure_hashes%s	g-sechas.ads		03db701d BN EE NE OL PK
31W ada%s			ada.ads			ada.ali
32W ada.streams%s		a-stream.adb		a-stream.ali
33W gnat%s		gnat.ads		gnat.ali
34W interfaces%s		interfac.ads		interfac.ali
35W system%s		system.ads		system.ali
36
37D ada.ads		20170911084841 76789da1 ada%s
38D a-except.ads		20190108095404 291912d5 ada.exceptions%s
39D a-stream.ads		20190108095404 119b8fb3 ada.streams%s
40D a-tags.ads		20190108095404 491b781d ada.tags%s
41D a-unccon.ads		20170908151217 0e9b276f ada.unchecked_conversion%s
42D gnat.ads		20190108095404 b5988c27 gnat%s
43D g-sechas.ads		20190108095404 3b5ca98e gnat.secure_hashes%s
44D g-sechas.adb		20190108095404 ee89611f gnat.secure_hashes%b
45D interfac.ads		20190108095404 5ab55268 interfaces%s
46D system.ads		20190108095404 c631886f system%s
47D s-exctab.ads		20190108095404 54135002 system.exception_table%s
48D s-parame.ads		20190108095404 48ec542b system.parameters%s
49D s-secsta.ads		20190108095404 20bbe636 system.secondary_stack%s
50D s-soflin.ads		20190108095404 a7318a92 system.soft_links%s
51D s-stache.ads		20190108095404 a37c21ec system.stack_checking%s
52D s-stalib.ads		20190108095404 09bd3940 system.standard_library%s
53D s-stoele.ads		20190108095404 2dc34a04 system.storage_elements%s
54D s-traent.ads		20190108095404 005bf670 system.traceback_entries%s
55X 1 ada.ads
5616K9*Ada 20e8 7|39r6 39r23 8|155r26
57X 3 a-stream.ads
5836K13*Streams 87e16 7|39w10 39r27 8|155r30
5939H9*Root_Stream_Type 70e64 7|195r13 225r13
6042M9*Stream_Element 8|37r32
6144I9*Stream_Element_Offset<long_long_integer> 7|164r36 206r9 206r42 230r23
62. 8|165r30 189r30 284r24 311r42 332r24 351r23
6354A9*Stream_Element_Array(42M9)<44I9> 7|89r23 154r18 164r9 174r14 189r33
64. 217r16 229r23 235r20 8|69r31 128r31 155r38 164r22 180r28 188r22 203r14
65. 222r26 283r26 331r23 350r23 396r53 444r20 462r50 467r18
66X 6 gnat.ads
6734K9*GNAT 57e9 7|45r9 240r5 8|35r14 486r5
68X 7 g-sechas.ads
6945K14*Secure_Hashes 6|34k9 7|240l10 240e23 8|35b19 486l10 486t23
7047A9*Buffer_Type<string>(character)<integer> 48r8 62r16
7155R9*Message_State 55d24 64e14 122r21 214r20 8|42r24 51r22 58r22 77r22 103r22
7255i24*Block_Length{natural} 62r34 8|87r33 110r34
7356i7*Last{natural} 8|87r50 92r21 92r35 94m9 94r19 110r51 114r22 120m9 120r19
74. 237r65 274r36 376r26 378m26
7559m7*Length{9|77M9} 8|229r53 370m20 370r40
7662a7*Buffer{47A9} 8|82r30 83m36 114m12
7773M12 Word 84r49 160r52[114] 8|233r41[7|114] 463r52
7876U22 Swap 76>28 8|474s16
7976m28 X{10|67M9}
8079e7 Hash_Bit_Order{10|91E9} 8|472r41
8182k12*Hash_Function_State 73z12 76z22 79z7 94l8 94e27 114r38 8|456b17 484l8
82. 484t27
8384A12*State(73M12)<integer> 88r19 117r34[114] 121r32[114] 211r31[114] 8|462r30
84. 464r23
8587U17*To_Hash 88>10 89<10 8|276s21[7|114] 462b17 482l11 482t18
8688a10 H{84A12} 8|462b26 463r43 465r25 465r28 465r55
8789a10 H_Bits{3|54A9} 8|462b37 480r25 481m10 481r56
88100i7 Block_Words{natural} 202r42
89103i7 State_Words{natural} 132r36 211r43
90106i7 Hash_Words{natural} 132r22 161r41
91110e7 Hash_Bit_Order{10|91E9} 8|247r32 268r31
92114K20 Hash_State[82] 117r23 121r21 160r41 211r20 8|233r30 276r10
93117a7 Initial_State{84A12[114]} 211r63
94120U22 Transform 121=10 122=10 8|377s16
95121a10 H{84A12[114]}
96122r10 M{55R9}
97126k12*H 100z7 103z7 106z7 110z7 114z20 117z7 120z22 202E7 238l8 238e9 8|145b17
98. 450l8 450t9
99134R12*Context 137r28 143r34 147r59 150r41 151r41 153r25 168r28 183r28 194r36
100. 210c12 210d21 219e17 221r34 224r36 8|148r31 154r22 163r28 174r14 181r14
101. 187r28 196r14 205r14 221r22 224r15 282r26 303r59 309r21 363r31 387r36 396r36
102. 408r41 425r14 432r14
103137y17*"="{boolean} 137>21 137>24
104137r21 L{134R12}
105137r24 R{134R12}
106143r7*Initial_Context{134R12} 221c7
107147V16*HMAC_Initial_Context{134R12} 147>38 8|303b16 342l11 342t31
108147a38 Key{string} 8|303b38 305r13 309r40 310r42 315r23 317r37 321r25 325r33
109150U17*Update 150=30 150>50 8|176s10 198s10 271s13 387b17 390l11 390t17
110150r30 C{134R12} 8|387b25 389m18
111150a50 Input{string} 8|387b45 389r21
112151U17*Wide_Update 151=30 151>50 8|408b17 418l11 418t22 427s10 434s10
113151r30 C{134R12} 8|408b30 414m13
114151a50 Input{wide_string} 8|408b50 409r31 410r28
115152U17*Update 153=10 154>10 8|183s10 207s10 291s16 292s16 339s16 396b17 402l11
116. 402t17 447s10
117153r10 C{134R12} 8|396b25 401m18
118154a10 Input{3|54A9} 8|396b45 397r27 398r28
119160i7*Word_Length{natural} 161r54 202r56
120161i7*Hash_Length{natural} 164r59 179r50 8|165r53 189r53 311r65
121163A15*Binary_Message_Digest{3|54A9}<3|44I9> 168r44 171r53 172r53 174r53
122. 8|187r44 195r43 203r43 431r53
123168V16*Digest{163A15} 168>24 8|187b16 193l11 193t17 199s17 208s17 435s17
124168r24 C{134R12} 8|187b24 191r17
125171V16*Digest{163A15} 171>29 8|195b16 200l11 200t17 325s25
126171a29 S{string} 8|195b24 198r21
127172V16*Wide_Digest{163A15} 172>29 8|431b16 436l11 436t22
128172a29 W{wide_string} 8|431b29 434r26
129173V16*Digest{163A15} 174>10 8|202b16 209l11 209t17
130174a10 A{3|54A9} 8|203b10 207r21
131179A15*Message_Digest{string}<integer> 183r44 187r62 188r62 189r62 8|163r44
132. 168r22 173r43 180r57 424r53
133183V16*Digest{179A15} 183>24 8|163b16 171l11 171t17 177s17 184s17 428s17
134183r24 C{134R12} 8|163b24 167r17
135187V16*Digest{179A15} 187>29 8|173b16 178l11 178t17
136187a29 S{string} 8|173b24 176r21
137188V16*Wide_Digest{179A15} 188>29 8|424b16 429l11 429t22
138188a29 W{wide_string} 8|424b29 427r26
139189V16*Digest{179A15} 189>29 8|180b16 185l11 185t17
140189a29 A{3|54A9} 8|180b24 183r21
141194R12*Hash_Stream<3|39R9> 194d25 224c12 225e46 227P17 228r26 233P17 234r27
142. 8|349r26 443r27
143202i7 Block_Length{natural} 206r65 214r35 8|237r21 284r47 332r47 376r33
144205I15 Key_Length{3|44I9} 210r26 8|309r54
145210i21 KL{205I15} 217r43 8|280r15
146211a10 H_State{84A12[114]} 8|276r33 377m29
147214r10 M_State{55R9} 8|229r45 237r57 238r29 274r28 370m12 370r32 374m28 376r18
148. 377m40 378m18
149217a10 Key{3|54A9} 8|287r27 288r46 318m40 325m18 335r27 336r46
150227U17 Read<3|57p14> 228=10 229<10 230<10 8|348b17 356l11 356t15
151228r10 Stream{194R12} 8|349b10 353r31
152229a10 Item{3|54A9} 8|350b10 353r39
153230i10 Last{3|44I9} 8|351b10 353r45
154233U17 Write<3|63p14> 234=11 235>11 8|442b17 448l11 448t16
155234r11 Stream{194R12} 8|443b11 447r18
156235a11 Item{3|54A9} 8|444b11 447r32
157X 8 g-sechas.adb
15837a4 Hex_Digit(character) 135r28 136r28
15940P9 Fill_Buffer_Access 42=9 43>9 44>9 45<9 150r24 365r24
16042r9 M{7|55R9}
16143a9 S{string}
16244i9 First{natural}
16345i9 Last{natural}
16450U14 Fill_Buffer_Copy 51=7 52>7 53>7 54<7 76b14 96l8 96t24 389r28 401r24
165. 417r19
16651r7 M{7|55R9} 77b7 82r28 83m34 83r34 87r31 87r48 92r19 92r33 94m7 94r17
16752a7 S{string} 78b7 87r56 93r9
16853i7 First{natural} 79b7 87r65 93r12 93r21 95r15
16954i7 Last{natural} 80b7 95m7
17057U14 Fill_Buffer_Swap 58=7 59>7 60>7 61<7 102b14 122l8 122t24 416r19
17158r7 M{7|55R9} 103b7 110r32 110r49 114m10 114r20 120m7 120r17
17259a7 S{string} 104b7 108r22 110r57 115r24 116r18 117r18
17360i7 First{natural} 105b7 110r66 112r15 113r20 114r40 121r15
17461i7 Last{natural} 106b7 112m7 113r13 114r33 115r17 116r21 117r21 118m10
175. 118r18 121m7
17669U14 To_String 69>25 69<53 128b14 139l8 139t17 169s13
17769a25 SEA{3|54A9} 128b25 129r37 131r16 133r56 135r39 136r39
17869a53 S{string} 128b53 129r22 135m13 136m13
17982a7 Buf_String{string} 83m11 83r11 84m27 84r27 92m7
18086i7 Length{natural} 90r22 92r42 93r29 94r26 95r23
181109i7 Length{natural} 113r28 120r26 121r23
182131i11 J<long_long_integer> 133r52 135r44 136r44
183133i13 S_J{natural} 135r16 136r16
184147U17 Update 148=10 149>10 150>10 362b17 381l11 381t17 389s10 401s10 413s10
185148r10 C{7|134R12} 363b10 370m10 370r30 374m26 374r26 376r16 377m27 377r27
186. 377m38 377r38 378m16
187149a10 S{string} 364b10 370r49 372r18 373r23 374r37
188150p10 Fill_Buffer{40P9} 365b10 374r13
189153U17 Final 154>10 155<10 167s10 191s10 220b17 294s16 297l11 297t16
190154r10 C{7|134R12} 221b10 224r26 280r13 287r25 288r44
191155a10 Hash_Bits{3|54A9} 222b10 276m42 292r33 294m32
192164a10 Hash_Bits{3|54A9} 167m20 169r24
193168a17 MD{7|179A15} 169m35
194174r10 C{7|134R12} 176m18 176r18 177r25
195181r10 C{7|134R12} 183m18 183r18 184r25
196188a10 Hash_Bits{3|54A9} 191m20 192r17
197196r10 C{7|134R12} 198m18 198r18 199r25
198205r10 C{7|134R12} 207m18 207r18 208r25
199224r10 FC{7|134R12} 229r42 237r54 238r26 271m21 271r21 274r25 276r30
200226i10 Zeroes{natural} 237m10 240r36
201229m10 Message_Length{9|77M9} 252r19 259r49 260m19 260r50 263r49 264m19 264r50
202232i10 Size_Length{natural} 237r40 240r45 248r45
203240a13 Pad{string} 248r34 249r34 258m19 263m19 271r25
204243i13 Index{natural} 251m13 253r19 258r24 263r24 267m16 267r25
205244i13 First_Index{natural} 247m13 251r22 253r27
206282r16 Outer_C{7|134R12} 291m24 291r24 292m24 292r24 294r23
207283a16 Opad{3|54A9} 288m19 288r31 291r33
208287i20 J<long_long_integer> 288r25 288r37 288r51
209309r17 C{7|134R12} 315r16 318m38 318r38 325m16 335r25 336r44 339m24 339r24
210317a19 SK{string} 318m23 318r23 319m39 319r39 321m19
211331a16 Ipad{3|54A9} 336m19 336r31 339r27
212335i20 J<long_long_integer> 336r25 336r37 336r51
213367i10 Last{natural} 372m10 373r16 374r40 374m50
214397a10 S{string} 398m14 398r14 399m30 399r30 401r21
215409a10 S{string} 410m14 410r14 411m30 411r30 414r16
216425r10 C{7|134R12} 427m23 427r23 428r25
217432r10 C{7|134R12} 434m23 434r23 435r25
218463i10 Hash_Words{natural} 464r35 465r37
219464a10 Result{7|84A12} 467r45 468m32 468r32 473r22 474m22 474r22
220467a10 R_SEA{3|54A9} 468m14 468r14 469m30 469r30 480r42 481r20 481r27 481r42
221473i17 J{integer} 474r30
222X 9 interfac.ads
22338K9*Interfaces 7|41w6 59r16 8|33w6 33r22 9|184e15
22477M9*Unsigned_64 7|59r27 8|229r27
225141V13*Shift_Left{77M9} 8|259s37
226145V13*Shift_Right{77M9} 8|260s37 264s37
227X 10 system.ads
22837K9*System 7|43w6 76r32 79r24 110r24 8|32w6 32r22 415r17 472r13 10|148e11
22967M9*Address 7|76r39
23091E9*Bit_Order 7|79r31 110r31 10|91e57
23191n41*Low_Order_First{91E9} 8|247r49 268r48 415r45
23292e4*Default_Bit_Order{91E9} 8|415r24 472r20
233
234