Hugging Face's logo

Spaces:
grosenthal
/
aineid
Runtime error

App Files Community
aineid
File size: 10,005 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
 
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_RECURSION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U support_utils.word_parameters%b  support_utils-word_parameters.adb  dff65a0b OO PK
Z ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
Z ada.text_io%s		a-textio.adb		a-textio.ali
Z ada.text_io.enumeration_aux%s  a-tienau.adb	a-tienau.ali
W ada.text_io.enumeration_io%s
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.latin_file_names%s  latin_utils-latin_file_names.ads  latin_utils-latin_file_names.ali
W latin_utils.preface%s	latin_utils-preface.adb	latin_utils-preface.ali  E
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 system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.img_enum_new%s	s-imenne.adb		s-imenne.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W system.val_enum%s	s-valenu.adb		s-valenu.ali

U support_utils.word_parameters%s  support_utils-word_parameters.ads  e68cbbcf EE OO PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
Z ada.text_io.enumeration_aux%s  a-tienau.adb	a-tienau.ali
W ada.text_io.enumeration_io%s
W interfaces%s		interfac.ads		interfac.ali
W support_utils%s	support_utils.ads	support_utils.ali
W system%s		system.ads		system.ali
W system.img_enum_new%s	s-imenne.adb		s-imenne.ali
W system.val_enum%s	s-valenu.adb		s-valenu.ali

