Spaces:
Runtime error
Runtime error
File size: 3,685 Bytes
aaffe1f |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 |
V "GNAT Lib v4.9"
A -gnatwa
A -Wall
A -fstack-check=specific
A -gnatA
A -gnatwa
A -gnatwe
A -gnato
A -gnateE
A -gnata
A -gnatU
A -gnatf
A -g
A -gnatQ
A -gnaty3
A -gnatya
A -gnatyA
A -gnatyb
A -gnatye
A -gnatyf
A -gnatyh
A -gnatyi
A -gnatyk
A -gnatyl
A -gnatyn
A -gnatyO
A -gnatyM80
A -gnatyp
A -gnatyr
A -gnatyt
A -gnatyS
A -gnatyu
A -gnatyx
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_IMPLICIT_LOOPS
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U support_utils.uniques_package%s support_utils-uniques_package.ads 92307710 EE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W latin_utils%s latin_utils.ads latin_utils.ali
W latin_utils.dictionary_package%s latin_utils-dictionary_package.adb latin_utils-dictionary_package.ali
W latin_utils.inflections_package%s latin_utils-inflections_package.adb latin_utils-inflections_package.ali
W support_utils%s support_utils.ads support_utils.ali
D ada.ads 20070406091342 3ffc8e18
D a-direio.ads 20090410151215 5842da07
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-ioexce.ads 20140225151544 e4a01f64
D a-stream.ads 20140122164720 1a984740
D a-tags.ads 20111212115430 6c0509d0
D a-textio.ads 20140129155348 386df5d4
D a-tienio.ads 20090409150019 fc618ae6
D a-tiinio.ads 20090409150019 aa04e5d6
D a-unccon.ads 20070406091342 f9eb8f06
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D latin_utils.ads 20230322220154 14f26ddf
D latin_utils-dictionary_package.ads 20230322220154 e6e52463
D latin_utils-inflections_package.ads 20230322220154 6766ecb7
D support_utils.ads 20230322220154 f98bd89b
D support_utils-uniques_package.ads 20230322220154 ea38675f
D system.ads 20160213141829 90249111
D s-crtl.ads 20140225151544 840e6817
D s-direio.ads 20090409150019 068812e8
D s-exctab.ads 20140225151139 54135002
D s-ficobl.ads 20120709130952 55a71d43
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-stopoo.ads 20131010103753 b16154c2
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
X 2 a-direio.ads
66I9*Count<long_integer> 18|29r25[15|614]
68I12*Positive_Count{66I9[15|614]} 18|39r21[15|614]
X 14 latin_utils.ads
21K9*Latin_Utils 29e16 18|17r6 17r43 18r6 18r42
X 15 latin_utils-dictionary_package.ads
20K21*Dictionary_Package 662e35 18|18w18 18r54
165R9*Kind_Entry 187e17 18|28r17
219r4*Null_Kind_Entry{165R9} 18|28r35
579R9*Dictionary_Entry 585e17 18|39r49
609r4*Null_Dictionary_Entry{579R9} 18|42r17
614K12*Dict_IO[2|43] 18|29r17 39r13
621i4*Null_MNPC{2|66I9[614]} 18|29r35
X 16 latin_utils-inflections_package.ads
25K21*Inflections_Package 973e36 18|17w18 17r55
39A12*Stem_Type{string}<integer> 18|26r17
40a4*Null_Stem_Type{39A12} 18|26r35
744R9*Quality_Record 780e17 18|27r17
782r4*Null_Quality_Record{744R9} 18|27r35
X 17 support_utils.ads
21K9*Support_Utils 29e18 18|19r9 44r5
X 18 support_utils-uniques_package.ads
19K23*Uniques_Package 17|21k9 18|44l19 44e34
21R9*Unique_Item 22r31 24c9 31e17
22P9*Unique_List(21R9) 30r17 33r64
26a10*Stem{16|39A12}
27r10*Qual{16|744R9}
28r10*Kind{15|165R9}
29i10*MNPC{2|66I9[15|614]}
30p10*Succ{22P9}
33A9*Latin_Uniques(22P9)<character> 34r25 36r10
34a4*Null_Latin_Uniques{33A9} 36r27
36a4*Unq{33A9}
38A9*Uniques_De_Array(15|579R9)<2|66I9[15|614]> 41r17
41a4*Uniques_De{38A9}
|