[up]
|
|
drwxr-xr-x |
specs/
|
|
drwxr-xr-x |
sso/
|
|
drwxr-xr-x |
abstract1.adb
|
964 |
-rw-r--r-- |
abstract1.ads
|
619 |
-rw-r--r-- |
abstract_with_anonymous_result.adb
|
896 |
-rw-r--r-- |
access1.adb
|
414 |
-rw-r--r-- |
access2.adb
|
367 |
-rw-r--r-- |
access3.adb
|
318 |
-rw-r--r-- |
access3.ads
|
246 |
-rw-r--r-- |
access4.adb
|
147 |
-rw-r--r-- |
access_discr.adb
|
559 |
-rw-r--r-- |
access_discr2.adb
|
197 |
-rw-r--r-- |
access_func.adb
|
217 |
-rw-r--r-- |
access_test.adb
|
563 |
-rw-r--r-- |
addr1.adb
|
387 |
-rw-r--r-- |
addr1.ads
|
48 |
-rw-r--r-- |
addr2.adb
|
158 |
-rw-r--r-- |
addr2_p.adb
|
248 |
-rw-r--r-- |
addr2_p.ads
|
229 |
-rw-r--r-- |
addr3.adb
|
664 |
-rw-r--r-- |
addr4.adb
|
253 |
-rw-r--r-- |
addr5.adb
|
199 |
-rw-r--r-- |
addr6.adb
|
554 |
-rw-r--r-- |
addr7.adb
|
179 |
-rw-r--r-- |
addr7.ads
|
145 |
-rw-r--r-- |
addr8.adb
|
171 |
-rw-r--r-- |
addr8.ads
|
137 |
-rw-r--r-- |
addr9_1.adb
|
827 |
-rw-r--r-- |
addr9_2.adb
|
854 |
-rw-r--r-- |
addr9_3.adb
|
819 |
-rw-r--r-- |
addr9_4.adb
|
811 |
-rw-r--r-- |
addr_slice.adb
|
408 |
-rw-r--r-- |
address_conv.adb
|
322 |
-rw-r--r-- |
address_conversion.adb
|
452 |
-rw-r--r-- |
address_null_init.ads
|
226 |
-rw-r--r-- |
aggr1.adb
|
1228 |
-rw-r--r-- |
aggr10.adb
|
593 |
-rw-r--r-- |
aggr10_pkg.ads
|
460 |
-rw-r--r-- |
aggr11.adb
|
405 |
-rw-r--r-- |
aggr11_pkg.ads
|
283 |
-rw-r--r-- |
aggr12.adb
|
350 |
-rw-r--r-- |
aggr12.ads
|
261 |
-rw-r--r-- |
aggr13.adb
|
390 |
-rw-r--r-- |
aggr14.adb
|
91 |
-rw-r--r-- |
aggr14_pkg.adb
|
235 |
-rw-r--r-- |
aggr14_pkg.ads
|
148 |
-rw-r--r-- |
aggr15.adb
|
303 |
-rw-r--r-- |
aggr15.ads
|
233 |
-rw-r--r-- |
aggr16.adb
|
431 |
-rw-r--r-- |
aggr16.ads
|
50 |
-rw-r--r-- |
aggr16_pkg.ads
|
433 |
-rw-r--r-- |
aggr17.adb
|
554 |
-rw-r--r-- |
aggr18.adb
|
545 |
-rw-r--r-- |
aggr19.adb
|
253 |
-rw-r--r-- |
aggr19_pkg.adb
|
153 |
-rw-r--r-- |
aggr19_pkg.ads
|
570 |
-rw-r--r-- |
aggr2.adb
|
310 |
-rw-r--r-- |
aggr20.adb
|
147 |
-rw-r--r-- |
aggr20.ads
|
430 |
-rw-r--r-- |
aggr20_pkg.ads
|
140 |
-rw-r--r-- |
aggr21.adb
|
284 |
-rw-r--r-- |
aggr21_pkg.adb
|
135 |
-rw-r--r-- |
aggr21_pkg.ads
|
178 |
-rw-r--r-- |
aggr22.adb
|
262 |
-rw-r--r-- |
aggr22.ads
|
267 |
-rw-r--r-- |
aggr3.adb
|
842 |
-rw-r--r-- |
aggr4.adb
|
514 |
-rw-r--r-- |
aggr7.adb
|
813 |
-rw-r--r-- |
aggr8.adb
|
401 |
-rw-r--r-- |
aggr9.adb
|
162 |
-rw-r--r-- |
aggr9.ads
|
89 |
-rw-r--r-- |
aggr9_pkg.ads
|
231 |
-rw-r--r-- |
aliased1.adb
|
568 |
-rw-r--r-- |
aliased_prefix_accessibility.adb
|
1558 |
-rw-r--r-- |
aliasing1.adb
|
441 |
-rw-r--r-- |
aliasing1.ads
|
177 |
-rw-r--r-- |
aliasing2.adb
|
446 |
-rw-r--r-- |
aliasing2.ads
|
163 |
-rw-r--r-- |
aliasing3.adb
|
162 |
-rw-r--r-- |
aliasing3_pkg.adb
|
157 |
-rw-r--r-- |
aliasing3_pkg.ads
|
305 |
-rw-r--r-- |
align_check.adb
|
523 |
-rw-r--r-- |
align_max.adb
|
3832 |
-rw-r--r-- |
aligned_vla.adb
|
533 |
-rw-r--r-- |
alignment1.adb
|
247 |
-rw-r--r-- |
alignment10.adb
|
390 |
-rw-r--r-- |
alignment2.adb
|
1236 |
-rw-r--r-- |
alignment3.adb
|
915 |
-rw-r--r-- |
alignment4.adb
|
237 |
-rw-r--r-- |
alignment5.adb
|
654 |
-rw-r--r-- |
alignment6.adb
|
713 |
-rw-r--r-- |
alignment7.adb
|
306 |
-rw-r--r-- |
alignment8.adb
|
318 |
-rw-r--r-- |
alignment9.adb
|
444 |
-rw-r--r-- |
allocator_maxalign1.adb
|
964 |
-rw-r--r-- |
allocator_maxalign2.adb
|
669 |
-rw-r--r-- |
allocator_maxalign2.ads
|
211 |
-rw-r--r-- |
ancestor_type.adb
|
233 |
-rw-r--r-- |
ancestor_type.ads
|
200 |
-rw-r--r-- |
anon1.ads
|
66 |
-rw-r--r-- |
anon2.adb
|
120 |
-rw-r--r-- |
array1.adb
|
656 |
-rw-r--r-- |
array1.ads
|
151 |
-rw-r--r-- |
array10.adb
|
449 |
-rw-r--r-- |
array11.adb
|
333 |
-rw-r--r-- |
array12.adb
|
347 |
-rw-r--r-- |
array13.adb
|
211 |
-rw-r--r-- |
array13.ads
|
201 |
-rw-r--r-- |
array14.adb
|
682 |
-rw-r--r-- |
array14.ads
|
52 |
-rw-r--r-- |
array14_pkg.ads
|
455 |
-rw-r--r-- |
array15.adb
|
397 |
-rw-r--r-- |
array15.ads
|
78 |
-rw-r--r-- |
array16.adb
|
550 |
-rw-r--r-- |
array16.ads
|
537 |
-rw-r--r-- |
array16_pkg.ads
|
71 |
-rw-r--r-- |
array17.adb
|
242 |
-rw-r--r-- |
array17_pkg.ads
|
180 |
-rw-r--r-- |
array18.adb
|
125 |
-rw-r--r-- |
array18_pkg.ads
|
132 |
-rw-r--r-- |
array19.adb
|
531 |
-rw-r--r-- |
array19.ads
|
53 |
-rw-r--r-- |
array2.ads
|
129 |
-rw-r--r-- |
array20.adb
|
201 |
-rw-r--r-- |
array20.ads
|
60 |
-rw-r--r-- |
array21.adb
|
309 |
-rw-r--r-- |
array22.adb
|
385 |
-rw-r--r-- |
array23.adb
|
145 |
-rw-r--r-- |
array23_pkg1.ads
|
254 |
-rw-r--r-- |
array23_pkg2.ads
|
199 |
-rw-r--r-- |
array23_pkg3.ads
|
65 |
-rw-r--r-- |
array24.adb
|
257 |
-rw-r--r-- |
array25.adb
|
129 |
-rw-r--r-- |
array25_pkg.adb
|
250 |
-rw-r--r-- |
array25_pkg.ads
|
268 |
-rw-r--r-- |
array26.adb
|
357 |
-rw-r--r-- |
array26_pkg.adb
|
114 |
-rw-r--r-- |
array26_pkg.ads
|
157 |
-rw-r--r-- |
array27.adb
|
359 |
-rw-r--r-- |
array27_pkg.adb
|
114 |
-rw-r--r-- |
array27_pkg.ads
|
157 |
-rw-r--r-- |
array28.adb
|
359 |
-rw-r--r-- |
array28_pkg.adb
|
116 |
-rw-r--r-- |
array28_pkg.ads
|
157 |
-rw-r--r-- |
array29.adb
|
662 |
-rw-r--r-- |
array29.ads
|
135 |
-rw-r--r-- |
array3.adb
|
1110 |
-rw-r--r-- |
array4.adb
|
576 |
-rw-r--r-- |
array5.adb
|
575 |
-rw-r--r-- |
array6.adb
|
605 |
-rw-r--r-- |
array7.adb
|
488 |
-rw-r--r-- |
array7.ads
|
484 |
-rw-r--r-- |
array8.adb
|
575 |
-rw-r--r-- |
array9.adb
|
309 |
-rw-r--r-- |
array_bounds_test.adb
|
397 |
-rw-r--r-- |
array_bounds_test2.adb
|
525 |
-rw-r--r-- |
assert.ads
|
75 |
-rw-r--r-- |
assert1.adb
|
1086 |
-rw-r--r-- |
assign_from_packed.adb
|
257 |
-rw-r--r-- |
assign_from_packed_pixels.ads
|
335 |
-rw-r--r-- |
asynch.adb
|
556 |
-rw-r--r-- |
asynch.ads
|
199 |
-rw-r--r-- |
atomic1.adb
|
379 |
-rw-r--r-- |
atomic1_pkg.ads
|
1024 |
-rw-r--r-- |
atomic2.adb
|
214 |
-rw-r--r-- |
atomic3.adb
|
398 |
-rw-r--r-- |
atomic4.adb
|
270 |
-rw-r--r-- |
atomic4.ads
|
534 |
-rw-r--r-- |
atomic5.adb
|
341 |
-rw-r--r-- |
atomic5.ads
|
382 |
-rw-r--r-- |
atomic6_1.adb
|
1440 |
-rw-r--r-- |
atomic6_2.adb
|
1634 |
-rw-r--r-- |
atomic6_3.adb
|
1728 |
-rw-r--r-- |
atomic6_4.adb
|
1566 |
-rw-r--r-- |
atomic6_5.adb
|
1476 |
-rw-r--r-- |
atomic6_6.adb
|
1496 |
-rw-r--r-- |
atomic6_7.adb
|
1546 |
-rw-r--r-- |
atomic6_8.adb
|
1429 |
-rw-r--r-- |
atomic6_pkg.ads
|
600 |
-rw-r--r-- |
atomic7_1.adb
|
214 |
-rw-r--r-- |
atomic7_2.adb
|
143 |
-rw-r--r-- |
atomic7_pkg1.ads
|
152 |
-rw-r--r-- |
atomic7_pkg2.adb
|
217 |
-rw-r--r-- |
atomic7_pkg2.ads
|
77 |
-rw-r--r-- |
atomic8.adb
|
578 |
-rw-r--r-- |
bad_array.adb
|
146 |
-rw-r--r-- |
biased_subtype.adb
|
410 |
-rw-r--r-- |
biased_uc.adb
|
1067 |
-rw-r--r-- |
bip_aggregate_bug.adb
|
1341 |
-rw-r--r-- |
bip_prim_func.adb
|
277 |
-rw-r--r-- |
bip_prim_func.ads
|
222 |
-rw-r--r-- |
bit_packed_array1.adb
|
369 |
-rw-r--r-- |
bit_packed_array1.ads
|
934 |
-rw-r--r-- |
bit_packed_array2.adb
|
324 |
-rw-r--r-- |
bit_packed_array3.adb
|
971 |
-rw-r--r-- |
bit_packed_array4.adb
|
182 |
-rw-r--r-- |
bit_packed_array4.ads
|
411 |
-rw-r--r-- |
bit_packed_array5.adb
|
453 |
-rw-r--r-- |
bit_packed_array5.ads
|
363 |
-rw-r--r-- |
blkextract_from_reg.adb
|
1178 |
-rw-r--r-- |
bltins.adb
|
202 |
-rw-r--r-- |
boolean_bitfield.adb
|
1198 |
-rw-r--r-- |
boolean_conv.adb
|
536 |
-rw-r--r-- |
boolean_expr1.adb
|
781 |
-rw-r--r-- |
boolean_expr1.ads
|
95 |
-rw-r--r-- |
boolean_expr2.adb
|
314 |
-rw-r--r-- |
boolean_subtype1.adb
|
753 |
-rw-r--r-- |
boolean_subtype2.adb
|
945 |
-rw-r--r-- |
boolean_subtype2.ads
|
186 |
-rw-r--r-- |
boolean_subtype2_pkg.ads
|
285 |
-rw-r--r-- |
bug_elaboration_code.adb
|
184 |
-rw-r--r-- |
bug_elaboration_code.ads
|
119 |
-rw-r--r-- |
c_words.adb
|
288 |
-rw-r--r-- |
c_words.ads
|
469 |
-rw-r--r-- |
capture_value.adb
|
245 |
-rw-r--r-- |
case_character.adb
|
303 |
-rw-r--r-- |
case_null.adb
|
315 |
-rw-r--r-- |
case_null.ads
|
207 |
-rw-r--r-- |
case_optimization1.adb
|
518 |
-rw-r--r-- |
case_optimization1.ads
|
161 |
-rw-r--r-- |
case_optimization2.adb
|
276 |
-rw-r--r-- |
case_optimization_pkg1.ads
|
18675 |
-rw-r--r-- |
case_optimization_pkg2.adb
|
598 |
-rw-r--r-- |
case_optimization_pkg2.ads
|
764 |
-rw-r--r-- |
check1.adb
|
146 |
-rw-r--r-- |
check1.ads
|
207 |
-rw-r--r-- |
check_displace_generation.adb
|
1100 |
-rw-r--r-- |
check_elaboration_code.adb
|
197 |
-rw-r--r-- |
class_wide1.adb
|
489 |
-rw-r--r-- |
class_wide2.adb
|
287 |
-rw-r--r-- |
class_wide2.ads
|
311 |
-rw-r--r-- |
class_wide3.adb
|
191 |
-rw-r--r-- |
class_wide3_pkg.ads
|
332 |
-rw-r--r-- |
class_wide4.adb
|
522 |
-rw-r--r-- |
class_wide4_pkg.ads
|
503 |
-rw-r--r-- |
class_wide4_pkg2.ads
|
610 |
-rw-r--r-- |
complex1.adb
|
205 |
-rw-r--r-- |
complex1_pkg.ads
|
86 |
-rw-r--r-- |
compose.adb
|
293 |
-rw-r--r-- |
concat1.adb
|
482 |
-rw-r--r-- |
concat1_pkg.adb
|
117 |
-rw-r--r-- |
concat1_pkg.ads
|
89 |
-rw-r--r-- |
concat2.adb
|
362 |
-rw-r--r-- |
concat2.ads
|
55 |
-rw-r--r-- |
concat_length.adb
|
317 |
-rw-r--r-- |
cond_expr1.adb
|
177 |
-rw-r--r-- |
cond_expr2.adb
|
209 |
-rw-r--r-- |
cond_expr2.ads
|
82 |
-rw-r--r-- |
constant1.adb
|
134 |
-rw-r--r-- |
constant2.adb
|
171 |
-rw-r--r-- |
constant2_pkg1.ads
|
134 |
-rw-r--r-- |
constant2_pkg2.adb
|
184 |
-rw-r--r-- |
constant2_pkg2.ads
|
108 |
-rw-r--r-- |
constant3.adb
|
391 |
-rw-r--r-- |
constant4.adb
|
211 |
-rw-r--r-- |
constant4_pkg.ads
|
440 |
-rw-r--r-- |
controlled1.ads
|
372 |
-rw-r--r-- |
controlled2.adb
|
239 |
-rw-r--r-- |
controlled2.ads
|
101 |
-rw-r--r-- |
controlled3.ads
|
371 |
-rw-r--r-- |
controlled4.adb
|
192 |
-rw-r--r-- |
controlled4.ads
|
89 |
-rw-r--r-- |
controlled5.adb
|
141 |
-rw-r--r-- |
controlled5_pkg.adb
|
367 |
-rw-r--r-- |
controlled5_pkg.ads
|
369 |
-rw-r--r-- |
controlled6.adb
|
514 |
-rw-r--r-- |
controlled6_pkg-iterators.adb
|
560 |
-rw-r--r-- |
controlled6_pkg-iterators.ads
|
493 |
-rw-r--r-- |
controlled6_pkg.ads
|
212 |
-rw-r--r-- |
controlled7.adb
|
403 |
-rw-r--r-- |
controlled7.ads
|
146 |
-rw-r--r-- |
controlled_record.adb
|
281 |
-rw-r--r-- |
controlled_record.ads
|
329 |
-rw-r--r-- |
conv_bug.adb
|
685 |
-rw-r--r-- |
conv_decimal.adb
|
739 |
-rw-r--r-- |
conv_integer.adb
|
246 |
-rw-r--r-- |
conv_real.adb
|
568 |
-rw-r--r-- |
curr_task.adb
|
2246 |
-rw-r--r-- |
debug1.ads
|
502 |
-rw-r--r-- |
debug10.adb
|
1325 |
-rw-r--r-- |
debug10_pkg.ads
|
3492 |
-rw-r--r-- |
debug11.adb
|
891 |
-rw-r--r-- |
debug11_pkg.adb
|
914 |
-rw-r--r-- |
debug11_pkg.ads
|
267 |
-rw-r--r-- |
debug11_pkg2.ads
|
252 |
-rw-r--r-- |
debug12.adb
|
270 |
-rw-r--r-- |
debug12.ads
|
215 |
-rw-r--r-- |
debug13.adb
|
861 |
-rw-r--r-- |
debug13.ads
|
70 |
-rw-r--r-- |
debug14.adb
|
660 |
-rw-r--r-- |
debug2.adb
|
599 |
-rw-r--r-- |
debug2.ads
|
52 |
-rw-r--r-- |
debug2_pkg.ads
|
404 |
-rw-r--r-- |
debug3.adb
|
483 |
-rw-r--r-- |
debug3.ads
|
50 |
-rw-r--r-- |
debug4.adb
|
142 |
-rw-r--r-- |
debug4_pkg.adb
|
729 |
-rw-r--r-- |
debug4_pkg.ads
|
676 |
-rw-r--r-- |
debug5.adb
|
438 |
-rw-r--r-- |
debug6.adb
|
170 |
-rw-r--r-- |
debug6_pkg.ads
|
370 |
-rw-r--r-- |
debug7.adb
|
326 |
-rw-r--r-- |
debug7.ads
|
145 |
-rw-r--r-- |
debug8.adb
|
761 |
-rw-r--r-- |
debug9.adb
|
1624 |
-rw-r--r-- |
decl_ctx_def.ads
|
48 |
-rw-r--r-- |
decl_ctx_use.adb
|
229 |
-rw-r--r-- |
decl_ctx_use.ads
|
74 |
-rw-r--r-- |
default_pkg_actual.adb
|
534 |
-rw-r--r-- |
default_pkg_actual2.adb
|
446 |
-rw-r--r-- |
default_variants.adb
|
692 |
-rw-r--r-- |
deferred_const1.adb
|
276 |
-rw-r--r-- |
deferred_const2.adb
|
203 |
-rw-r--r-- |
deferred_const2_pkg.adb
|
201 |
-rw-r--r-- |
deferred_const2_pkg.ads
|
224 |
-rw-r--r-- |
deferred_const3.adb
|
344 |
-rw-r--r-- |
deferred_const3_pkg.adb
|
342 |
-rw-r--r-- |
deferred_const3_pkg.ads
|
356 |
-rw-r--r-- |
deferred_const4.adb
|
174 |
-rw-r--r-- |
deferred_const4.ads
|
279 |
-rw-r--r-- |
deferred_const4_pkg.ads
|
347 |
-rw-r--r-- |
deques.ads
|
400 |
-rw-r--r-- |
deref1.ads
|
104 |
-rw-r--r-- |
deref2.ads
|
344 |
-rw-r--r-- |
deref3.adb
|
172 |
-rw-r--r-- |
derived_aggregate.adb
|
666 |
-rw-r--r-- |
derived_type1.adb
|
601 |
-rw-r--r-- |
derived_type2.adb
|
633 |
-rw-r--r-- |
derived_type3.adb
|
124 |
-rw-r--r-- |
derived_type3_pkg.adb
|
1048 |
-rw-r--r-- |
derived_type3_pkg.ads
|
94 |
-rw-r--r-- |
derived_type4.adb
|
288 |
-rw-r--r-- |
dg.exp
|
1096 |
-rw-r--r-- |
dimensions.adb
|
94 |
-rw-r--r-- |
dimensions.ads
|
917 |
-rw-r--r-- |
discr1.ads
|
466 |
-rw-r--r-- |
discr10.adb
|
146 |
-rw-r--r-- |
discr10.ads
|
516 |
-rw-r--r-- |
discr11.adb
|
164 |
-rw-r--r-- |
discr11.ads
|
174 |
-rw-r--r-- |
discr11_pkg.ads
|
213 |
-rw-r--r-- |
discr12.adb
|
565 |
-rw-r--r-- |
discr12_pkg.ads
|
89 |
-rw-r--r-- |
discr13.adb
|
607 |
-rw-r--r-- |
discr14.adb
|
270 |
-rw-r--r-- |
discr14.ads
|
1063 |
-rw-r--r-- |
discr15.adb
|
312 |
-rw-r--r-- |
discr15_pkg.ads
|
436 |
-rw-r--r-- |
discr16.adb
|
404 |
-rw-r--r-- |
discr16_cont.ads
|
105 |
-rw-r--r-- |
discr16_g.ads
|
289 |
-rw-r--r-- |
discr16_pkg.ads
|
165 |
-rw-r--r-- |
discr17.adb
|
1085 |
-rw-r--r-- |
discr18.adb
|
499 |
-rw-r--r-- |
discr18_pkg.ads
|
470 |
-rw-r--r-- |
discr19.adb
|
342 |
-rw-r--r-- |
discr2.adb
|
372 |
-rw-r--r-- |
discr2.ads
|
53 |
-rw-r--r-- |
discr20.adb
|
141 |
-rw-r--r-- |
discr20.ads
|
605 |
-rw-r--r-- |
discr21.adb
|
584 |
-rw-r--r-- |
discr21.ads
|
52 |
-rw-r--r-- |
discr21_pkg.ads
|
351 |
-rw-r--r-- |
discr22.adb
|
404 |
-rw-r--r-- |
discr23.adb
|
280 |
-rw-r--r-- |
discr23.ads
|
53 |
-rw-r--r-- |
discr23_pkg.ads
|
221 |
-rw-r--r-- |
discr24.adb
|
1192 |
-rw-r--r-- |
discr25.adb
|
140 |
-rw-r--r-- |
discr25_pkg.adb
|
463 |
-rw-r--r-- |
discr25_pkg.ads
|
195 |
-rw-r--r-- |
discr26.adb
|
258 |
-rw-r--r-- |
discr26.ads
|
245 |
-rw-r--r-- |
discr26_pkg.ads
|
71 |
-rw-r--r-- |
discr27.adb
|
605 |
-rw-r--r-- |
discr27.ads
|
53 |
-rw-r--r-- |
discr28.adb
|
307 |
-rw-r--r-- |
discr28.ads
|
337 |
-rw-r--r-- |
discr28_pkg.ads
|
71 |
-rw-r--r-- |
discr29.adb
|
139 |
-rw-r--r-- |
discr29.ads
|
420 |
-rw-r--r-- |
discr3.ads
|
299 |
-rw-r--r-- |
discr30.adb
|
1194 |
-rw-r--r-- |
discr31.adb
|
226 |
-rw-r--r-- |
discr31.ads
|
370 |
-rw-r--r-- |
discr32.adb
|
327 |
-rw-r--r-- |
discr32_pkg.ads
|
472 |
-rw-r--r-- |
discr33.adb
|
610 |
-rw-r--r-- |
discr34.adb
|
121 |
-rw-r--r-- |
discr34_pkg.ads
|
271 |
-rw-r--r-- |
discr35.adb
|
215 |
-rw-r--r-- |
discr35.ads
|
361 |
-rw-r--r-- |
discr36.adb
|
298 |
-rw-r--r-- |
discr36.ads
|
206 |
-rw-r--r-- |
discr36_pkg.adb
|
151 |
-rw-r--r-- |
discr36_pkg.ads
|
101 |
-rw-r--r-- |
discr37.adb
|
217 |
-rw-r--r-- |
discr37.ads
|
463 |
-rw-r--r-- |
discr38.adb
|
941 |
-rw-r--r-- |
discr39.adb
|
456 |
-rw-r--r-- |
discr4.adb
|
894 |
-rw-r--r-- |
discr40.adb
|
231 |
-rw-r--r-- |
discr40.ads
|
719 |
-rw-r--r-- |
discr41.adb
|
168 |
-rw-r--r-- |
discr41.ads
|
437 |
-rw-r--r-- |
discr42.adb
|
265 |
-rw-r--r-- |
discr42_pkg.adb
|
255 |
-rw-r--r-- |
discr42_pkg.ads
|
249 |
-rw-r--r-- |
discr43.adb
|
382 |
-rw-r--r-- |
discr44.adb
|
496 |
-rw-r--r-- |
discr45.adb
|
810 |
-rw-r--r-- |
discr46.adb
|
244 |
-rw-r--r-- |
discr46.ads
|
450 |
-rw-r--r-- |
discr47.adb
|
299 |
-rw-r--r-- |
discr48.adb
|
201 |
-rw-r--r-- |
discr48_pkg.ads
|
449 |
-rw-r--r-- |
discr5.adb
|
323 |
-rw-r--r-- |
discr7.adb
|
436 |
-rw-r--r-- |
discr8.adb
|
636 |
-rw-r--r-- |
discr8.ads
|
350 |
-rw-r--r-- |
discr8_pkg1.ads
|
203 |
-rw-r--r-- |
discr8_pkg2.ads
|
236 |
-rw-r--r-- |
discr8_pkg3.ads
|
73 |
-rw-r--r-- |
discr9.adb
|
188 |
-rw-r--r-- |
discr9.ads
|
475 |
-rw-r--r-- |
discr_range_check.adb
|
415 |
-rw-r--r-- |
discr_test.adb
|
437 |
-rw-r--r-- |
discr_test2.adb
|
381 |
-rw-r--r-- |
dispatch1.adb
|
168 |
-rw-r--r-- |
dispatch1_p.ads
|
95 |
-rw-r--r-- |
dispatch2.adb
|
199 |
-rw-r--r-- |
dispatch2_p.adb
|
152 |
-rw-r--r-- |
dispatch2_p.ads
|
260 |
-rw-r--r-- |
div_no_warning.adb
|
293 |
-rw-r--r-- |
dse_step.adb
|
361 |
-rw-r--r-- |
dse_step.ads
|
411 |
-rw-r--r-- |
dynamic_bound.adb
|
529 |
-rw-r--r-- |
dynamic_elab1.adb
|
271 |
-rw-r--r-- |
dynamic_elab1.ads
|
198 |
-rw-r--r-- |
dynamic_elab2.adb
|
271 |
-rw-r--r-- |
dynamic_elab2.ads
|
215 |
-rw-r--r-- |
dynamic_elab_pkg.ads
|
153 |
-rw-r--r-- |
elab1.ads
|
474 |
-rw-r--r-- |
elab2.adb
|
123 |
-rw-r--r-- |
elim1.adb
|
83 |
-rw-r--r-- |
elim1.ads
|
111 |
-rw-r--r-- |
elim2.adb
|
70 |
-rw-r--r-- |
empty_vector_length.adb
|
395 |
-rw-r--r-- |
enclosing_record_reference.adb
|
888 |
-rw-r--r-- |
enclosing_record_reference.ads
|
618 |
-rw-r--r-- |
entry_family.adb
|
573 |
-rw-r--r-- |
entry_queues.adb
|
1078 |
-rw-r--r-- |
entry_queues2.adb
|
834 |
-rw-r--r-- |
entry_queues3.adb
|
480 |
-rw-r--r-- |
enum1.adb
|
247 |
-rw-r--r-- |
enum1_pkg.ads
|
128 |
-rw-r--r-- |
enum2.adb
|
274 |
-rw-r--r-- |
enum2_pkg.ads
|
237 |
-rw-r--r-- |
enum3.adb
|
522 |
-rw-r--r-- |
env_compile_capacity.adb
|
957 |
-rw-r--r-- |
env_compile_capacity.ads
|
60 |
-rw-r--r-- |
equal1.ads
|
286 |
-rw-r--r-- |
equal_access.adb
|
142 |
-rw-r--r-- |
exp0_eval.adb
|
620 |
-rw-r--r-- |
expect1.adb
|
300 |
-rw-r--r-- |
ext1.ads
|
377 |
-rw-r--r-- |
fatp_sra.adb
|
234 |
-rw-r--r-- |
finalized.adb
|
220 |
-rw-r--r-- |
fixce.adb
|
322 |
-rw-r--r-- |
fixedpnt.adb
|
186 |
-rw-r--r-- |
forward_anon.adb
|
151 |
-rw-r--r-- |
forward_anon.ads
|
266 |
-rw-r--r-- |
forward_vla.adb
|
419 |
-rw-r--r-- |
fp_exception.adb
|
518 |
-rw-r--r-- |
frame_overflow.adb
|
558 |
-rw-r--r-- |
frame_overflow.ads
|
423 |
-rw-r--r-- |
frunaligned.adb
|
159 |
-rw-r--r-- |
frunaligned1.ads
|
260 |
-rw-r--r-- |
g_tables.adb
|
175 |
-rw-r--r-- |
g_tables.ads
|
225 |
-rw-r--r-- |
gen_disp.adb
|
1375 |
-rw-r--r-- |
gen_disp.ads
|
299 |
-rw-r--r-- |
generic_dispatch.adb
|
236 |
-rw-r--r-- |
generic_dispatch_p.adb
|
166 |
-rw-r--r-- |
generic_dispatch_p.ads
|
525 |
-rw-r--r-- |
gnat_malloc.adb
|
422 |
-rw-r--r-- |
gnatg.adb
|
305 |
-rw-r--r-- |
graphic.adb
|
538 |
-rw-r--r-- |
graphic.ads
|
216 |
-rw-r--r-- |
handle_and_return.adb
|
282 |
-rw-r--r-- |
handle_raise_from_pure.adb
|
270 |
-rw-r--r-- |
hyper_flat.adb
|
312 |
-rw-r--r-- |
ice_type.adb
|
187 |
-rw-r--r-- |
ice_types.ads
|
150 |
-rw-r--r-- |
iface1.ads
|
408 |
-rw-r--r-- |
iface2.adb
|
140 |
-rw-r--r-- |
iface2.ads
|
144 |
-rw-r--r-- |
iface_test.adb
|
689 |
-rw-r--r-- |
iface_test.ads
|
450 |
-rw-r--r-- |
ifaces.adb
|
157 |
-rw-r--r-- |
ifaces.ads
|
401 |
-rw-r--r-- |
import1.adb
|
340 |
-rw-r--r-- |
import1.ads
|
124 |
-rw-r--r-- |
in_mod_conv.adb
|
558 |
-rw-r--r-- |
in_out_parameter.adb
|
799 |
-rw-r--r-- |
in_out_parameter2.adb
|
364 |
-rw-r--r-- |
in_out_parameter3.adb
|
726 |
-rw-r--r-- |
in_out_parameter4.adb
|
574 |
-rw-r--r-- |
include.adb
|
128 |
-rw-r--r-- |
incomplete1.ads
|
66 |
-rw-r--r-- |
incomplete2.adb
|
134 |
-rw-r--r-- |
incomplete2.ads
|
223 |
-rw-r--r-- |
incomplete3.adb
|
343 |
-rw-r--r-- |
incomplete3.ads
|
486 |
-rw-r--r-- |
incomplete4.adb
|
158 |
-rw-r--r-- |
incomplete4_pkg.ads
|
181 |
-rw-r--r-- |
incomplete5.adb
|
167 |
-rw-r--r-- |
incomplete5.ads
|
357 |
-rw-r--r-- |
incomplete5_pkg.adb
|
284 |
-rw-r--r-- |
incomplete5_pkg.ads
|
333 |
-rw-r--r-- |
init_scalar1.adb
|
405 |
-rw-r--r-- |
inline1.adb
|
177 |
-rw-r--r-- |
inline10.adb
|
144 |
-rw-r--r-- |
inline10_pkg.adb
|
360 |
-rw-r--r-- |
inline10_pkg.ads
|
100 |
-rw-r--r-- |
inline11.adb
|
145 |
-rw-r--r-- |
inline11_pkg.adb
|
245 |
-rw-r--r-- |
inline11_pkg.ads
|
102 |
-rw-r--r-- |
inline12.adb
|
321 |
-rw-r--r-- |
inline13.adb
|
436 |
-rw-r--r-- |
inline13.ads
|
154 |
-rw-r--r-- |
inline13_pkg.adb
|
148 |
-rw-r--r-- |
inline13_pkg.ads
|
189 |
-rw-r--r-- |
inline1_pkg.adb
|
1032 |
-rw-r--r-- |
inline1_pkg.ads
|
216 |
-rw-r--r-- |
inline2.adb
|
216 |
-rw-r--r-- |
inline2_pkg.adb
|
1032 |
-rw-r--r-- |
inline2_pkg.ads
|
202 |
-rw-r--r-- |
inline3.adb
|
225 |
-rw-r--r-- |
inline3_pkg.adb
|
247 |
-rw-r--r-- |
inline3_pkg.ads
|
105 |
-rw-r--r-- |
inline4.adb
|
102 |
-rw-r--r-- |
inline4_pkg.adb
|
276 |
-rw-r--r-- |
inline4_pkg.ads
|
105 |
-rw-r--r-- |
inline5.adb
|
261 |
-rw-r--r-- |
inline5_pkg.adb
|
246 |
-rw-r--r-- |
inline5_pkg.ads
|
98 |
-rw-r--r-- |
inline6.adb
|
141 |
-rw-r--r-- |
inline6_pkg.adb
|
269 |
-rw-r--r-- |
inline6_pkg.ads
|
98 |
-rw-r--r-- |
inline7.adb
|
263 |
-rw-r--r-- |
inline7_pkg1.adb
|
227 |
-rw-r--r-- |
inline7_pkg1.ads
|
100 |
-rw-r--r-- |
inline7_pkg2.adb
|
130 |
-rw-r--r-- |
inline7_pkg2.ads
|
117 |
-rw-r--r-- |
inline8.adb
|
143 |
-rw-r--r-- |
inline8_pkg1.adb
|
250 |
-rw-r--r-- |
inline8_pkg1.ads
|
100 |
-rw-r--r-- |
inline8_pkg2.adb
|
130 |
-rw-r--r-- |
inline8_pkg2.ads
|
117 |
-rw-r--r-- |
inline9.adb
|
261 |
-rw-r--r-- |
inline9_pkg.adb
|
335 |
-rw-r--r-- |
inline9_pkg.ads
|
98 |
-rw-r--r-- |
inline_scope.adb
|
362 |
-rw-r--r-- |
inline_scope_p.adb
|
174 |
-rw-r--r-- |
inline_scope_p.ads
|
116 |
-rw-r--r-- |
inline_tagged.adb
|
935 |
-rw-r--r-- |
interface1.adb
|
481 |
-rw-r--r-- |
interface2.adb
|
490 |
-rw-r--r-- |
interface3.adb
|
709 |
-rw-r--r-- |
interface4.adb
|
279 |
-rw-r--r-- |
interface5.adb
|
186 |
-rw-r--r-- |
interface5.ads
|
258 |
-rw-r--r-- |
interface_conv.adb
|
381 |
-rw-r--r-- |
invalid1.adb
|
1084 |
-rw-r--r-- |
invariant_index.adb
|
337 |
-rw-r--r-- |
invariant_index.ads
|
142 |
-rw-r--r-- |
iprot_test.adb
|
772 |
-rw-r--r-- |
itype.adb
|
161 |
-rw-r--r-- |
itype.ads
|
113 |
-rw-r--r-- |
itypes.adb
|
519 |
-rw-r--r-- |
itypes.ads
|
45 |
-rw-r--r-- |
kill_value.adb
|
368 |
-rw-r--r-- |
late_overriding.adb
|
401 |
-rw-r--r-- |
layered_abstraction.adb
|
442 |
-rw-r--r-- |
layered_abstraction.ads
|
626 |
-rw-r--r-- |
layered_abstraction_p.ads
|
108 |
-rw-r--r-- |
layered_instance.adb
|
305 |
-rw-r--r-- |
lhs_view_convert.adb
|
544 |
-rw-r--r-- |
limited_with.adb
|
170 |
-rw-r--r-- |
limited_with.ads
|
120 |
-rw-r--r-- |
limited_with2.adb
|
200 |
-rw-r--r-- |
limited_with2.ads
|
207 |
-rw-r--r-- |
limited_with2_pkg1.ads
|
170 |
-rw-r--r-- |
limited_with2_pkg2.ads
|
145 |
-rw-r--r-- |
limited_with3.adb
|
137 |
-rw-r--r-- |
limited_with3.ads
|
298 |
-rw-r--r-- |
limited_with3_pkg1.adb
|
467 |
-rw-r--r-- |
limited_with3_pkg1.ads
|
788 |
-rw-r--r-- |
limited_with3_pkg2.ads
|
181 |
-rw-r--r-- |
limited_with3_pkg3.ads
|
246 |
-rw-r--r-- |
limited_with4.adb
|
921 |
-rw-r--r-- |
limited_with4.ads
|
756 |
-rw-r--r-- |
limited_with4_pkg.ads
|
356 |
-rw-r--r-- |
limited_with5.adb
|
290 |
-rw-r--r-- |
limited_with5.ads
|
144 |
-rw-r--r-- |
limited_with5_pkg.adb
|
232 |
-rw-r--r-- |
limited_with5_pkg.ads
|
227 |
-rw-r--r-- |
limited_with6.adb
|
290 |
-rw-r--r-- |
limited_with6.ads
|
216 |
-rw-r--r-- |
limited_with6_pkg.adb
|
276 |
-rw-r--r-- |
limited_with6_pkg.ads
|
299 |
-rw-r--r-- |
loop_address.adb
|
487 |
-rw-r--r-- |
loop_address2.adb
|
534 |
-rw-r--r-- |
loop_boolean.adb
|
276 |
-rw-r--r-- |
loop_bound.adb
|
623 |
-rw-r--r-- |
loop_optimization1.adb
|
632 |
-rw-r--r-- |
loop_optimization1.ads
|
846 |
-rw-r--r-- |
loop_optimization10.adb
|
418 |
-rw-r--r-- |
loop_optimization10.ads
|
360 |
-rw-r--r-- |
loop_optimization10_pkg.ads
|
250 |
-rw-r--r-- |
loop_optimization11.adb
|
468 |
-rw-r--r-- |
loop_optimization11_pkg.ads
|
276 |
-rw-r--r-- |
loop_optimization12.adb
|
618 |
-rw-r--r-- |
loop_optimization12.ads
|
554 |
-rw-r--r-- |
loop_optimization13.adb
|
537 |
-rw-r--r-- |
loop_optimization13.ads
|
451 |
-rw-r--r-- |
loop_optimization13_pkg.ads
|
82 |
-rw-r--r-- |
loop_optimization14.adb
|
554 |
-rw-r--r-- |
loop_optimization14.ads
|
209 |
-rw-r--r-- |
loop_optimization14_pkg.ads
|
106 |
-rw-r--r-- |
loop_optimization15.adb
|
459 |
-rw-r--r-- |
loop_optimization15.ads
|
181 |
-rw-r--r-- |
loop_optimization16.adb
|
450 |
-rw-r--r-- |
loop_optimization16_pkg.adb
|
155 |
-rw-r--r-- |
loop_optimization16_pkg.ads
|
133 |
-rw-r--r-- |
loop_optimization17.adb
|
438 |
-rw-r--r-- |
loop_optimization17_pkg.adb
|
135 |
-rw-r--r-- |
loop_optimization17_pkg.ads
|
611 |
-rw-r--r-- |
loop_optimization18.adb
|
291 |
-rw-r--r-- |
loop_optimization18.ads
|
165 |
-rw-r--r-- |
loop_optimization18_pkg.ads
|
345 |
-rw-r--r-- |
loop_optimization19.adb
|
985 |
-rw-r--r-- |
loop_optimization2.adb
|
1253 |
-rw-r--r-- |
loop_optimization2.ads
|
1180 |
-rw-r--r-- |
loop_optimization20.adb
|
774 |
-rw-r--r-- |
loop_optimization21.adb
|
463 |
-rw-r--r-- |
loop_optimization21.ads
|
189 |
-rw-r--r-- |
loop_optimization22.adb
|
425 |
-rw-r--r-- |
loop_optimization22.ads
|
150 |
-rw-r--r-- |
loop_optimization23.adb
|
305 |
-rw-r--r-- |
loop_optimization23_pkg.adb
|
280 |
-rw-r--r-- |
loop_optimization23_pkg.ads
|
435 |
-rw-r--r-- |
loop_optimization3.adb
|
315 |
-rw-r--r-- |
loop_optimization3_pkg.adb
|
143 |
-rw-r--r-- |
loop_optimization3_pkg.ads
|
107 |
-rw-r--r-- |
loop_optimization4.adb
|
162 |
-rw-r--r-- |
loop_optimization4_pkg.adb
|
461 |
-rw-r--r-- |
loop_optimization4_pkg.ads
|
265 |
-rw-r--r-- |
loop_optimization5.adb
|
579 |
-rw-r--r-- |
loop_optimization5_pkg.ads
|
191 |
-rw-r--r-- |
loop_optimization6.adb
|
433 |
-rw-r--r-- |
loop_optimization6.ads
|
92 |
-rw-r--r-- |
loop_optimization7.adb
|
334 |
-rw-r--r-- |
loop_optimization7.ads
|
191 |
-rw-r--r-- |
loop_optimization7_pkg.ads
|
171 |
-rw-r--r-- |
loop_optimization8.adb
|
597 |
-rw-r--r-- |
loop_optimization8_pkg1.adb
|
381 |
-rw-r--r-- |
loop_optimization8_pkg1.ads
|
468 |
-rw-r--r-- |
loop_optimization8_pkg2.adb
|
285 |
-rw-r--r-- |
loop_optimization8_pkg2.ads
|
392 |
-rw-r--r-- |
loop_optimization9.adb
|
3357 |
-rw-r--r-- |
loop_optimization9.ads
|
432 |
-rw-r--r-- |
loop_unchecked_conversion.adb
|
714 |
-rw-r--r-- |
loop_unchecked_conversion.ads
|
90 |
-rw-r--r-- |
lto1.adb
|
256 |
-rw-r--r-- |
lto10.adb
|
252 |
-rw-r--r-- |
lto10_pkg.ads
|
329 |
-rw-r--r-- |
lto11.adb
|
459 |
-rw-r--r-- |
lto11.ads
|
198 |
-rw-r--r-- |
lto13.adb
|
133 |
-rw-r--r-- |
lto13_pkg.adb
|
132 |
-rw-r--r-- |
lto13_pkg.ads
|
76 |
-rw-r--r-- |
lto14.adb
|
177 |
-rw-r--r-- |
lto15.adb
|
197 |
-rw-r--r-- |
lto15.ads
|
207 |
-rw-r--r-- |
lto16.adb
|
288 |
-rw-r--r-- |
lto16_pkg.adb
|
338 |
-rw-r--r-- |
lto16_pkg.ads
|
65 |
-rw-r--r-- |
lto17.adb
|
228 |
-rw-r--r-- |
lto17.ads
|
446 |
-rw-r--r-- |
lto18.adb
|
365 |
-rw-r--r-- |
lto18.ads
|
97 |
-rw-r--r-- |
lto18_pkg.ads
|
656 |
-rw-r--r-- |
lto19.adb
|
246 |
-rw-r--r-- |
lto19_pkg1.adb
|
92 |
-rw-r--r-- |
lto19_pkg1.ads
|
206 |
-rw-r--r-- |
lto19_pkg2.adb
|
98 |
-rw-r--r-- |
lto19_pkg2.ads
|
70 |
-rw-r--r-- |
lto1_pkg.adb
|
570 |
-rw-r--r-- |
lto1_pkg.ads
|
737 |
-rw-r--r-- |
lto2.adb
|
589 |
-rw-r--r-- |
lto20.adb
|
207 |
-rw-r--r-- |
lto20_pkg.adb
|
143 |
-rw-r--r-- |
lto20_pkg.ads
|
308 |
-rw-r--r-- |
lto21.adb
|
153 |
-rw-r--r-- |
lto21_pkg1.ads
|
194 |
-rw-r--r-- |
lto21_pkg2.adb
|
670 |
-rw-r--r-- |
lto21_pkg2.ads
|
59 |
-rw-r--r-- |
lto4.adb
|
281 |
-rw-r--r-- |
lto4.ads
|
581 |
-rw-r--r-- |
lto5.adb
|
113 |
-rw-r--r-- |
lto5_pkg.adb
|
85 |
-rw-r--r-- |
lto5_pkg.ads
|
108 |
-rw-r--r-- |
lto6.adb
|
284 |
-rw-r--r-- |
lto6_pkg.ads
|
235 |
-rw-r--r-- |
lto7.adb
|
253 |
-rw-r--r-- |
lto7_pkg.adb
|
143 |
-rw-r--r-- |
lto7_pkg.ads
|
390 |
-rw-r--r-- |
lto8.adb
|
382 |
-rw-r--r-- |
lto8_pkg.adb
|
183 |
-rw-r--r-- |
lto8_pkg.ads
|
480 |
-rw-r--r-- |
lto9.adb
|
267 |
-rw-r--r-- |
lto9_pkg1.ads
|
623 |
-rw-r--r-- |
lto9_pkg2.adb
|
249 |
-rw-r--r-- |
lto9_pkg2.ads
|
482 |
-rw-r--r-- |
machine_code1.adb
|
308 |
-rw-r--r-- |
max_align.adb
|
256 |
-rw-r--r-- |
md5_test.adb
|
379 |
-rw-r--r-- |
memtrap.adb
|
273 |
-rw-r--r-- |
misaligned_nest.adb
|
387 |
-rw-r--r-- |
misaligned_param.adb
|
633 |
-rw-r--r-- |
misaligned_param_pkg.adb
|
305 |
-rw-r--r-- |
misaligned_param_pkg.ads
|
108 |
-rw-r--r-- |
misaligned_volatile.adb
|
526 |
-rw-r--r-- |
missing_acc_check.adb
|
807 |
-rw-r--r-- |
modify_a_constant.adb
|
566 |
-rw-r--r-- |
modular1.adb
|
424 |
-rw-r--r-- |
modular2.adb
|
113 |
-rw-r--r-- |
modular3.adb
|
454 |
-rw-r--r-- |
modular3_pkg.ads
|
239 |
-rw-r--r-- |
modular4.adb
|
185 |
-rw-r--r-- |
modular4_pkg.ads
|
130 |
-rw-r--r-- |
mutable1.adb
|
668 |
-rw-r--r-- |
my_env_versioned_value_set_g.ads
|
201 |
-rw-r--r-- |
named_test.adb
|
559 |
-rw-r--r-- |
namet.ads
|
196 |
-rw-r--r-- |
nan_max.adb
|
528 |
-rw-r--r-- |
nat1.ads
|
162 |
-rw-r--r-- |
nat1r.adb
|
221 |
-rw-r--r-- |
nested_agg_bitfield_constructor.adb
|
693 |
-rw-r--r-- |
nested_controlled_alloc.adb
|
1021 |
-rw-r--r-- |
nested_float_packed.ads
|
438 |
-rw-r--r-- |
nested_generic1.adb
|
212 |
-rw-r--r-- |
nested_generic1_pkg.adb
|
229 |
-rw-r--r-- |
nested_generic1_pkg.ads
|
191 |
-rw-r--r-- |
nested_proc1.adb
|
567 |
-rw-r--r-- |
nested_proc2.adb
|
443 |
-rw-r--r-- |
nested_return_test.adb
|
892 |
-rw-r--r-- |
nested_subtype_byref.adb
|
398 |
-rw-r--r-- |
nested_subtype_byref.ads
|
58 |
-rw-r--r-- |
no_exc_prop.adb
|
327 |
-rw-r--r-- |
no_exc_prop.ads
|
233 |
-rw-r--r-- |
no_final.adb
|
564 |
-rw-r--r-- |
noinline2.adb
|
455 |
-rw-r--r-- |
noinline2.ads
|
84 |
-rw-r--r-- |
noreturn1.adb
|
330 |
-rw-r--r-- |
noreturn1.ads
|
159 |
-rw-r--r-- |
noreturn2.adb
|
599 |
-rw-r--r-- |
noreturn2.ads
|
166 |
-rw-r--r-- |
noreturn3.adb
|
533 |
-rw-r--r-- |
noreturn3.ads
|
227 |
-rw-r--r-- |
noreturn4.adb
|
348 |
-rw-r--r-- |
noreturn4.ads
|
214 |
-rw-r--r-- |
noreturn4_pkg.ads
|
410 |
-rw-r--r-- |
noreturn5.adb
|
644 |
-rw-r--r-- |
noreturn5.ads
|
132 |
-rw-r--r-- |
not_null.adb
|
487 |
-rw-r--r-- |
notnot.adb
|
201 |
-rw-r--r-- |
null_pointer_deref1.adb
|
525 |
-rw-r--r-- |
null_pointer_deref2.adb
|
611 |
-rw-r--r-- |
null_pointer_deref3.adb
|
549 |
-rw-r--r-- |
oalign1.ads
|
108 |
-rw-r--r-- |
oalign2.ads
|
108 |
-rw-r--r-- |
object_overflow1.adb
|
245 |
-rw-r--r-- |
object_overflow2.adb
|
255 |
-rw-r--r-- |
object_overflow3.adb
|
322 |
-rw-r--r-- |
object_overflow4.adb
|
424 |
-rw-r--r-- |
object_overflow5.adb
|
430 |
-rw-r--r-- |
oconst1.adb
|
300 |
-rw-r--r-- |
oconst1.ads
|
382 |
-rw-r--r-- |
oconst2.adb
|
241 |
-rw-r--r-- |
oconst2.ads
|
351 |
-rw-r--r-- |
oconst3.adb
|
269 |
-rw-r--r-- |
oconst3.ads
|
426 |
-rw-r--r-- |
oconst4.adb
|
519 |
-rw-r--r-- |
oconst4.ads
|
1375 |
-rw-r--r-- |
oconst5.adb
|
299 |
-rw-r--r-- |
oconst5.ads
|
522 |
-rw-r--r-- |
old_errors.ads
|
66 |
-rw-r--r-- |
opt1.adb
|
644 |
-rw-r--r-- |
opt1.ads
|
310 |
-rw-r--r-- |
opt10.adb
|
477 |
-rw-r--r-- |
opt10_pkg.ads
|
297 |
-rw-r--r-- |
opt11.adb
|
160 |
-rw-r--r-- |
opt11.ads
|
316 |
-rw-r--r-- |
opt12.adb
|
288 |
-rw-r--r-- |
opt12_pkg.adb
|
149 |
-rw-r--r-- |
opt12_pkg.ads
|
245 |
-rw-r--r-- |
opt13.adb
|
186 |
-rw-r--r-- |
opt13_pkg.adb
|
587 |
-rw-r--r-- |
opt13_pkg.ads
|
192 |
-rw-r--r-- |
opt14.adb
|
364 |
-rw-r--r-- |
opt15.adb
|
221 |
-rw-r--r-- |
opt15_pkg.adb
|
184 |
-rw-r--r-- |
opt15_pkg.ads
|
98 |
-rw-r--r-- |
opt16.adb
|
723 |
-rw-r--r-- |
opt17.adb
|
196 |
-rw-r--r-- |
opt17.ads
|
89 |
-rw-r--r-- |
opt18.adb
|
986 |
-rw-r--r-- |
opt18.ads
|
642 |
-rw-r--r-- |
opt18_pkg.ads
|
529 |
-rw-r--r-- |
opt19.adb
|
477 |
-rw-r--r-- |
opt2.adb
|
564 |
-rw-r--r-- |
opt20.adb
|
504 |
-rw-r--r-- |
opt20.ads
|
114 |
-rw-r--r-- |
opt20_pkg.ads
|
263 |
-rw-r--r-- |
opt21.adb
|
167 |
-rw-r--r-- |
opt21_pkg.adb
|
352 |
-rw-r--r-- |
opt21_pkg.ads
|
298 |
-rw-r--r-- |
opt22.adb
|
301 |
-rw-r--r-- |
opt22_pkg.adb
|
239 |
-rw-r--r-- |
opt22_pkg.ads
|
89 |
-rw-r--r-- |
opt23.adb
|
355 |
-rw-r--r-- |
opt23.ads
|
97 |
-rw-r--r-- |
opt23_pkg.adb
|
156 |
-rw-r--r-- |
opt23_pkg.ads
|
654 |
-rw-r--r-- |
opt24.adb
|
307 |
-rw-r--r-- |
opt24.ads
|
97 |
-rw-r--r-- |
opt25.adb
|
354 |
-rw-r--r-- |
opt25_pkg1.adb
|
156 |
-rw-r--r-- |
opt25_pkg1.ads
|
154 |
-rw-r--r-- |
opt25_pkg2.adb
|
150 |
-rw-r--r-- |
opt25_pkg2.ads
|
379 |
-rw-r--r-- |
opt26.adb
|
715 |
-rw-r--r-- |
opt27.adb
|
596 |
-rw-r--r-- |
opt27_pkg.adb
|
802 |
-rw-r--r-- |
opt27_pkg.ads
|
662 |
-rw-r--r-- |
opt28.adb
|
841 |
-rw-r--r-- |
opt28.ads
|
136 |
-rw-r--r-- |
opt28_pkg.ads
|
397 |
-rw-r--r-- |
opt29.adb
|
222 |
-rw-r--r-- |
opt29.ads
|
493 |
-rw-r--r-- |
opt3.adb
|
230 |
-rw-r--r-- |
opt30.adb
|
418 |
-rw-r--r-- |
opt31.adb
|
924 |
-rw-r--r-- |
opt32.adb
|
745 |
-rw-r--r-- |
opt33.adb
|
813 |
-rw-r--r-- |
opt34.adb
|
608 |
-rw-r--r-- |
opt34_pkg.ads
|
310 |
-rw-r--r-- |
opt35.adb
|
347 |
-rw-r--r-- |
opt35_pkg.adb
|
164 |
-rw-r--r-- |
opt35_pkg.ads
|
115 |
-rw-r--r-- |
opt36.adb
|
354 |
-rw-r--r-- |
opt37.adb
|
1075 |
-rw-r--r-- |
opt37.ads
|
493 |
-rw-r--r-- |
opt38.adb
|
124 |
-rw-r--r-- |
opt38_pkg.adb
|
482 |
-rw-r--r-- |
opt38_pkg.ads
|
70 |
-rw-r--r-- |
opt39.adb
|
533 |
-rw-r--r-- |
opt3_pkg.ads
|
71 |
-rw-r--r-- |
opt4.adb
|
303 |
-rw-r--r-- |
opt40.adb
|
330 |
-rw-r--r-- |
opt41.adb
|
396 |
-rw-r--r-- |
opt41_pkg.adb
|
1602 |
-rw-r--r-- |
opt41_pkg.ads
|
682 |
-rw-r--r-- |
opt42.adb
|
573 |
-rw-r--r-- |
opt42.ads
|
235 |
-rw-r--r-- |
opt43.adb
|
280 |
-rw-r--r-- |
opt44.adb
|
411 |
-rw-r--r-- |
opt44.ads
|
172 |
-rw-r--r-- |
opt45.adb
|
851 |
-rw-r--r-- |
opt46.adb
|
1099 |
-rw-r--r-- |
opt46.ads
|
282 |
-rw-r--r-- |
opt46_pkg.adb
|
170 |
-rw-r--r-- |
opt46_pkg.ads
|
679 |
-rw-r--r-- |
opt47.adb
|
932 |
-rw-r--r-- |
opt48.adb
|
217 |
-rw-r--r-- |
opt48_pkg1.adb
|
265 |
-rw-r--r-- |
opt48_pkg1.ads
|
104 |
-rw-r--r-- |
opt48_pkg2.adb
|
127 |
-rw-r--r-- |
opt48_pkg2.ads
|
162 |
-rw-r--r-- |
opt49.adb
|
771 |
-rw-r--r-- |
opt5.adb
|
368 |
-rw-r--r-- |
opt50.adb
|
395 |
-rw-r--r-- |
opt50_pkg.adb
|
1427 |
-rw-r--r-- |
opt50_pkg.ads
|
284 |
-rw-r--r-- |
opt51.adb
|
403 |
-rw-r--r-- |
opt51_pkg.ads
|
72 |
-rw-r--r-- |
opt52.adb
|
244 |
-rw-r--r-- |
opt53.adb
|
271 |
-rw-r--r-- |
opt54.adb
|
269 |
-rw-r--r-- |
opt55.adb
|
387 |
-rw-r--r-- |
opt55.ads
|
428 |
-rw-r--r-- |
opt56.adb
|
312 |
-rw-r--r-- |
opt56.ads
|
140 |
-rw-r--r-- |
opt57.adb
|
2628 |
-rw-r--r-- |
opt57.ads
|
1411 |
-rw-r--r-- |
opt57_pkg.ads
|
332 |
-rw-r--r-- |
opt58.adb
|
377 |
-rw-r--r-- |
opt58_pkg.ads
|
369 |
-rw-r--r-- |
opt59.adb
|
895 |
-rw-r--r-- |
opt59_pkg.adb
|
328 |
-rw-r--r-- |
opt59_pkg.ads
|
209 |
-rw-r--r-- |
opt6.adb
|
600 |
-rw-r--r-- |
opt6.ads
|
389 |
-rw-r--r-- |
opt60.adb
|
405 |
-rw-r--r-- |
opt61.adb
|
360 |
-rw-r--r-- |
opt61_pkg.adb
|
3368 |
-rw-r--r-- |
opt61_pkg.ads
|
203 |
-rw-r--r-- |
opt62.adb
|
274 |
-rw-r--r-- |
opt62_pkg.ads
|
483 |
-rw-r--r-- |
opt63.adb
|
471 |
-rw-r--r-- |
opt64.adb
|
514 |
-rw-r--r-- |
opt64_pkg.adb
|
315 |
-rw-r--r-- |
opt64_pkg.ads
|
128 |
-rw-r--r-- |
opt65.adb
|
727 |
-rw-r--r-- |
opt66.adb
|
205 |
-rw-r--r-- |
opt67.adb
|
910 |
-rw-r--r-- |
opt67_pkg.adb
|
518 |
-rw-r--r-- |
opt67_pkg.ads
|
823 |
-rw-r--r-- |
opt7.adb
|
1248 |
-rw-r--r-- |
opt7.ads
|
291 |
-rw-r--r-- |
opt7_pkg.ads
|
68 |
-rw-r--r-- |
opt8.adb
|
1350 |
-rw-r--r-- |
opt8.ads
|
1247 |
-rw-r--r-- |
opt8_pkg.ads
|
123 |
-rw-r--r-- |
opt9.adb
|
390 |
-rw-r--r-- |
opt9_pkg.ads
|
57 |
-rw-r--r-- |
outer_agg_bitfield_constructor.adb
|
845 |
-rw-r--r-- |
overflow_fixed.adb
|
365 |
-rw-r--r-- |
overflow_sum.adb
|
1822 |
-rw-r--r-- |
overflow_sum2.adb
|
902 |
-rw-r--r-- |
overflow_sum3.adb
|
340 |
-rw-r--r-- |
overload.adb
|
383 |
-rw-r--r-- |
overload.ads
|
360 |
-rw-r--r-- |
overriding_ops.adb
|
328 |
-rw-r--r-- |
overriding_ops.ads
|
407 |
-rw-r--r-- |
overriding_ops_p.ads
|
281 |
-rw-r--r-- |
pack1.ads
|
126 |
-rw-r--r-- |
pack10.adb
|
507 |
-rw-r--r-- |
pack11.adb
|
387 |
-rw-r--r-- |
pack12.adb
|
529 |
-rw-r--r-- |
pack13.adb
|
191 |
-rw-r--r-- |
pack13.ads
|
734 |
-rw-r--r-- |
pack13_pkg.ads
|
223 |
-rw-r--r-- |
pack14.adb
|
224 |
-rw-r--r-- |
pack15.adb
|
134 |
-rw-r--r-- |
pack15.ads
|
383 |
-rw-r--r-- |
pack16.adb
|
471 |
-rw-r--r-- |
pack16_pkg.ads
|
62 |
-rw-r--r-- |
pack17.adb
|
891 |
-rw-r--r-- |
pack18.adb
|
220 |
-rw-r--r-- |
pack18_pkg.ads
|
465 |
-rw-r--r-- |
pack19.adb
|
1088 |
-rw-r--r-- |
pack2.adb
|
376 |
-rw-r--r-- |
pack20.adb
|
137 |
-rw-r--r-- |
pack20.ads
|
240 |
-rw-r--r-- |
pack20_pkg.ads
|
131 |
-rw-r--r-- |
pack21.adb
|
526 |
-rw-r--r-- |
pack22.adb
|
390 |
-rw-r--r-- |
pack22_pkg.adb
|
367 |
-rw-r--r-- |
pack22_pkg.ads
|
1619 |
-rw-r--r-- |
pack3.adb
|
532 |
-rw-r--r-- |
pack4.adb
|
590 |
-rw-r--r-- |
pack5.adb
|
508 |
-rw-r--r-- |
pack6.adb
|
406 |
-rw-r--r-- |
pack7.adb
|
397 |
-rw-r--r-- |
pack8.adb
|
428 |
-rw-r--r-- |
pack9.adb
|
364 |
-rw-r--r-- |
pack9.ads
|
256 |
-rw-r--r-- |
packed_subtype.adb
|
372 |
-rw-r--r-- |
pak.adb
|
445 |
-rw-r--r-- |
pak.ads
|
227 |
-rw-r--r-- |
parameterlessfunc.adb
|
358 |
-rw-r--r-- |
parent_ltd_with-child_full_view.adb
|
303 |
-rw-r--r-- |
parent_ltd_with-child_full_view.ads
|
349 |
-rw-r--r-- |
parent_ltd_with.ads
|
304 |
-rw-r--r-- |
pointer_array.adb
|
230 |
-rw-r--r-- |
pointer_controlled.adb
|
676 |
-rw-r--r-- |
pointer_conversion.adb
|
429 |
-rw-r--r-- |
pointer_discr1.adb
|
172 |
-rw-r--r-- |
pointer_discr1_pkg1.ads
|
162 |
-rw-r--r-- |
pointer_discr1_pkg2.ads
|
259 |
-rw-r--r-- |
pointer_discr1_pkg3.ads
|
243 |
-rw-r--r-- |
pointer_protected.adb
|
214 |
-rw-r--r-- |
pointer_protected_p.ads
|
182 |
-rw-r--r-- |
pointer_variable_bounds.adb
|
626 |
-rw-r--r-- |
pointer_variable_bounds.ads
|
590 |
-rw-r--r-- |
pointer_variable_bounds_q.ads
|
165 |
-rw-r--r-- |
prefix1.adb
|
208 |
-rw-r--r-- |
prefix1.ads
|
148 |
-rw-r--r-- |
prefix2.adb
|
958 |
-rw-r--r-- |
prefix2.ads
|
743 |
-rw-r--r-- |
profile_warning.adb
|
59 |
-rw-r--r-- |
profile_warning.ads
|
165 |
-rw-r--r-- |
profile_warning_p.adb
|
283 |
-rw-r--r-- |
profile_warning_p.ads
|
64 |
-rw-r--r-- |
prot1.adb
|
443 |
-rw-r--r-- |
prot2.adb
|
396 |
-rw-r--r-- |
prot2.ads
|
50 |
-rw-r--r-- |
prot2_pkg1.ads
|
72 |
-rw-r--r-- |
prot2_pkg2.adb
|
395 |
-rw-r--r-- |
prot2_pkg2.ads
|
216 |
-rw-r--r-- |
prot_def.adb
|
809 |
-rw-r--r-- |
protected_self_ref1.adb
|
450 |
-rw-r--r-- |
protected_self_ref2.adb
|
314 |
-rw-r--r-- |
quote.adb
|
162 |
-rw-r--r-- |
raise_ce.adb
|
60 |
-rw-r--r-- |
raise_from_pure.adb
|
197 |
-rw-r--r-- |
raise_from_pure.ads
|
105 |
-rw-r--r-- |
range_check.adb
|
320 |
-rw-r--r-- |
range_check2.adb
|
334 |
-rw-r--r-- |
rational_arithmetic.ads
|
1017 |
-rw-r--r-- |
recursive_call.adb
|
248 |
-rw-r--r-- |
ref_type.adb
|
209 |
-rw-r--r-- |
ref_type.ads
|
103 |
-rw-r--r-- |
regpat1.adb
|
241 |
-rw-r--r-- |
release_unc_maxalign.adb
|
428 |
-rw-r--r-- |
remote_call_iface.adb
|
133 |
-rw-r--r-- |
remote_call_iface.ads
|
112 |
-rw-r--r-- |
remote_type.adb
|
468 |
-rw-r--r-- |
remote_type.ads
|
583 |
-rw-r--r-- |
renaming1.adb
|
243 |
-rw-r--r-- |
renaming1.ads
|
83 |
-rw-r--r-- |
renaming10.adb
|
253 |
-rw-r--r-- |
renaming10.ads
|
148 |
-rw-r--r-- |
renaming11.adb
|
214 |
-rw-r--r-- |
renaming11.ads
|
378 |
-rw-r--r-- |
renaming2.adb
|
1705 |
-rw-r--r-- |
renaming3.adb
|
213 |
-rw-r--r-- |
renaming4.ads
|
342 |
-rw-r--r-- |
renaming5.adb
|
576 |
-rw-r--r-- |
renaming5.ads
|
57 |
-rw-r--r-- |
renaming6.adb
|
561 |
-rw-r--r-- |
renaming6.ads
|
238 |
-rw-r--r-- |
renaming7.adb
|
216 |
-rw-r--r-- |
renaming7_pkg.ads
|
61 |
-rw-r--r-- |
renaming8.adb
|
172 |
-rw-r--r-- |
renaming8_pkg1.ads
|
119 |
-rw-r--r-- |
renaming8_pkg2.adb
|
131 |
-rw-r--r-- |
renaming8_pkg2.ads
|
231 |
-rw-r--r-- |
renaming8_pkg3.adb
|
123 |
-rw-r--r-- |
renaming8_pkg3.ads
|
86 |
-rw-r--r-- |
renaming9.adb
|
136 |
-rw-r--r-- |
renaming9.ads
|
295 |
-rw-r--r-- |
rep_clause1.adb
|
2453 |
-rw-r--r-- |
rep_clause2.adb
|
241 |
-rw-r--r-- |
rep_clause2.ads
|
1081 |
-rw-r--r-- |
rep_clause3.adb
|
867 |
-rw-r--r-- |
rep_clause4.adb
|
615 |
-rw-r--r-- |
rep_clause5.adb
|
1017 |
-rw-r--r-- |
rep_clause5.ads
|
243 |
-rw-r--r-- |
rep_clause5_pkg.ads
|
7321 |
-rw-r--r-- |
requeue1.adb
|
953 |
-rw-r--r-- |
return1.adb
|
268 |
-rw-r--r-- |
return1.ads
|
238 |
-rw-r--r-- |
return2.adb
|
722 |
-rw-r--r-- |
return2.ads
|
349 |
-rw-r--r-- |
return2_pkg.ads
|
133 |
-rw-r--r-- |
return3.adb
|
162 |
-rw-r--r-- |
return4.adb
|
335 |
-rw-r--r-- |
return4_pkg.adb
|
178 |
-rw-r--r-- |
return4_pkg.ads
|
151 |
-rw-r--r-- |
round_div.adb
|
385 |
-rw-r--r-- |
rt1.adb
|
180 |
-rw-r--r-- |
rt1.ads
|
419 |
-rw-r--r-- |
scalar_mode_agg_compare.adb
|
571 |
-rw-r--r-- |
scalar_mode_agg_compare_loop.adb
|
404 |
-rw-r--r-- |
self.adb
|
453 |
-rw-r--r-- |
self.ads
|
574 |
-rw-r--r-- |
self_aggregate_with_array.adb
|
396 |
-rw-r--r-- |
self_aggregate_with_call.adb
|
579 |
-rw-r--r-- |
self_aggregate_with_pointer.adb
|
484 |
-rw-r--r-- |
self_aggregate_with_zeros.adb
|
382 |
-rw-r--r-- |
set_in_pproc.adb
|
368 |
-rw-r--r-- |
show_deques_priority.adb
|
168 |
-rw-r--r-- |
size_attribute.adb
|
151 |
-rw-r--r-- |
sizetype1.adb
|
273 |
-rw-r--r-- |
sizetype2.adb
|
576 |
-rw-r--r-- |
sizetype3.adb
|
409 |
-rw-r--r-- |
sizetype3.ads
|
188 |
-rw-r--r-- |
sizetype3_pkg.ads
|
127 |
-rw-r--r-- |
sizetype4.adb
|
489 |
-rw-r--r-- |
slice1.adb
|
485 |
-rw-r--r-- |
slice2.adb
|
206 |
-rw-r--r-- |
slice2.ads
|
217 |
-rw-r--r-- |
slice3.adb
|
517 |
-rw-r--r-- |
slice4.adb
|
581 |
-rw-r--r-- |
slice5.adb
|
680 |
-rw-r--r-- |
slice6.adb
|
350 |
-rw-r--r-- |
slice6_pkg.ads
|
387 |
-rw-r--r-- |
slice7.adb
|
1055 |
-rw-r--r-- |
slice7_pkg.ads
|
149 |
-rw-r--r-- |
slice8.adb
|
177 |
-rw-r--r-- |
slice8_pkg1.ads
|
99 |
-rw-r--r-- |
slice8_pkg2.ads
|
457 |
-rw-r--r-- |
slice8_pkg3.adb
|
391 |
-rw-r--r-- |
slice8_pkg3.ads
|
154 |
-rw-r--r-- |
slice9.adb
|
297 |
-rw-r--r-- |
slice_enum.adb
|
131 |
-rw-r--r-- |
small_alignment.adb
|
436 |
-rw-r--r-- |
socket1.adb
|
303 |
-rw-r--r-- |
sort1.adb
|
778 |
-rw-r--r-- |
sort1.ads
|
64 |
-rw-r--r-- |
sort2.adb
|
155 |
-rw-r--r-- |
source_ref1.adb
|
85 |
-rw-r--r-- |
source_ref2.adb
|
124 |
-rw-r--r-- |
spipaterr.adb
|
292 |
-rw-r--r-- |
sse_nolib.adb
|
1287 |
-rw-r--r-- |
sso1.adb
|
2010 |
-rw-r--r-- |
sso2.adb
|
234 |
-rw-r--r-- |
sso2.ads
|
298 |
-rw-r--r-- |
sso3.adb
|
1167 |
-rw-r--r-- |
sso4.adb
|
1195 |
-rw-r--r-- |
sso5.adb
|
1134 |
-rw-r--r-- |
sso6.adb
|
1193 |
-rw-r--r-- |
sso7.adb
|
1134 |
-rw-r--r-- |
stack_check1.adb
|
767 |
-rw-r--r-- |
stack_check2.adb
|
851 |
-rw-r--r-- |
stack_check3.adb
|
675 |
-rw-r--r-- |
stack_check3.ads
|
63 |
-rw-r--r-- |
stack_usage1.adb
|
2194 |
-rw-r--r-- |
stack_usage1_pkg.adb
|
224 |
-rw-r--r-- |
stack_usage1_pkg.ads
|
242 |
-rw-r--r-- |
stack_usage1b.adb
|
2199 |
-rw-r--r-- |
stack_usage1c.adb
|
2200 |
-rw-r--r-- |
stack_usage2.adb
|
527 |
-rw-r--r-- |
stack_usage3.adb
|
1025 |
-rw-r--r-- |
stack_usage3_pkg.ads
|
147 |
-rw-r--r-- |
stack_usage4.adb
|
235 |
-rw-r--r-- |
stack_usage4_pkg.ads
|
269 |
-rw-r--r-- |
statically_matching.ads
|
244 |
-rw-r--r-- |
str1.adb
|
313 |
-rw-r--r-- |
string_comparison.adb
|
208 |
-rw-r--r-- |
string_slice.adb
|
339 |
-rw-r--r-- |
string_slice2.adb
|
492 |
-rw-r--r-- |
subp_elim_errors.adb
|
621 |
-rw-r--r-- |
subp_elim_errors.ads
|
115 |
-rw-r--r-- |
sync1.adb
|
273 |
-rw-r--r-- |
sync1.ads
|
319 |
-rw-r--r-- |
sync_iface_call.adb
|
594 |
-rw-r--r-- |
sync_iface_call_pkg.ads
|
505 |
-rw-r--r-- |
sync_iface_call_pkg2.adb
|
120 |
-rw-r--r-- |
sync_iface_call_pkg2.ads
|
148 |
-rw-r--r-- |
sync_iface_test.adb
|
414 |
-rw-r--r-- |
sync_iface_test.ads
|
320 |
-rw-r--r-- |
taft_type1.adb
|
102 |
-rw-r--r-- |
taft_type1_pkg1.adb
|
448 |
-rw-r--r-- |
taft_type1_pkg1.ads
|
183 |
-rw-r--r-- |
taft_type1_pkg2.ads
|
138 |
-rw-r--r-- |
taft_type2.adb
|
315 |
-rw-r--r-- |
taft_type2.ads
|
59 |
-rw-r--r-- |
taft_type2_pkg.ads
|
157 |
-rw-r--r-- |
taft_type3.adb
|
505 |
-rw-r--r-- |
taft_type3_pkg.ads
|
125 |
-rw-r--r-- |
taft_type4.adb
|
154 |
-rw-r--r-- |
taft_type4_pkg.adb
|
257 |
-rw-r--r-- |
taft_type4_pkg.ads
|
177 |
-rw-r--r-- |
tag1.adb
|
450 |
-rw-r--r-- |
tagged_alloc_free.adb
|
560 |
-rw-r--r-- |
tagged_prefix_call.adb
|
580 |
-rw-r--r-- |
tagged_type_pkg.adb
|
515 |
-rw-r--r-- |
tagged_type_pkg.ads
|
248 |
-rw-r--r-- |
tail_call.adb
|
159 |
-rw-r--r-- |
tail_call_p.adb
|
698 |
-rw-r--r-- |
tail_call_p.ads
|
217 |
-rw-r--r-- |
task_name.adb
|
122 |
-rw-r--r-- |
task_name.ads
|
750 |
-rw-r--r-- |
task_stack_align.adb
|
704 |
-rw-r--r-- |
test_8bitlong_overflow.adb
|
513 |
-rw-r--r-- |
test_address_null_init.adb
|
397 |
-rw-r--r-- |
test_ai254.adb
|
270 |
-rw-r--r-- |
test_allocator_maxalign2.adb
|
125 |
-rw-r--r-- |
test_bip_no_alloc.adb
|
580 |
-rw-r--r-- |
test_bounded.adb
|
274 |
-rw-r--r-- |
test_call.adb
|
599 |
-rw-r--r-- |
test_debug1.adb
|
134 |
-rw-r--r-- |
test_delay.adb
|
129 |
-rw-r--r-- |
test_direct_io.adb
|
243 |
-rw-r--r-- |
test_dse_step.adb
|
291 |
-rw-r--r-- |
test_enum_io.adb
|
604 |
-rw-r--r-- |
test_equal1.adb
|
354 |
-rw-r--r-- |
test_ext1.adb
|
117 |
-rw-r--r-- |
test_fixed_io.adb
|
852 |
-rw-r--r-- |
test_iface_aggr.adb
|
1174 |
-rw-r--r-- |
test_ifaces.adb
|
215 |
-rw-r--r-- |
test_image.adb
|
149 |
-rw-r--r-- |
test_image_p.adb
|
670 |
-rw-r--r-- |
test_image_p.ads
|
744 |
-rw-r--r-- |
test_nested_subtype_byref.adb
|
150 |
-rw-r--r-- |
test_oalign.adb
|
339 |
-rw-r--r-- |
test_oconst.adb
|
306 |
-rw-r--r-- |
test_prefix1.adb
|
273 |
-rw-r--r-- |
test_prio.adb
|
418 |
-rw-r--r-- |
test_prio_p.adb
|
187 |
-rw-r--r-- |
test_prio_p.ads
|
479 |
-rw-r--r-- |
test_raise_from_pure.adb
|
316 |
-rw-r--r-- |
test_rational_arithmetic.adb
|
418 |
-rw-r--r-- |
test_self.adb
|
259 |
-rw-r--r-- |
test_self_ref.adb
|
845 |
-rw-r--r-- |
test_table1.adb
|
820 |
-rw-r--r-- |
test_tables.adb
|
203 |
-rw-r--r-- |
test_time_stamp.adb
|
801 |
-rw-r--r-- |
test_unknown_discrs.adb
|
606 |
-rw-r--r-- |
test_version.adb
|
348 |
-rw-r--r-- |
testint.adb
|
318 |
-rw-r--r-- |
tf_interface_1.adb
|
199 |
-rw-r--r-- |
tf_interface_1.ads
|
655 |
-rw-r--r-- |
tfren.adb
|
780 |
-rw-r--r-- |
thin_pointer1.adb
|
234 |
-rw-r--r-- |
thin_pointer1.ads
|
432 |
-rw-r--r-- |
thin_pointer2.adb
|
230 |
-rw-r--r-- |
thin_pointer2_pkg.adb
|
350 |
-rw-r--r-- |
thin_pointer2_pkg.ads
|
169 |
-rw-r--r-- |
timer_cancel.adb
|
844 |
-rw-r--r-- |
trampoline1.adb
|
377 |
-rw-r--r-- |
trampoline2.adb
|
439 |
-rw-r--r-- |
trampoline3.adb
|
382 |
-rw-r--r-- |
trampoline4.adb
|
470 |
-rw-r--r-- |
tree_static_def.adb
|
160 |
-rw-r--r-- |
tree_static_def.ads
|
177 |
-rw-r--r-- |
tree_static_use.adb
|
164 |
-rw-r--r-- |
type_conv.adb
|
275 |
-rw-r--r-- |
unaligned_rep_clause.adb
|
689 |
-rw-r--r-- |
unc.adb
|
602 |
-rw-r--r-- |
unc_memfree.adb
|
865 |
-rw-r--r-- |
unc_memops.adb
|
1359 |
-rw-r--r-- |
unc_memops.ads
|
948 |
-rw-r--r-- |
unchecked_convert1.adb
|
687 |
-rw-r--r-- |
unchecked_convert10.adb
|
878 |
-rw-r--r-- |
unchecked_convert11.adb
|
936 |
-rw-r--r-- |
unchecked_convert12.adb
|
932 |
-rw-r--r-- |
unchecked_convert2.adb
|
854 |
-rw-r--r-- |
unchecked_convert3.adb
|
355 |
-rw-r--r-- |
unchecked_convert4.adb
|
408 |
-rw-r--r-- |
unchecked_convert5.adb
|
396 |
-rw-r--r-- |
unchecked_convert5b.adb
|
403 |
-rw-r--r-- |
unchecked_convert6.adb
|
396 |
-rw-r--r-- |
unchecked_convert6b.adb
|
403 |
-rw-r--r-- |
unchecked_convert7.adb
|
653 |
-rw-r--r-- |
unchecked_convert8.adb
|
631 |
-rw-r--r-- |
unchecked_convert8.ads
|
76 |
-rw-r--r-- |
unchecked_convert9.adb
|
287 |
-rw-r--r-- |
unchecked_convert9.ads
|
365 |
-rw-r--r-- |
unchecked_union1.adb
|
409 |
-rw-r--r-- |
unchecked_union2.adb
|
944 |
-rw-r--r-- |
unchecked_union3.adb
|
963 |
-rw-r--r-- |
uninit_array.adb
|
386 |
-rw-r--r-- |
uninit_array.ads
|
79 |
-rw-r--r-- |
uninit_array_pkg.ads
|
206 |
-rw-r--r-- |
uninit_func.adb
|
268 |
-rw-r--r-- |
valid1.adb
|
460 |
-rw-r--r-- |
validity_check.adb
|
274 |
-rw-r--r-- |
validity_check2.adb
|
251 |
-rw-r--r-- |
validity_check2_pkg.ads
|
341 |
-rw-r--r-- |
valued_proc.adb
|
259 |
-rw-r--r-- |
valued_proc_pkg.ads
|
443 |
-rw-r--r-- |
varsize1.adb
|
552 |
-rw-r--r-- |
varsize2.adb
|
458 |
-rw-r--r-- |
varsize2.ads
|
621 |
-rw-r--r-- |
varsize3_1.adb
|
66 |
-rw-r--r-- |
varsize3_1.ads
|
142 |
-rw-r--r-- |
varsize3_2.adb
|
143 |
-rw-r--r-- |
varsize3_3.adb
|
136 |
-rw-r--r-- |
varsize3_4.adb
|
139 |
-rw-r--r-- |
varsize3_5.adb
|
142 |
-rw-r--r-- |
varsize3_6.adb
|
138 |
-rw-r--r-- |
varsize3_pkg1.ads
|
248 |
-rw-r--r-- |
varsize3_pkg2.ads
|
86 |
-rw-r--r-- |
varsize3_pkg3.ads
|
164 |
-rw-r--r-- |
vect1.adb
|
2797 |
-rw-r--r-- |
vect1.ads
|
1558 |
-rw-r--r-- |
vect10.adb
|
623 |
-rw-r--r-- |
vect10.ads
|
326 |
-rw-r--r-- |
vect11.adb
|
746 |
-rw-r--r-- |
vect11.ads
|
330 |
-rw-r--r-- |
vect12.adb
|
629 |
-rw-r--r-- |
vect12.ads
|
252 |
-rw-r--r-- |
vect13.adb
|
627 |
-rw-r--r-- |
vect13.ads
|
252 |
-rw-r--r-- |
vect14.adb
|
617 |
-rw-r--r-- |
vect15.adb
|
387 |
-rw-r--r-- |
vect15.ads
|
163 |
-rw-r--r-- |
vect16.adb
|
454 |
-rw-r--r-- |
vect16.ads
|
169 |
-rw-r--r-- |
vect17.adb
|
399 |
-rw-r--r-- |
vect17.ads
|
179 |
-rw-r--r-- |
vect18.adb
|
432 |
-rw-r--r-- |
vect18.ads
|
167 |
-rw-r--r-- |
vect1_pkg.ads
|
98 |
-rw-r--r-- |
vect2.adb
|
2797 |
-rw-r--r-- |
vect2.ads
|
1599 |
-rw-r--r-- |
vect2_pkg.ads
|
100 |
-rw-r--r-- |
vect3.adb
|
2797 |
-rw-r--r-- |
vect3.ads
|
1664 |
-rw-r--r-- |
vect3_pkg.ads
|
165 |
-rw-r--r-- |
vect4.adb
|
2947 |
-rw-r--r-- |
vect4.ads
|
1753 |
-rw-r--r-- |
vect4_pkg.ads
|
98 |
-rw-r--r-- |
vect5.adb
|
2947 |
-rw-r--r-- |
vect5.ads
|
1796 |
-rw-r--r-- |
vect5_pkg.ads
|
100 |
-rw-r--r-- |
vect6.adb
|
2947 |
-rw-r--r-- |
vect6.ads
|
1859 |
-rw-r--r-- |
vect6_pkg.ads
|
165 |
-rw-r--r-- |
vect7.adb
|
328 |
-rw-r--r-- |
vect7.ads
|
319 |
-rw-r--r-- |
vect8.adb
|
236 |
-rw-r--r-- |
vect8.ads
|
164 |
-rw-r--r-- |
vect9.adb
|
980 |
-rw-r--r-- |
vect9.ads
|
230 |
-rw-r--r-- |
vect9_pkg.ads
|
522 |
-rw-r--r-- |
vfa1_1.adb
|
1314 |
-rw-r--r-- |
vfa1_2.adb
|
1206 |
-rw-r--r-- |
vfa1_3.adb
|
1253 |
-rw-r--r-- |
vfa1_4.adb
|
1235 |
-rw-r--r-- |
vfa1_pkg.ads
|
954 |
-rw-r--r-- |
view_conversion1.adb
|
1105 |
-rw-r--r-- |
volatile1.ads
|
447 |
-rw-r--r-- |
volatile10.adb
|
139 |
-rw-r--r-- |
volatile10_pkg.ads
|
537 |
-rw-r--r-- |
volatile11.adb
|
1051 |
-rw-r--r-- |
volatile11_pkg.adb
|
699 |
-rw-r--r-- |
volatile11_pkg.ads
|
475 |
-rw-r--r-- |
volatile12.adb
|
115 |
-rw-r--r-- |
volatile12.ads
|
136 |
-rw-r--r-- |
volatile13.adb
|
231 |
-rw-r--r-- |
volatile13.ads
|
495 |
-rw-r--r-- |
volatile2.adb
|
472 |
-rw-r--r-- |
volatile2.ads
|
267 |
-rw-r--r-- |
volatile3.adb
|
285 |
-rw-r--r-- |
volatile4.adb
|
323 |
-rw-r--r-- |
volatile5.adb
|
172 |
-rw-r--r-- |
volatile5_pkg.ads
|
156 |
-rw-r--r-- |
volatile6.adb
|
318 |
-rw-r--r-- |
volatile7.adb
|
380 |
-rw-r--r-- |
volatile8.adb
|
379 |
-rw-r--r-- |
volatile9.adb
|
353 |
-rw-r--r-- |
volatile_aggregate.adb
|
676 |
-rw-r--r-- |
warn1.adb
|
288 |
-rw-r--r-- |
warn10.adb
|
226 |
-rw-r--r-- |
warn10.ads
|
194 |
-rw-r--r-- |
warn10_pkg.ads
|
281 |
-rw-r--r-- |
warn11.adb
|
438 |
-rw-r--r-- |
warn12.adb
|
1193 |
-rw-r--r-- |
warn12_pkg.ads
|
511 |
-rw-r--r-- |
warn13.adb
|
274 |
-rw-r--r-- |
warn2.adb
|
413 |
-rw-r--r-- |
warn3.adb
|
398 |
-rw-r--r-- |
warn4.adb
|
847 |
-rw-r--r-- |
warn5.adb
|
824 |
-rw-r--r-- |
warn6.adb
|
228 |
-rw-r--r-- |
warn6.ads
|
219 |
-rw-r--r-- |
warn7.adb
|
247 |
-rw-r--r-- |
warn8.adb
|
123 |
-rw-r--r-- |
warn9.adb
|
153 |
-rw-r--r-- |
weak2.adb
|
124 |
-rw-r--r-- |
weak2.ads
|
151 |
-rw-r--r-- |
wide_boolean.adb
|
389 |
-rw-r--r-- |
wide_boolean_pkg.adb
|
182 |
-rw-r--r-- |
wide_boolean_pkg.ads
|
512 |
-rw-r--r-- |
wide_pi.adb
|
117 |
-rw-r--r-- |
wide_test.adb
|
348 |
-rw-r--r-- |