101 lines
3.7 KiB
Plaintext
101 lines
3.7 KiB
Plaintext
|
V "GNAT Lib v6"
|
||
|
|
A -gnatwa
|
||
|
|
A -nostdinc
|
||
|
|
A -O2
|
||
|
|
A -Wextra
|
||
|
|
A -Wall
|
||
|
|
A -g
|
||
|
|
A -gnatp
|
||
|
|
A -gnatg
|
||
|
|
A -mtune=generic
|
||
|
|
A -march=i586
|
||
|
|
P ZX
|
||
|
|
|
||
|
|
RN
|
||
|
|
RV NO_DYNAMIC_SIZED_OBJECTS
|
||
|
|
RV SPARK_05
|
||
|
|
|
||
|
|
U gnat.secure_hashes.sha2_32%b g-shsh32.adb 8d5c5596 NE OL PK
|
||
|
|
W gnat.secure_hashes%s g-sechas.adb g-sechas.ali
|
||
|
|
|
||
|
|
U gnat.secure_hashes.sha2_32%s g-shsh32.ads e33bfe7e BN EE NE OL PK
|
||
|
|
W ada.tags%s a-tags.adb a-tags.ali
|
||
|
|
W gnat%s gnat.ads gnat.ali
|
||
|
|
W gnat.byte_swapping%s g-bytswa.adb g-bytswa.ali
|
||
|
|
W gnat.secure_hashes%s g-sechas.adb g-sechas.ali
|
||
|
|
W gnat.secure_hashes.sha2_common%s g-shshco.adb g-shshco.ali
|
||
|
|
W interfaces%s interfac.ads interfac.ali
|
||
|
|
W system%s system.ads system.ali
|
||
|
|
|
||
|
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
||
|
|
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
|
||
|
|
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
|
||
|
|
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
|
||
|
|
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
|
||
|
|
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
|
||
|
|
D g-bytswa.ads 20120712103717 a4d21639 gnat.byte_swapping%s
|
||
|
|
D g-sechas.ads 20140804124756 7a59ee39 gnat.secure_hashes%s
|
||
|
|
D g-sechas.adb 20140804124756 7ef275e8 gnat.secure_hashes%b
|
||
|
|
D g-shsh32.ads 20101220072657 671c9849 gnat.secure_hashes.sha2_32%s
|
||
|
|
D g-shsh32.adb 20091130155115 ea40cddf gnat.secure_hashes.sha2_32%b
|
||
|
|
D g-shshco.ads 20091130155115 1144502c gnat.secure_hashes.sha2_common%s
|
||
|
|
D g-shshco.adb 20091130155115 050bc0cb gnat.secure_hashes.sha2_common%b
|
||
|
|
D interfac.ads 20151118101227 4be8ce1b interfaces%s
|
||
|
|
D system.ads 20151123113124 2da59038 system%s
|
||
|
|
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
|
||
|
|
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
|
||
|
|
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
|
||
|
|
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
|
||
|
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
||
|
|
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
|
||
|
|
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
|
||
|
|
X 6 gnat.ads
|
||
|
|
34K9*GNAT 37e9 10|39r6 40r6 42r9 48r25 108r5 11|32r14 80r5
|
||
|
|
X 7 g-bytswa.ads
|
||
|
|
162K14*Byte_Swapping 206e23 10|39w11 48r30
|
||
|
|
196U14*Swap4 10|48r44
|
||
|
|
X 8 g-sechas.ads
|
||
|
|
45K14*Secure_Hashes 6|34k9 8|220e23 10|40r11 42r14 108r10 11|32r19 80r10
|
||
|
|
73M12 Word 10|47r7
|
||
|
|
76U22 Swap 10|48r7
|
||
|
|
79e7 Hash_Bit_Order{15|91E9} 10|49r7
|
||
|
|
82k12*Hash_Function_State 94e27 10|46r30
|
||
|
|
84A12 State(73M12[12|48])<integer> 10|52r28[46] 88r44[46] 97r44[46]
|
||
|
|
X 10 g-shsh32.ads
|
||
|
|
42K28*SHA2_32 8|45k14 10|108l24 108e31 11|32b33 80l24 80t31
|
||
|
|
44M12*Word{14|73M9} 47r25 71r25 71r38 72r25 72r38 73r21 73r34 74r21 74r34
|
||
|
|
. 11|40r25 40r38 51r25 51r38 62r21 62r34 73r21 73r34
|
||
|
|
46K12*Hash_State[8|82] 52r17 80r21 88r33 97r33
|
||
|
|
52a4*K{8|84A12[46]} 81r21
|
||
|
|
71V13*Sigma0{44M12} 71>21 75r19 83r21 11|40b13 45l8 45t14
|
||
|
|
71m21 X{44M12} 11|40b21 42r28 43r28 44r28
|
||
|
|
72V13*Sigma1{44M12} 72>21 75r27 84r21 11|51b13 56l8 56t14
|
||
|
|
72m21 X{44M12} 11|51b21 53r28 54r28 55r28
|
||
|
|
73V13*S0{44M12} 73>17 75r35 85r21 11|62b13 67l8 67t10
|
||
|
|
73m17 X{44M12} 11|62b17 64r28 65r28 66r28
|
||
|
|
74V13*S1{44M12} 74>17 75r39 86r21 11|73b13 78l8 78t10
|
||
|
|
74m17 X{44M12} 11|73b17 75r28 76r28 77r28
|
||
|
|
79U14*Transform[12|62] 13|38b14
|
||
|
|
88a4*SHA224_Init_State{8|84A12[46]}
|
||
|
|
97a4*SHA256_Init_State{8|84A12[46]}
|
||
|
|
X 12 g-shshco.ads
|
||
|
|
42K28*SHA2_Common 10|40w25 79r31 12|66e35
|
||
|
|
48K20 Hash_State 10|80r7
|
||
|
|
50i7 Rounds{natural} 10|82r7
|
||
|
|
53a7 K{8|84A12[48]} 10|81r7
|
||
|
|
56V21 Sigma0{8|73M12[48]} 10|83r7
|
||
|
|
57V21 Sigma1{8|73M12[48]} 10|84r7
|
||
|
|
58V21 S0{8|73M12[48]} 10|85r7
|
||
|
|
59V21 S1{8|73M12[48]} 10|86r7
|
||
|
|
62u14*Transform 10|79r43
|
||
|
|
X 14 interfac.ads
|
||
|
|
38K9*Interfaces 10|38w6 44r20 11|34r8 14|183e15
|
||
|
|
73M9*Unsigned_32 10|44r31
|
||
|
|
124V13*Shift_Right{73M9} 11|66s14 77s14
|
||
|
|
136V13*Rotate_Right{73M9} 11|42s14 43s14 44s14 53s14 54s14 55s14 64s14 65s14
|
||
|
|
. 75s14 76s14
|
||
|
|
X 15 system.ads
|
||
|
|
37K9*System 10|49r25 15|200e11
|
||
|
|
91n23*High_Order_First{91E9} 10|49r32
|
||
|
|
|