D ada.ads		20070406091342 3ffc8e18
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-tienau.ads		20090409150019 6a9c157b
D a-tienio.ads		20090409150019 fc618ae6
D a-tienio.adb		20140224170426 c9e6b5af
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-latin_file_names.ads  20230322220154 8f5ca59f
D latin_utils-preface.ads  20230322220154 e90a73bc
D latin_utils-strings_package.ads  20230322220154 9a865565
D support_utils.ads	20230322220154 f98bd89b
D support_utils-word_parameters.ads  20230322220154 276a9680
D support_utils-word_parameters.adb  20230322220154 d19940aa
D system.ads		20160213141829 90249111
D s-crtl.ads		20140225151544 840e6817
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-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-valenu.ads		20090409150019 bb1a4295
D s-wchcon.ads		20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 21|17r6 31r16 34r21 35r13 37r15 62r32 22|24r8 31r33 480r14
. 483r10 483r38 487r14 490r10 490r40
X 8 a-textio.ads
49K13*Text_IO 471e16 21|17w10 31r20 34r25 35r17 37r19 62r36 22|24r12 31r37
. 480r18 483r14 483r42 487r18 490r14 490r44
52P9*File_Type 21|31r28 34r33 35r25 37r27
53n23*In_File{53E9} 22|277r24
53n32*Out_File{53E9} 22|261r26 371r29 392r31 483r50 490r52
86U14*Create 22|261s7 371s13 392s13 483s22 490s22
92U14*Open 22|277s7
98U14*Close 22|259s10 268s7 283s7 366s10
107V13*Is_Open{boolean} 22|258s10 365s10 369s14 388s14 480s26 487s26
165U14*New_Line 22|266s10
166U14*New_Line 22|247s7 251s7 315s7 329s7 439s7
183V13*End_Of_File{boolean} 22|278s17
186U14*Set_Col 22|264s10
187U14*Set_Col 22|300s21
242U14*Put 22|300s7 300s35 301s38 422s7 423s7 428s13 430s13
249U14*Get_Line 22|302s7 424s7 431s13
263U14*Put_Line 22|249s10 305s13 325s7 327s7 374s16 395s16 436s13 445s10
. 469s13 471s13 475s13
294X4*Name_Error 22|286r12 466r15
X 10 a-tienio.ads
46k21*Enumeration_IO 75e31 21|62r44 22|31r45
51U14*Get 22|279s10[21|62] 280s10[31]
54U14*Put 22|263s10[21|62] 265s10[31]
60U14*Put 22|299s7[21|62] 301s7[31]
65U14*Get 22|311s13[31] 433s24[31]
X 15 latin_utils.ads
21K9*Latin_Utils 29e16 22|17r6 17r39 18r6 18r40 19r6 19r30 20r6 21r5
X 16 latin_utils-config.ads
17K21*Config 42e23 22|19w18 19r42
23n25*Interactive{23E9} 22|479r21
23n38*Command_Line_Input{23E9} 22|479r47
24e4*Method{23E9} 22|479r12 479r38
39V13*Path{string} 22|277s33
X 17 latin_utils-latin_file_names.ads
17K21*Latin_File_Names 69e33 22|18w18 18r52
51a4*Mode_Full_Name{string} 22|261r36 277r39 436r53
52a4*Output_Full_Name{string} 22|84r49 85r14 94r37 95r14 371r39 483r60
53a4*Unknowns_Full_Name{string} 22|119r31 120r14 392r41 491r12
X 18 latin_utils-preface.ads
18K21*Preface 30e24 22|20w18 458r10 485r10 492r10
24U14*Put_Line 22|458s18 485s18 492s18
X 19 latin_utils-strings_package.ads
26K21*Strings_Package 67e32 22|17w18 17r51
45V13*Trim{string} 22|304s13
X 20 support_utils.ads
21K9*Support_Utils 29e18 21|18r9 72r5 22|23r14 496r5
X 21 support_utils-word_parameters.ads
18K23*Word_Parameters 20|21k9 21|72l19 72e34 22|23b28 496l19 496t34
23e4*Change_Parameters_Character{character}
24e4*Change_Language_Character{character}
25e4*Help_Character{character}
31p4*Mode_File{8|52P9} 22|258r19 259m17 259r17 261m15 261r15 263r15 264r19
. 265r15 266r20 268m14 268r14 277m13 277r13 278r30 279r15 280r15 283m14 283r14
34p4*Output{8|52P9} 22|365r19 366m17 366r17 369r23 371m21 371r21 480r35 483m30
. 483r30
35p4*Input{8|52P9}
37p4*Unknowns{8|52P9} 22|388r23 392m21 392r21 487r35 490m30 490r30
41b4*Trimmed{boolean}
43E9*Mode_Type 60e23 62r60 64r30 22|274r12 292r28
44n6*Trim_Output{43E9} 22|40r6 361r16
45n6*Have_Output_File{43E9} 22|42r6 363r16 365r53 369r52 379r22 481r22
46n6*Write_Output_To_File{43E9} 22|43r6 367r22 380r19
47n6*Do_Unknowns_Only{43E9} 22|45r6 383r16
48n6*Write_Unknowns_To_File{43E9} 22|46r6 385r16 389r21 488r30
49n6*Ignore_Unknown_Names{43E9} 22|48r6 400r16
50n6*Ignore_Unknown_Caps{43E9} 22|49r6 402r16
51n6*Do_Compounds{43E9} 22|50r6 404r16
52n6*Do_Fixes{43E9} 22|51r6 406r16
53n6*Do_Tricks{43E9} 22|52r6 408r16
54n6*Do_Dictionary_Forms{43E9} 22|54r6 410r16
55n6*Show_Age{43E9} 22|55r6 412r16
56n6*Show_Frequency{43E9} 22|56r6 414r16
57n6*Do_Examples{43E9} 22|58r6 416r16
58n6*Do_Only_Meanings{43E9} 22|59r6 418r16
59n6*Do_Stems_For_Unknown{43E9} 22|60r6 420r16
62K12*Mode_Type_Io[10|46] 22|255r11 272r11 293r11
64A9*Mode_Array(boolean)<43E9> 66r17 22|39r34
66a4*Words_Mode{64A9} 22|262r16 265r33 281m10 301r19 312m13 365r41 367m10
. 369r40 379r10 389r9 451m7 467m13 473m13 476m13 481r10 488r18
68U14*Change_Parameters 22|318b14 447l8 447t25
70U14*Initialize_Word_Parameters 22|449b14 494l8 494t34
X 22 support_utils-word_parameters.adb
26A9 Help_Type(string)<integer> 28r23 65r32 81r37 92r41 102r37 117r43 131r41
. 141r40 152r33 160r29 172r30 186r40 193r29 201r35 209r32 214r37 222r41 232r36
. 245r26 292r49
27a4 Blank_Help_Line{string} 28r47
28a4 No_Help{26A9} 292r62
30E9 Reply_Type 30e29 31r61 32r40 33r36 275r13 297r12 321r12
30n24 N{30E9} 32r55
30n27 Y{30E9} 32r58
31K12 Reply_Type_Io[10|46] 256r11 273r11 294r11 433r10
32a4 Reply(30E9) 265r26 301r12
33a4 Mode_Of_Reply(boolean) 281r29 312r32 434r13
35X4 Blank_Input 306r19 442r12
39a4 Default_Mode_Array{21|64A9} 451r21 467r27 473r27 476r27
62X4 Bad_Mode_File 289r16 468r15
65a4 Trim_Output_Help{26A9} 361r29
81a4 Have_Output_File_Help{26A9} 363r34
92a4 Write_Output_To_File_Help{26A9} 380r41
102a4 Do_Unknowns_Only_Help{26A9} 383r34
117a4 Write_Unknowns_To_File_Help{26A9} 385r40
131a4 Ignore_Unknown_Names_Help{26A9} 400r38
141a4 Ignore_Unknown_Caps_Help{26A9} 402r37
152a4 Do_Compounds_Help{26A9} 404r30
160a4 Do_Fixes_Help{26A9} 406r26
172a4 Do_Tricks_Help{26A9} 408r27
186a4 Do_Dictionary_Forms_Help{26A9} 410r37
193a4 Show_Age_Help{26A9} 412r26
201a4 Show_Frequency_Help{26A9} 414r32
209a4 Do_Examples_Help{26A9} 416r29
214a4 Do_Only_Meanings_Help{26A9} 418r34
222a4 Do_Stems_For_Unknown_Help{26A9} 420r38
232a4 Save_Parameters_Help{26A9} 427r18
245U14 Put 245b14 245>19 252l8 252t11 308s13 427s13
245a19 Help{26A9} 248r16 248r30 249r20
248i11 I{integer} 249r26
254U14 Put_Modes 254b14 269l8 269t17 435s13
262e11 I{21|43E9} 263r26 265r45
271U14 Get_Modes 271b14 290l8 290t17 457s10
274e7 Mo{21|43E9} 279m26 281r22
275e7 Rep{30E9} 280m26 281r44
292U14 Inquire 292b14 292>23 292>39 309s13 316l8 316t15 361s7 363s7 380s10
. 383s7 385s7 400s7 402s7 404s7 406s7 408s7 410s7 412s7 414s7 416s7 418s7
. 420s7
292e23 Mo{21|43E9} 299r12 301r31 309r22 312r25
292a39 Help{26A9} 308r18 309r26
295a7 L1{string} 302m17 304r19 307r16 311r18
296i7 Ll{natural} 302m21 303r10 304r28 311r27 311m35
297e7 R{30E9} 311m32 312r47
319a7 L1{string} 424m17 426r13 431m23 433r29
320i7 Ll{natural} 424m21 425r10 431m27 433r38 433m46
321e7 R{30E9} 433m43 434r28
454q7 Do_Mode_File 477l11 477e23