MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_IMPLICIT_CONDITIONALS
RV NO_OBSOLESCENT_FEATURES
RV SPARK

U gnat.secure_hashes%b	g-sechas.adb		0ad1c36a NE OL PK
W gnat%s		gnat.ads		gnat.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali

U gnat.secure_hashes%s	g-sechas.ads		593055bb BN EE NE OL PK
W ada%s			ada.ads			ada.ali
W ada.streams%s		a-stream.ads		a-stream.ali
W gnat%s		gnat.ads		gnat.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D gnat.ads		20121213103024 fd2ad2f1
D g-sechas.ads		20121213103024 0a03db86
D g-sechas.adb		20121213103024 826faa17
D interfac.ads		20121213103024 129923ea
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-parame.ads		20121213103024 b6e20cc0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 7|39r6 39r23 8|155r26
X 3 a-stream.ads
36K13*Streams 69e16 7|39w10 39r27 8|155r30
42M9*Stream_Element 8|37r32
44I9*Stream_Element_Offset<long_integer> 7|161r36 8|165r30 189r30
51A9*Stream_Element_Array(42M9)<44I9> 7|89r23 151r18 161r9 171r14 186r33
. 8|69r31 128r31 155r38 164r22 180r28 188r22 203r14 222r27 317r53 371r50
. 376r18
X 6 gnat.ads
34K9*GNAT 37e9 7|45r9 209r5 8|35r14 395r5
X 7 g-sechas.ads
45K14*Secure_Hashes 6|34k9 7|209l10 209e23 8|35b19 395l10 395t23
47A9*Buffer_Type<string><integer> 48r8 62r16
55R9*Message_State 55d24 64e14 122r21 200r20 8|42r24 51r22 58r22 77r22 103r22
55i24*Block_Length{natural} 62r34 8|87r33 110r34
56i7*Last{natural} 8|87r50 92r21 92r35 94m9 94r19 110r51 114r22 120m9 120r19
. 237r65 274r36 296r26 298m26
59m7*Length{9|64M9} 8|229r53 291m20 291r40
62a7*Buffer{47A9} 8|82r30 83m36 114m12
73M12 Word 84r49 157r52[114] 8|233r41[7|114] 372r52
76U22 Swap 76>28 8|383s16
76m28 X{10|64M9}
79e7 Hash_Bit_Order{10|88E9} 8|381r41
82k12*Hash_Function_State 73z12 76z22 79z7 94l8 94e27 114r38 8|365b17 393l8
. 393t27
84A12*State(73M12)<integer> 88r19 117r34[114] 121r32[114] 197r31[114] 8|371r30
. 373r23
87U17*To_Hash 88>10 89<10 8|276s21[7|114] 371b17 391l11 391t18
88a10 H{84A12} 8|371b26 372r43 374r25 374r28 374r55
89a10 H_Bits{3|51A9} 8|371b37 389r25 390m10 390r56
100i7 Block_Words{natural} 193r42
103i7 State_Words{natural} 132r36 197r43
106i7 Hash_Words{natural} 132r22 158r41
110e7 Hash_Bit_Order{10|88E9} 8|247r32 268r31
114K20 Hash_State[82] 117r23 121r21 157r41 197r20 8|233r30 276r10
117a7 Initial_State{84A12[114]} 197r63
120U22 Transform 121=10 122=10 8|297s16
121a10 H{84A12[114]}
122r10 M{55R9}
126k12*H 100z7 103z7 106z7 110z7 114z20 117z7 120z22 207l8 207e9 8|145b17
. 359l8 359t9
134R12*Context 137r28 143r34 147r41 148r41 150r25 165r28 180r28 196c12 202e17
. 204r34 8|148r31 154r22 163r28 174r14 181r14 187r28 196r14 205r14 221r23
. 224r15 284r31 308r36 317r36 329r41 346r14 353r14
137y17*"="{boolean} 137>21 137>24
137r21 L{134R12}
137r24 R{134R12}
143r7*Initial_Context{134R12} 204c7
147U17*Update 147=30 147>50 8|176s10 198s10 271s13 308b17 311l11 311t17
147r30 C{134R12} 8|308b25 310m18
147s50 Input{string} 8|308b45 310r21
148U17*Wide_Update 148=30 148>50 8|329b17 339l11 339t22 348s10 355s10
148r30 C{134R12} 8|329b30 335m13
148s50 Input{wide_string} 8|329b50 330r31 331r28
149U17*Update 150=10 151>10 8|183s10 207s10 317b17 323l11 323t17
150r10 C{134R12} 8|317b25 322m18
151a10 Input{3|51A9} 8|317b45 318r27 319r28
157i7*Word_Length{natural} 158r54 193r56
158i7*Hash_Length{natural} 161r59 176r50 8|165r53 189r53
160A15*Binary_Message_Digest{3|51A9}<3|44I9> 165r44 168r53 169r53 171r53
. 8|187r44 195r43 203r43 352r53
165V16*Digest{160A15} 165>24 8|187b16 193l11 193t17 199s17 208s17 356s17
165r24 C{134R12} 8|187b24 191r17
168V16*Digest{160A15} 168>29 8|195b16 200l11 200t17
168s29 S{string} 8|195b24 198r21
169V16*Wide_Digest{160A15} 169>29 8|352b16 357l11 357t22
169s29 W{wide_string} 8|352b29 355r26
170V16*Digest{160A15} 171>10 8|202b16 209l11 209t17
171a10 A{3|51A9} 8|203b10 207r21
176A15*Message_Digest{string}<integer> 180r44 184r62 185r62 186r62 8|163r44
. 168r22 173r43 180r57 345r53
180V16*Digest{176A15} 180>24 8|163b16 171l11 171t17 177s17 184s17 349s17
180r24 C{134R12} 8|163b24 167r17
184V16*Digest{176A15} 184>29 8|173b16 178l11 178t17
184s29 S{string} 8|173b24 176r21
185V16*Wide_Digest{176A15} 185>29 8|345b16 350l11 350t22
185s29 W{wide_string} 8|345b29 348r26
186V16*Digest{176A15} 186>29 8|180b16 185l11 185t17
186a29 A{3|51A9} 8|180b24 183r21
193i7 Block_Length{natural} 200r35 8|237r21 296r33
197a10 H_State{84A12[114]} 8|276r33 297m29
200r10 M_State{55R9} 8|229r45 237r57 238r29 274r28 291m12 291r32 294m28 296r18
. 297m40 298m18
X 8 g-sechas.adb
37a4 Hex_Digit(character) 135r28 136r28
40P9 Fill_Buffer_Access 150r24 286r24
42r9 M{7|55R9}
43s9 S{string}
44i9 First{natural}
45i9 Last{natural}
50U14 Fill_Buffer_Copy 51=7 52>7 53>7 54<7 76b14 96l8 96t24 310r28 322r24
. 338r19
51r7 M{7|55R9} 77b7 82r28 83m34 83r34 87r31 87r48 92r19 92r33 94m7 94r17
52s7 S{string} 78b7 87r56 93r9
53i7 First{natural} 79b7 87r65 93r12 93r21 95r15
54i7 Last{natural} 80b7 95m7
57U14 Fill_Buffer_Swap 58=7 59>7 60>7 61<7 102b14 122l8 122t24 337r19
58r7 M{7|55R9} 103b7 110r32 110r49 114m10 114r20 120m7 120r17
59s7 S{string} 104b7 108r22 110r57 115r24 116r18 117r18
60i7 First{natural} 105b7 110r66 112r15 113r20 114r40 121r15
61i7 Last{natural} 106b7 112m7 113r13 114r33 115r17 116r21 117r21 118m10
. 118r18 121m7
69U14 To_String 69>25 69<53 128b14 139l8 139t17 169s13
69a25 SEA{3|51A9} 128b25 129r37 131r16 133r56 135r39 136r39
69s53 S{string} 128b53 129r22 135m13 136m13
82a7 Buf_String{string} 83m11 83r11 84m27 84r27 92m7
86i7 Length{natural} 90r22 92r42 93r29 94r26 95r23
109i7 Length{natural} 113r28 120r26 121r23
131i11 J<long_integer> 133r52 135r44 136r44
133i13 S_J{natural} 135r16 136r16
147U17 Update 148=10 149>10 150>10 283b17 302l11 302t17 310s10 322s10 334s10
148r10 C{7|134R12} 284b10 291m10 291r30 294m26 294r26 296r16 297m27 297r27
. 297m38 297r38 298m16
149s10 S{string} 285b10 288r28 291r49 293r23 294r37
150p10 Fill_Buffer{40P9} 286b10 294r13
153U17 Final 154>10 155<10 167s10 191s10 220b17 277l11 277t16
154r10 C{7|134R12} 221b10 224r26
155a10 Hash_Bits{3|51A9} 222b10 276m42
164a10 Hash_Bits{3|51A9} 167m20 169r24
168a17 MD{7|176A15} 169m35
174r10 C{7|134R12} 176m18 176r18 177r25
181r10 C{7|134R12} 183m18 183r18 184r25
188a10 Hash_Bits{3|51A9} 191m20 192r17
196r10 C{7|134R12} 198m18 198r18 199r25
205r10 C{7|134R12} 207m18 207r18 208r25
224r10 FC{7|134R12} 229r42 237r54 238r26 271m21 271r21 274r25 276r30
226i10 Zeroes{natural} 237m10 240r36
229m10 Message_Length{9|64M9} 252r19 259r49 260m19 260r50 263r49 264m19 264r50
232i10 Size_Length{natural} 237r40 240r45 248r45
240a13 Pad{string} 248r34 249r34 258m19 263m19 271r25
243i13 Index{natural} 251m13 253r19 258r24 263r24 267m16 267r25
244i13 First_Index{natural} 247m13 251r22 253r27
288i10 Last{natural} 293r16 294r40 294m50
318a10 S{string} 319m14 319r14 320m30 320r30 322r21
330a10 S{string} 331m14 331r14 332m30 332r30 335r16
346r10 C{7|134R12} 348m23 348r23 349r25
353r10 C{7|134R12} 355m23 355r23 356r25
372i10 Hash_Words{natural} 373r35 374r37
373a10 Result{7|84A12} 376r45 377m32 377r32 382r22 383m22 383r22
376a10 R_SEA{3|51A9} 377m14 377r14 378m30 378r30 389r42 390r20 390r27 390r42
382i17 J{integer} 383r30
X 9 interfac.ads
36K9*Interfaces 7|41w6 59r16 8|33w6 33r22 9|175e15
64M9*Unsigned_64 7|59r27 8|229r27
127V13*Shift_Left{64M9} 8|259s37
131V13*Shift_Right{64M9} 8|260s37 264s37
X 10 system.ads
37K9*System 7|43w6 76r32 79r24 110r24 8|32w6 32r22 336r17 381r13 10|152e11
64M9*Address 7|76r39
88E9*Bit_Order 7|79r31 110r31 10|88e57
88n41*Low_Order_First{88E9} 8|247r49 268r48 336r45
89e4*Default_Bit_Order{88E9} 8|336r24 381r20