Hugging Face's logo

Spaces:
grosenthal
/
aineid
Runtime error

App Files Community
aineid
File size: 11,626 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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
 
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 SS ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IO
RV NO_IMPLICIT_LOOPS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U words_engine.search_english%b  words_engine-search_english.adb  6bf0fb78 NE OO SU
W ada%s			ada.ads			ada.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W interfaces%s		interfac.ads		interfac.ali
W latin_utils%s		latin_utils.ads		latin_utils.ali
W latin_utils.config%s	latin_utils-config.adb	latin_utils-config.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 latin_utils.strings_package%s  latin_utils-strings_package.adb  latin_utils-strings_package.ali
W support_utils%s	support_utils.ads	support_utils.ali
W support_utils.developer_parameters%s  support_utils-developer_parameters.adb  support_utils-developer_parameters.ali
W support_utils.dictionary_form%b  support_utils-dictionary_form.adb  support_utils-dictionary_form.ali
W support_utils.word_parameters%s  support_utils-word_parameters.adb  support_utils-word_parameters.ali
W system%s		system.ads		system.ali
W system.compare_array_unsigned_8%s  s-carun8.adb  s-carun8.ali
W system.concat_2%s	s-conca2.adb		s-conca2.ali
W system.concat_3%s	s-conca3.adb		s-conca3.ali
W system.img_enum_new%s	s-imenne.adb		s-imenne.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W words_engine%s	words_engine.ads	words_engine.ali
W words_engine.english_support_package%s  words_engine-english_support_package.adb  words_engine-english_support_package.ali
W words_engine.word_package%s  words_engine-word_package.adb  words_engine-word_package.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-string.ads		20070406091342 90ac6797
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-config.ads  20230322220154 d5d50f67
D latin_utils-dictionary_package.ads  20230322220154 e6e52463
D latin_utils-inflections_package.ads  20230322220154 6766ecb7
D latin_utils-strings_package.ads  20230322220154 9a865565
D support_utils.ads	20230322220154 f98bd89b
D support_utils-developer_parameters.ads  20230322220154 832e1d2d
D support_utils-dictionary_form.adb  20230322220154 9e62707a
D support_utils-dictionary_form.adb  20230322220154 9e62707a
D support_utils-word_parameters.ads  20230322220154 276a9680
D support_utils-word_support_package.ads  20230322220154 e452bc91
D system.ads		20160213141829 90249111
D s-carun8.ads		20140225151544 a903718d
D s-conca2.ads		20140225151544 02a0d7d0
D s-conca3.ads		20140225151544 0b705ca5
D s-conca5.ads		20140225151544 875e432e
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-imenne.ads		20140225151139 614c06c0
D s-imgint.ads		20090409150019 02dbe0c2
D s-parame.ads		20140225151139 ab8cb46a
D s-pooglo.ads		20110804083314 542f33d0
D s-secsta.ads		20140225151139 86a2856d
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
D words_engine.ads	20230322220154 93849dab
D words_engine-english_support_package.ads  20230322220154 53a3ad96
D words_engine-search_english.adb  20230322220154 c8d4d753
D words_engine-search_english.adb  20230322220154 c8d4d753
D words_engine-word_package.ads  20230322220154 3c1c1d68
X 1 ada.ads
16K9*Ada 19e8 54|17r6 17r23 91r45 98r10 115r13 119r28 123r50 130r13 133r16
. 135r16 139r16 145r16 150r16 157r16 161r16 166r16 170r13 174r13 175r13 261r7
X 2 a-direio.ads
53P9*File_Type<32|81P9>
66I9*Count<long_integer> 54|40r31[52|53] 128r27[17|614] 229r50[52|53] 240r50[52|53]
101U14*Read 54|127s21[17|614]
106U14*Read 54|220s7[52|53] 230s13[52|53] 241s13[52|53]
119U14*Set_Index 54|219s7[52|53] 229s13[52|53] 240s13[52|53]
122V13*Size{66I9[52|53]} 54|194s10[52|53]
X 9 a-textio.ads
49K13*Text_IO 471e16 54|17w10 17r27 91r49 98r14 115r17 119r32 123r54 130r17
. 133r20 135r20 139r20 145r20 150r20 157r20 161r20 166r20 170r17 174r17 175r17
. 261r11
52P9*File_Type 54|91r57
64I9*Count<integer>
68I12*Positive_Count{64I9}
122V13*Current_Output{52P9} 54|257s26
165U14*New_Line 54|115s25 170s25 175s25
195V13*Line{68I12} 54|119s40 123s62
241U14*Put 54|129s13 130s25 133s28 135s28 139s28 145s28 150s28 157s28 161s28
. 166s28 174s25
259U14*Put_Line 54|98s22 181s13
263U14*Put_Line 54|261s19
X 10 a-tienio.ads
54U14*Put 54|152s28[18|856] 153s29[17|81] 154s28[17|107] 155s34[18|883] 156s31[17|160]
X 15 latin_utils.ads
21K9*Latin_Utils 29e16 54|18r6 18r39 19r6 21r6 21r43 22r6 22r42 28r5
X 16 latin_utils-config.ads
17K21*Config 42e23 54|19w18 120r39
19i4*Output_Screen_Size{integer} 54|120r46
X 17 latin_utils-dictionary_package.ads
20K21*Dictionary_Package 662e35 54|22w18 22r54
34E9*Dictionary_Kind 46e8 54|42r19
42n9*General{34E9} 54|42r38 127r38
51a4*Ext(string) 54|161r41
81K12*Area_Type_IO[10|46] 54|153r16
107K12*Geo_Type_IO[10|46] 54|154r16
160K12*Source_Type_IO[10|46] 54|156r16
225e10*Age{18|845E9} 54|152r49
226e10*Area{64E9} 54|153r50
227e10*Geo{86E9} 54|154r49
228e10*Freq{18|858E9} 54|155r55
229e10*Source{112E9} 54|156r52
261r10*Decl{18|97R9} 54|134r54
262e10*Gender{18|125E9} 54|136r47
418r10*Con{18|97R9} 54|140r54
419e10*Kind{18|304E9} 54|143r26 146r50
519e21*Pofs{18|64E9} 54|132r24 138r24 142r25
523r16*N{258R9} 54|134r52 136r45
535r16*V{414R9} 54|140r52 143r24 146r48
579R9*Dictionary_Entry 585e17 54|92r12
582r10*Part{519R9} 54|132r19 134r47 136r40 138r19 140r47 142r20 143r19 146r43
583r10*Tran{223R9} 54|152r44 153r45 154r44 155r50 156r47
584a10*Mean{18|61A12} 54|174r47
609r4*Null_Dictionary_Entry{579R9} 54|92r32
614K12*Dict_IO[2|43] 54|127r13 128r19
615a4*Dict_File(2|53P9[614]) 54|127r27
X 18 latin_utils-inflections_package.ads
25K21*Inflections_Package 973e36 54|21w18 21r55
61A12*Meaning_Type{string}<integer>
64E9*Part_Of_Speech_Type 82e7 54|32r11 36r26
65n7*X{64E9} 54|32r34
66n6*N{64E9} 54|132r31
72n6*V{64E9} 54|138r31 142r32
106K12*Decn_Record_IO 121e22 54|134r16 140r16
112U17*Put 54|134s31 140s31
125E9*Gender_Type 131e7 54|136r18
304E9*Verb_Kind_Type 321e8 54|146r18
308n7*Gen{304E9} 54|143r34
319n7*Perfdef{304E9} 54|143r41
856K12*Age_Type_IO[10|46] 54|152r16
883K12*Frequency_Type_IO[10|46] 54|155r16
955V25*"<="{boolean} 54|50s20
X 19 latin_utils-strings_package.ads
26K21*Strings_Package 67e32 54|18w18 18r51
37V13*Lower_Case{string} 54|35s26 221s15 224s18 232s20 243s20
45V13*Trim{string} 54|167s20 174s38
51V13*Head{string} 54|35s38
X 20 support_utils.ads
21K9*Support_Utils 29e18 54|20r6 20r41 23r6 23r46 27r6 129r26
X 21 support_utils-developer_parameters.ads
18K23*Developer_Parameters 98e39 54|23w20 23r60
47n6*Show_Dictionary{40E9} 54|160r28
48n6*Show_Dictionary_Line{40E9} 54|165r28
49n6*Show_Dictionary_Codes{40E9} 54|149r28
85A9*Mdev_Array(boolean)<40E9>
87a4*Words_Mdev{85A9} 54|149r16 160r16 165r16
X 23 support_utils-dictionary_form.adb
20V24*Dictionary_Form{string} 20|21k9 54|27w20 129s40
X 24 support_utils-word_parameters.ads
18K23*Word_Parameters 72e34 54|20w20 20r55
34p4*Output{9|52P9} 54|255r26
41b4*Trimmed{boolean} 54|104m10 108m16 180r13
44n6*Trim_Output{43E9} 54|105r25
46n6*Write_Output_To_File{43E9} 54|254r20
64A9*Mode_Array(boolean)<43E9>
66a4*Words_Mode{64A9} 54|105r13 254r8
X 32 s-direio.ads
81P9*File_Type(53R9)
X 51 words_engine.ads
21K9*Words_Engine 27e17 54|24r6 24r37 25r6 26r5 30r11 264r5
X 52 words_engine-english_support_package.ads
21K22*English_Support_Package 72e41 54|25w19 26r18
23N4*Eword_Size 54|35r64
28A12*Eword{string}<integer> 54|35r17
36R9*Ewds_Record 46e17 54|44r11 48r43 68r18
38a10*W{28A12} 54|221r32 224r35 232r37 243r37
40i10*N{integer} 54|128r51 167r58
41e10*Pofs{18|64E9} 54|50r15
42e10*Freq{18|858E9} 54|74r39 74r65 76r39 76r65
43i10*Semi{integer} 54|77r39 77r65
45i10*Rank{integer} 54|72r40 72r66 73r40 73r66 75r40 75r66
48r4*Null_Ewds_Record{36R9} 54|38r55 44r26 68r33
51A9*Ewds_Array(36R9)<integer> 54|38r19
53K12*Ewds_Direct_Io[2|43] 54|34r8 40r16 229r35 240r35
70p4*Ewds_File{2|53P9[53]} 54|194r16 219r18 220r13 229r24 230r19 240r24 241r19
X 54 words_engine-search_english.adb
30U24*Search_English 51|21k9 54|30b24 264l18 264t32
31s4 Input_English_Word{string} 35r44
32e4 Pofs{18|64E9} 36r49
35a4 Input_Word{52|28A12} 221r36 224r39 232r41 243r41
36e4 Input_Pofs{18|64E9} 50r23
38a4 Output_Array{52|51A9} 52m10 72r19 72r49 73r19 73r49 74r18 74r48 75r19
. 75r49 76r18 76r48 77r18 77r48 79r25 80m19 80r39 81m19 128r34 167r41
39i4 Number_Of_Hits{integer} 51m10 51r28 52r24 71r27 93r35 97r10 106r16 110r34
. 262r24
40i4 J1{2|66I9[52|53]} 193m4 200r10 206r11 206r28 208r18 222m10 223r16 226r16
. 228r27
40i8 J2{2|66I9[52|53]} 194m4 200r15 206r16 206r33 211r18 223r21 225m10 226r21
. 239r28
40i12 J{2|66I9[52|53]} 200m4 208m13 211m13 219r29 222r16 223m10 225r16 226m10
. 228r33 239r19
42e4 D_K{17|34E9} 161r46
44r4 Ewds{52|36R9} 220m24 221r27 224r30 230m30 232r32 233r35 241m30 243r32
. 244r35
46b4 First_Try{boolean} 196m4 207r13 209m13
46b15 Second_Try{boolean} 198m4 210r16 212m13
48U14 Load_Output_Array 48b14 48>33 54l8 54t25 233s16 244s16
48r33 Ewds{52|36R9} 50r10 52r43
57U14 Sort_Output_Array 57b14 89l8 89t25 100s10
58i7 Hits{integer} 64m10 82m19 82r27 87r29
62l7 Hit_Loop 87r15 88l16 88e24
66q10 Switch 86l14 86e20
68r13 Dw{52|36R9} 79m19 81r43
70l13 Inner_Loop 85l22 85e32
71i17 I{integer} 72r33 72r63 73r33 73r63 74r32 74r62 75r33 75r63 76r32 76r62
. 77r32 77r62 79r39 80r33 80r53 81r33
91U14 Dump_Output_Array 91b14 91>33 189l8 189t25 255s7 257s7
91p33 Output{9|52P9} 98r32 115r35 119r46 122r26 123r68 129r18 130r30 133r33
. 134r36 135r33 139r33 140r36 145r33 150r33 152r33 153r34 154r33 155r39 156r36
. 157r33 161r33 166r33 170r35 174r30 175r35 181r23
92r7 De{17|579R9} 128m15 129r57 132r16 134r44 136r37 138r16 140r44 142r17
. 143r16 146r40 152r41 153r42 154r41 155r47 156r44 174r44
93i7 Number_To_Show{integer} 107m16 110m16 114r24
94i7 One_Screen{integer} 106r33 107r34
114i14 I{integer} 128r48 167r55
117q13 Do_Pause 125l17 125e25
202l4 Binary_Search 214r18 246r21 250r15 252l13 252e26
228i14 I<long_integer> 229r57
228l36 loop 237e18
239i14 I<long_integer> 240r57
239l32 loop 248e18
X 55 words_engine-word_package.ads
22K22*Word_Package 54|24w19 24r50 55|84e30
52i4*Scroll_Line_Number{integer} 54|120r18 123m19
55U14*Pause 54|122s19