118 lines
4.2 KiB
Plaintext
118 lines
4.2 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_STANDARD_STORAGE_POOLS
|
|
RV NO_UNCHECKED_CONVERSION
|
|
RV SPARK_05
|
|
|
|
U system.generic_vector_operations%b s-geveop.adb 38913cd7 NE OL PK GE
|
|
W ada%s ada.ads ada.ali
|
|
W ada.unchecked_conversion%s
|
|
W system%s system.ads system.ali
|
|
W system.address_operations%s s-addope.adb s-addope.ali
|
|
W system.storage_elements%s s-stoele.adb s-stoele.ali
|
|
|
|
U system.generic_vector_operations%s s-geveop.ads 09dce33a BN NE OL PU PK GE
|
|
W system%s system.ads system.ali
|
|
W system.storage_elements%s s-stoele.adb s-stoele.ali
|
|
W system.vectors%s s-vector.ads s-vector.ali
|
|
|
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
|
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-addope.ads 20140225151544 130cbe33 system.address_operations%s
|
|
D s-geveop.ads 20140801083227 747f96b6 system.generic_vector_operations%s
|
|
D s-geveop.adb 20090409150019 a66f4168 system.generic_vector_operations%b
|
|
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
|
|
D s-vector.ads 20140801083227 7dc5afb0 system.vectors%s
|
|
X 1 ada.ads
|
|
16K9*Ada 19e8 6|36r6 66r26 67r26 111r26 112r26
|
|
X 2 a-unccon.ads
|
|
20v14*Unchecked_Conversion 6|36w10 66r30 67r30 111r30 112r30
|
|
X 3 system.ads
|
|
37K9*System 200e11 5|42r6 43r6 50r9 57r17 58r17 64r17 65r17 66r5 6|32w6 32r37
|
|
. 33r6 33r37 34r6 34r37 38r14 49r17 50r17 95r17 96r17 133r5
|
|
67M9*Address 5|57r24 64r24 6|41r18 41r29 42r18 42r29 49r24 52r12 53r12 54r12
|
|
. 66r52 67r52 69r21 95r24 98r12 99r12 111r52 112r52 114r21
|
|
71N4*Storage_Unit 6|40r38
|
|
77V14*"<"{boolean} 6|75r16 82r16 120r16 126r16
|
|
81V14*"="{boolean} 6|60r68 105r58
|
|
X 4 s-addope.ads
|
|
45K16*Address_Operations 87e30 6|33w13 33r44
|
|
65V13*AddA{3|67M9} 6|70s14 77s16 78s16 79s16 84s16 85s16 86s16 115s14 122s16
|
|
. 123s16 128s16 129s16
|
|
69V13*ModA{3|67M9} 6|60s34 105s34
|
|
77V13*OrA{3|67M9} 6|60s40 60s45 105s40
|
|
X 5 s-geveop.ads
|
|
46E9 Element 48r52 54r40 54r56 61r37 61r53 6|64r38 109r38
|
|
47E9 Index 48r33
|
|
48A9 Element_Array(46E9)<47E9> 6|42r38
|
|
50k16*Generic_Vector_Operations 3|37k9 5|46z9 47z9 48z9 66l12 66e37 6|38b21
|
|
. 133l12 133t37
|
|
54V21 Element_Op{46E9} 54>33 54>36 6|83s25
|
|
54*33 X{46E9}
|
|
54*36 Y{46E9}
|
|
55V21 Vector_Op{8|44M9} 55>32 55>35 6|76s25
|
|
55m32 X{8|44M9}
|
|
55m35 Y{8|44M9}
|
|
56u14*Binary_Operation 57>7 57>10 57>13 58>7 6|48b14 88l8 88t24
|
|
57m7 R{3|67M9} 6|49b7 52r23
|
|
57m10 X{3|67M9} 6|49b10 53r23 82r18
|
|
57m13 Y{3|67M9} 6|49b13 54r23
|
|
58i7 Length{7|62I12} 6|50b7 71r45 82r22
|
|
61V21 Element_Op{46E9} 61>33 6|127s25
|
|
61*33 X{46E9}
|
|
62V21 Vector_Op{8|44M9} 62>32 6|121s25
|
|
62m32 X{8|44M9}
|
|
63u14*Unary_Operation 64>7 64>10 65>7 6|94b14 131l8 131t23
|
|
64m7 R{3|67M9} 6|95b7 98r23
|
|
64m10 X{3|67M9} 6|95b10 99r23 126r18
|
|
65i7 Length{7|62I12} 6|96b7 116r45 126r22
|
|
X 6 s-geveop.adb
|
|
40i4 IU{integer} 41r60 42r69
|
|
41m4 VU{3|67M9} 57r52 60r64 77r26 78r26 79r26 102r52 105r54 122r26 123r26
|
|
42m4 EU{3|67M9} 84r26 85r26 86r26 128r26 129r26
|
|
52m7 RA{3|67M9} 60r50 76r14 79m10 79r22 83r14 86m10 86r22
|
|
53m7 XA{3|67M9} 60r54 70r20 75r13 76r40 77m10 77r22 82r13 83r41 84m10 84r22
|
|
54m7 YA{3|67M9} 60r59 76r53 78m10 78r22 83r54 85m10 85r22
|
|
57m7 VI{7|105M9} 71r55 71r60
|
|
59m7 Unaligned{7|105M9} 71r68
|
|
63P12 Vector_Ptr(8|44M9) 66r61
|
|
64P12 Element_Ptr(5|46E9) 67r61
|
|
66V16 VP[2|20]{63P12} 76s10 76s36 76s49
|
|
67V16 EP[2|20]{64P12} 83s10 83s37 83s50
|
|
69m7 SA{3|67M9} 75r18
|
|
98m7 RA{3|67M9} 105r45 121r14 123m10 123r22 127r14 129m10 129r22
|
|
99m7 XA{3|67M9} 105r49 115r20 120r13 121r40 122m10 122r22 126r13 127r41 128m10
|
|
. 128r22
|
|
102m7 VI{7|105M9} 116r55 116r60
|
|
104m7 Unaligned{7|105M9} 116r68
|
|
108P12 Vector_Ptr(8|44M9) 111r61
|
|
109P12 Element_Ptr(5|46E9) 112r61
|
|
111V16 VP[2|20]{108P12} 121s10 121s36
|
|
112V16 EP[2|20]{109P12} 127s10 127s37
|
|
114m7 SA{3|67M9} 120r18
|
|
X 7 s-stoele.ads
|
|
42K16*Storage_Elements 5|43w13 58r24 65r24 6|34w13 34r44 50r24 96r24 7|117e28
|
|
54I9*Storage_Offset<integer>
|
|
62I12*Storage_Count{54I9} 5|58r41 65r41 6|50r41 96r41
|
|
76V14*"+"{3|67M9} 6|82s20 126s20
|
|
105M9*Integer_Address 6|57r21 59r28 71r28 102r21 104r28 116r28
|
|
107V13*To_Address{3|67M9} 6|70s24 115s24
|
|
112V13*To_Integer{105M9} 6|57s40 102s40
|
|
X 8 s-vector.ads
|
|
41K16*Vectors 5|42w13 55r39 55r62 62r36 62r59 6|41r38 63r37 108r37 8|49e19
|
|
44M9*Vector 5|55r47 55r70 62r44 62r67 6|41r46 63r45 108r45
|
|
|