|
[up]
|
|
drwxr-xr-x |
 gcov/
|
|
drwxr-xr-x |
|
specs/
|
|
drwxr-xr-x |
|
sso/
|
|
drwxr-xr-x |
 abe_pkg.adb
|
271 |
-rw-r--r-- |
|
abe_pkg.ads
|
120 |
-rw-r--r-- |
|
abstract1.adb
|
964 |
-rw-r--r-- |
|
abstract1.ads
|
619 |
-rw-r--r-- |
|
abstract_state1.adb
|
102 |
-rw-r--r-- |
|
abstract_state1.ads
|
542 |
-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-- |
|
access5.adb
|
79 |
-rw-r--r-- |
|
access5.ads
|
199 |
-rw-r--r-- |
|
access6.adb
|
589 |
-rw-r--r-- |
|
access7.adb
|
2239 |
-rw-r--r-- |
|
access8.adb
|
1225 |
-rw-r--r-- |
|
access8_pkg.adb
|
605 |
-rw-r--r-- |
|
access8_pkg.ads
|
506 |
-rw-r--r-- |
|
access9.adb
|
274 |
-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-- |
|
addr10.adb
|
468 |
-rw-r--r-- |
|
addr11.adb
|
468 |
-rw-r--r-- |
|
addr12.adb
|
88 |
-rw-r--r-- |
|
addr12_a.adb
|
554 |
-rw-r--r-- |
|
addr12_a.ads
|
57 |
-rw-r--r-- |
|
addr12_b.adb
|
195 |
-rw-r--r-- |
|
addr12_b.ads
|
524 |
-rw-r--r-- |
|
addr12_c.ads
|
133 |
-rw-r--r-- |
|
addr13.adb
|
180 |
-rw-r--r-- |
|
addr13.ads
|
89 |
-rw-r--r-- |
|
addr14.adb
|
368 |
-rw-r--r-- |
|
addr15.adb
|
387 |
-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-- |
|
aggr23.adb
|
112 |
-rw-r--r-- |
|
aggr23_q.adb
|
300 |
-rw-r--r-- |
|
aggr23_tt.ads
|
106 |
-rw-r--r-- |
|
aggr24.adb
|
184 |
-rw-r--r-- |
|
aggr24_pkg.adb
|
269 |
-rw-r--r-- |
|
aggr24_pkg.ads
|
278 |
-rw-r--r-- |
|
aggr25.adb
|
85 |
-rw-r--r-- |
|
aggr25.ads
|
472 |
-rw-r--r-- |
|
aggr26.adb
|
246 |
-rw-r--r-- |
|
aggr27.adb
|
727 |
-rw-r--r-- |
|
aggr28.adb
|
535 |
-rw-r--r-- |
|
aggr29.adb
|
257 |
-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-- |
|
ai12_0086_example.adb
|
628 |
-rw-r--r-- |
|
aliased1.adb
|
568 |
-rw-r--r-- |
|
aliased2.adb
|
376 |
-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-- |
|
alignment11.adb
|
224 |
-rw-r--r-- |
|
alignment12.adb
|
231 |
-rw-r--r-- |
|
alignment13.adb
|
313 |
-rw-r--r-- |
|
alignment14.adb
|
294 |
-rw-r--r-- |
|
alignment15.adb
|
260 |
-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.adb
|
370 |
-rw-r--r-- |
|
allocator2.adb
|
124 |
-rw-r--r-- |
|
allocator2.ads
|
453 |
-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-- |
|
annotation1.adb
|
139 |
-rw-r--r-- |
|
anon1.ads
|
66 |
-rw-r--r-- |
|
anon2.adb
|
120 |
-rw-r--r-- |
|
anon3.adb
|
113 |
-rw-r--r-- |
|
anon3.ads
|
86 |
-rw-r--r-- |
|
array1.adb
|
656 |
-rw-r--r-- |
|
array1.ads
|
151 |
-rw-r--r-- |
|
array10.adb
|
449 |
-rw-r--r-- |
|
array11.adb
|
322 |
-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-- |
|
array30.adb
|
749 |
-rw-r--r-- |
|
array31.adb
|
312 |
-rw-r--r-- |
|
array32.adb
|
147 |
-rw-r--r-- |
|
array32.ads
|
174 |
-rw-r--r-- |
|
array33.adb
|
3479 |
-rw-r--r-- |
|
array34.adb
|
335 |
-rw-r--r-- |
|
array35.adb
|
366 |
-rw-r--r-- |
|
array36.adb
|
428 |
-rw-r--r-- |
|
array37.adb
|
316 |
-rw-r--r-- |
|
array38.adb
|
156 |
-rw-r--r-- |
|
array38_pkg.adb
|
150 |
-rw-r--r-- |
|
array38_pkg.ads
|
477 |
-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-- |
|
aspect1.adb
|
325 |
-rw-r--r-- |
|
aspect1_horizontal.adb
|
235 |
-rw-r--r-- |
|
aspect1_horizontal.ads
|
307 |
-rw-r--r-- |
|
aspect1_vectors_2d.ads
|
464 |
-rw-r--r-- |
|
aspect2.adb
|
87 |
-rw-r--r-- |
|
aspect2.ads
|
899 |
-rw-r--r-- |
|
assert.ads
|
75 |
-rw-r--r-- |
|
assert1.adb
|
1086 |
-rw-r--r-- |
|
assert2.adb
|
88 |
-rw-r--r-- |
|
assert2.ads
|
415 |
-rw-r--r-- |
|
assertion_policy1.adb
|
304 |
-rw-r--r-- |
|
assertion_policy1_pkg.adb
|
201 |
-rw-r--r-- |
|
assertion_policy1_pkg.ads
|
177 |
-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-- |
|
atomic10.adb
|
591 |
-rw-r--r-- |
|
atomic11.adb
|
400 |
-rw-r--r-- |
|
atomic11_pkg1.ads
|
338 |
-rw-r--r-- |
|
atomic11_pkg2.ads
|
78 |
-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-- |
|
atomic9.adb
|
559 |
-rw-r--r-- |
|
bad_array.adb
|
146 |
-rw-r--r-- |
|
bias1.adb
|
845 |
-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_case_expr.adb
|
381 |
-rw-r--r-- |
|
bip_case_expr_pkg.ads
|
203 |
-rw-r--r-- |
|
bip_cu.adb
|
165 |
-rw-r--r-- |
|
bip_cu_constructor.adb
|
145 |
-rw-r--r-- |
|
bip_cu_constructor.ads
|
67 |
-rw-r--r-- |
|
bip_cu_t.adb
|
177 |
-rw-r--r-- |
|
bip_cu_t.ads
|
247 |
-rw-r--r-- |
|
bip_exception.adb
|
428 |
-rw-r--r-- |
|
bip_exception.ads
|
614 |
-rw-r--r-- |
|
bip_exception_pkg.ads
|
339 |
-rw-r--r-- |
|
bip_export.adb
|
259 |
-rw-r--r-- |
|
bip_export.ads
|
145 |
-rw-r--r-- |
|
bip_overlay.adb
|
340 |
-rw-r--r-- |
|
bip_overlay.ads
|
491 |
-rw-r--r-- |
|
bip_prim_func.adb
|
277 |
-rw-r--r-- |
|
bip_prim_func.ads
|
222 |
-rw-r--r-- |
|
bit_order1.adb
|
389 |
-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-- |
|
block_ext_return_assert_failure.adb
|
460 |
-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_optimization3.adb
|
465 |
-rw-r--r-- |
|
case_optimization3.ads
|
213 |
-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-- |
|
casesi.adb
|
674 |
-rw-r--r-- |
|
casesi.ads
|
55 |
-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-- |
|
class_wide5.adb
|
250 |
-rw-r--r-- |
|
compile_time_error1.adb
|
113 |
-rw-r--r-- |
|
compile_time_error1.ads
|
215 |
-rw-r--r-- |
|
compile_time_error1_pkg.ads
|
185 |
-rw-r--r-- |
|
complex1.adb
|
205 |
-rw-r--r-- |
|
complex1_pkg.ads
|
86 |
-rw-r--r-- |
|
component_size.adb
|
1175 |
-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-- |
|
concat3.adb
|
257 |
-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-- |
|
config_pragma1.adb
|
447 |
-rw-r--r-- |
|
config_pragma1_pkg.ads
|
616 |
-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-- |
|
containers1.adb
|
126 |
-rw-r--r-- |
|
containers1.ads
|
209 |
-rw-r--r-- |
|
contract1.adb
|
351 |
-rw-r--r-- |
|
controlled1.ads
|
372 |
-rw-r--r-- |
|
controlled2.adb
|
266 |
-rw-r--r-- |
|
controlled2.ads
|
101 |
-rw-r--r-- |
|
controlled3.ads
|
371 |
-rw-r--r-- |
|
controlled4.adb
|
219 |
-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-- |
|
controlled8.adb
|
2110 |
-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-- |
|
cpp_constructor.adb
|
288 |
-rw-r--r-- |
|
cpp_constructor2.adb
|
433 |
-rw-r--r-- |
|
cpp_constructor_fp.ads
|
331 |
-rw-r--r-- |
|
cpp_constructor_useit.ads
|
222 |
-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
|
957 |
-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
|
336 |
-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-- |
|
debug15.adb
|
361 |
-rw-r--r-- |
|
debug16.adb
|
647 |
-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_initial_condition.adb
|
273 |
-rw-r--r-- |
|
default_initial_condition_pack.adb
|
197 |
-rw-r--r-- |
|
default_initial_condition_pack.ads
|
275 |
-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-- |
|
delta_aggr.adb
|
1228 |
-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-- |
|
derived_type5.adb
|
162 |
-rw-r--r-- |
|
derived_type5_pkg.ads
|
634 |
-rw-r--r-- |
|
derived_type6.adb
|
96 |
-rw-r--r-- |
|
derived_type6.ads
|
211 |
-rw-r--r-- |
|
dflt_init_cond.adb
|
188 |
-rw-r--r-- |
|
dflt_init_cond_pkg.ads
|
360 |
-rw-r--r-- |
|
dg.exp
|
1096 |
-rw-r--r-- |
|
dimensions.adb
|
94 |
-rw-r--r-- |
|
dimensions.ads
|
917 |
-rw-r--r-- |
|
dimensions2.adb
|
671 |
-rw-r--r-- |
|
dimensions2_phys.ads
|
2933 |
-rw-r--r-- |
|
dimensions2_real_numbers.ads
|
72 |
-rw-r--r-- |
|
dinst.adb
|
784 |
-rw-r--r-- |
|
dinst_pkg.adb
|
135 |
-rw-r--r-- |
|
dinst_pkg.ads
|
52 |
-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-- |
|
discr49.adb
|
235 |
-rw-r--r-- |
|
discr49_rec1.adb
|
163 |
-rw-r--r-- |
|
discr49_rec1.ads
|
270 |
-rw-r--r-- |
|
discr49_rec2.adb
|
149 |
-rw-r--r-- |
|
discr49_rec2.ads
|
269 |
-rw-r--r-- |
|
discr5.adb
|
323 |
-rw-r--r-- |
|
discr50.adb
|
271 |
-rw-r--r-- |
|
discr51.adb
|
676 |
-rw-r--r-- |
|
discr52.adb
|
498 |
-rw-r--r-- |
|
discr53.adb
|
258 |
-rw-r--r-- |
|
discr53.ads
|
279 |
-rw-r--r-- |
|
discr53_pkg.ads
|
73 |
-rw-r--r-- |
|
discr54.adb
|
126 |
-rw-r--r-- |
|
discr54_pkg.ads
|
2758 |
-rw-r--r-- |
|
discr55.adb
|
262 |
-rw-r--r-- |
|
discr56.adb
|
87 |
-rw-r--r-- |
|
discr56.ads
|
107 |
-rw-r--r-- |
|
discr56_pkg1.adb
|
92 |
-rw-r--r-- |
|
discr56_pkg1.ads
|
260 |
-rw-r--r-- |
|
discr56_pkg2.ads
|
195 |
-rw-r--r-- |
|
discr57.adb
|
297 |
-rw-r--r-- |
|
discr58.adb
|
939 |
-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-- |
|
disp1.adb
|
161 |
-rw-r--r-- |
|
disp1_pkg.ads
|
105 |
-rw-r--r-- |
|
disp2.adb
|
192 |
-rw-r--r-- |
|
disp2_pkg.adb
|
159 |
-rw-r--r-- |
|
disp2_pkg.ads
|
269 |
-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-- |
|
dynhash.adb
|
20094 |
-rw-r--r-- |
|
dynhash1.adb
|
1342 |
-rw-r--r-- |
|
elab1.ads
|
474 |
-rw-r--r-- |
|
elab2.adb
|
123 |
-rw-r--r-- |
|
elab3.adb
|
162 |
-rw-r--r-- |
|
elab3.ads
|
46 |
-rw-r--r-- |
|
elab3_pkg.adb
|
165 |
-rw-r--r-- |
|
elab3_pkg.ads
|
126 |
-rw-r--r-- |
|
elab4.adb
|
79 |
-rw-r--r-- |
|
elab4_pkg.adb
|
2407 |
-rw-r--r-- |
|
elab4_pkg.ads
|
1125 |
-rw-r--r-- |
|
elab5.adb
|
79 |
-rw-r--r-- |
|
elab5_pkg.adb
|
2912 |
-rw-r--r-- |
|
elab5_pkg.ads
|
1286 |
-rw-r--r-- |
|
elab6.adb
|
152 |
-rw-r--r-- |
|
elab6.ads
|
78 |
-rw-r--r-- |
|
elab6_pkg.adb
|
291 |
-rw-r--r-- |
|
elab6_pkg.ads
|
67 |
-rw-r--r-- |
|
elab7.adb
|
117 |
-rw-r--r-- |
|
elab7_pkg1.adb
|
118 |
-rw-r--r-- |
|
elab7_pkg1.ads
|
54 |
-rw-r--r-- |
|
elab7_pkg2.adb
|
270 |
-rw-r--r-- |
|
elab7_pkg2.ads
|
81 |
-rw-r--r-- |
|
elab8.adb
|
167 |
-rw-r--r-- |
|
elab8_gen.adb
|
178 |
-rw-r--r-- |
|
elab8_gen.ads
|
132 |
-rw-r--r-- |
|
elab8_pkg.adb
|
70 |
-rw-r--r-- |
|
elab8_pkg.ads
|
79 |
-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-- |
|
encode_string1.adb
|
1429 |
-rw-r--r-- |
|
encode_string1_pkg.adb
|
339 |
-rw-r--r-- |
|
encode_string1_pkg.ads
|
165 |
-rw-r--r-- |
|
entry1.adb
|
1338 |
-rw-r--r-- |
|
entry1.ads
|
123 |
-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-- |
|
enum4.adb
|
1680 |
-rw-r--r-- |
|
enum5.adb
|
171 |
-rw-r--r-- |
|
enum_rep.adb
|
79 |
-rw-r--r-- |
|
enum_rep.ads
|
583 |
-rw-r--r-- |
|
enum_val1.adb
|
447 |
-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-- |
|
equal10.adb
|
87 |
-rw-r--r-- |
|
equal10.ads
|
175 |
-rw-r--r-- |
|
equal11.adb
|
638 |
-rw-r--r-- |
|
equal11_interface.ads
|
150 |
-rw-r--r-- |
|
equal11_record.adb
|
157 |
-rw-r--r-- |
|
equal11_record.ads
|
435 |
-rw-r--r-- |
|
equal2.adb
|
810 |
-rw-r--r-- |
|
equal3.adb
|
587 |
-rw-r--r-- |
|
equal4.adb
|
288 |
-rw-r--r-- |
|
equal4.ads
|
132 |
-rw-r--r-- |
|
equal4_controlled_filter.ads
|
263 |
-rw-r--r-- |
|
equal4_full_selector_filter.ads
|
251 |
-rw-r--r-- |
|
equal4_smart_pointers.ads
|
229 |
-rw-r--r-- |
|
equal5.adb
|
284 |
-rw-r--r-- |
|
equal5.ads
|
675 |
-rw-r--r-- |
|
equal6.adb
|
761 |
-rw-r--r-- |
|
equal6_types.adb
|
392 |
-rw-r--r-- |
|
equal6_types.ads
|
1431 |
-rw-r--r-- |
|
equal7.adb
|
291 |
-rw-r--r-- |
|
equal7_pkg.adb
|
296 |
-rw-r--r-- |
|
equal7_pkg.ads
|
554 |
-rw-r--r-- |
|
equal8.adb
|
112 |
-rw-r--r-- |
|
equal8.ads
|
1013 |
-rw-r--r-- |
|
equal8_pkg.ads
|
1567 |
-rw-r--r-- |
|
equal9.adb
|
474 |
-rw-r--r-- |
|
equal_access.adb
|
142 |
-rw-r--r-- |
|
exit1.adb
|
1322 |
-rw-r--r-- |
|
exp0_eval.adb
|
620 |
-rw-r--r-- |
|
expect1.adb
|
300 |
-rw-r--r-- |
|
expect2.adb
|
482 |
-rw-r--r-- |
|
expect2_pkg.ads
|
447 |
-rw-r--r-- |
|
expect3.adb
|
688 |
-rw-r--r-- |
|
expect4.adb
|
589 |
-rw-r--r-- |
|
expr_func2.adb
|
92 |
-rw-r--r-- |
|
expr_func2.ads
|
525 |
-rw-r--r-- |
|
expr_func3.adb
|
96 |
-rw-r--r-- |
|
expr_func3.ads
|
362 |
-rw-r--r-- |
|
expr_func4.adb
|
220 |
-rw-r--r-- |
|
expr_func5.adb
|
176 |
-rw-r--r-- |
|
expr_func6.adb
|
96 |
-rw-r--r-- |
|
expr_func6.ads
|
397 |
-rw-r--r-- |
|
expr_func7.adb
|
94 |
-rw-r--r-- |
|
expr_func7.ads
|
444 |
-rw-r--r-- |
|
expr_func8.adb
|
888 |
-rw-r--r-- |
|
expr_func9.adb
|
435 |
-rw-r--r-- |
|
expr_func_main.adb
|
163 |
-rw-r--r-- |
|
expr_func_pkg.adb
|
202 |
-rw-r--r-- |
|
expr_func_pkg.ads
|
224 |
-rw-r--r-- |
|
ext1.ads
|
377 |
-rw-r--r-- |
|
fatp_sra.adb
|
234 |
-rw-r--r-- |
|
finalized.adb
|
248 |
-rw-r--r-- |
|
fixce.adb
|
322 |
-rw-r--r-- |
|
fixed_delete.adb
|
390 |
-rw-r--r-- |
|
fixedpnt.adb
|
186 |
-rw-r--r-- |
|
fixedpnt2.adb
|
734 |
-rw-r--r-- |
|
fixedpnt2.ads
|
626 |
-rw-r--r-- |
|
fixedpnt3.adb
|
399 |
-rw-r--r-- |
|
fixedpnt4.adb
|
319 |
-rw-r--r-- |
|
fixedpnt5.adb
|
1754 |
-rw-r--r-- |
|
fixedpnt6.adb
|
315 |
-rw-r--r-- |
|
fixedpnt7.adb
|
417 |
-rw-r--r-- |
|
fixedpnt8.adb
|
657 |
-rw-r--r-- |
|
float_attributes_overflows.adb
|
930 |
-rw-r--r-- |
|
float_value1.adb
|
1682 |
-rw-r--r-- |
|
float_value2.adb
|
247 |
-rw-r--r-- |
|
formal_containers.adb
|
592 |
-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
|
554 |
-rw-r--r-- |
|
frame_overflow.ads
|
423 |
-rw-r--r-- |
|
frame_overflow2.adb
|
444 |
-rw-r--r-- |
|
freezing1.adb
|
90 |
-rw-r--r-- |
|
freezing1.ads
|
276 |
-rw-r--r-- |
|
freezing1_pack.adb
|
223 |
-rw-r--r-- |
|
freezing1_pack.ads
|
444 |
-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-- |
|
gen_formal_pkg.adb
|
225 |
-rw-r--r-- |
|
gen_formal_pkg_a.ads
|
64 |
-rw-r--r-- |
|
gen_formal_pkg_b.ads
|
137 |
-rw-r--r-- |
|
gen_formal_pkg_w.ads
|
278 |
-rw-r--r-- |
|
generic2-child.ads
|
88 |
-rw-r--r-- |
|
generic2-io_any.adb
|
102 |
-rw-r--r-- |
|
generic2-io_any.ads
|
132 |
-rw-r--r-- |
|
generic2.ads
|
77 |
-rw-r--r-- |
|
generic_actuals.adb
|
472 |
-rw-r--r-- |
|
generic_call_cw.adb
|
833 |
-rw-r--r-- |
|
generic_call_iface.adb
|
831 |
-rw-r--r-- |
|
generic_disp.adb
|
225 |
-rw-r--r-- |
|
generic_disp_pkg.adb
|
184 |
-rw-r--r-- |
|
generic_disp_pkg.ads
|
541 |
-rw-r--r-- |
|
generic_inst10.adb
|
643 |
-rw-r--r-- |
|
generic_inst10_pkg.ads
|
192 |
-rw-r--r-- |
|
generic_inst11.adb
|
147 |
-rw-r--r-- |
|
generic_inst11_pkg.adb
|
374 |
-rw-r--r-- |
|
generic_inst11_pkg.ads
|
87 |
-rw-r--r-- |
|
generic_inst12.adb
|
226 |
-rw-r--r-- |
|
generic_inst12_pkg1.adb
|
177 |
-rw-r--r-- |
|
generic_inst12_pkg1.ads
|
181 |
-rw-r--r-- |
|
generic_inst12_pkg2.ads
|
93 |
-rw-r--r-- |
|
generic_inst13.adb
|
406 |
-rw-r--r-- |
|
generic_inst13_pkg-nested_g.ads
|
334 |
-rw-r--r-- |
|
generic_inst13_pkg-ops_g.ads
|
229 |
-rw-r--r-- |
|
generic_inst13_pkg.ads
|
170 |
-rw-r--r-- |
|
generic_inst2.adb
|
108 |
-rw-r--r-- |
|
generic_inst2.ads
|
228 |
-rw-r--r-- |
|
generic_inst2_c.ads
|
161 |
-rw-r--r-- |
|
generic_inst3.adb
|
547 |
-rw-r--r-- |
|
generic_inst3_kafka_lib-topic.ads
|
280 |
-rw-r--r-- |
|
generic_inst3_kafka_lib.ads
|
64 |
-rw-r--r-- |
|
generic_inst3_markets.ads
|
458 |
-rw-r--r-- |
|
generic_inst3_traits-encodables.ads
|
247 |
-rw-r--r-- |
|
generic_inst3_traits.ads
|
74 |
-rw-r--r-- |
|
generic_inst4.adb
|
95 |
-rw-r--r-- |
|
generic_inst4_gen.ads
|
60 |
-rw-r--r-- |
|
generic_inst4_inst.ads
|
228 |
-rw-r--r-- |
|
generic_inst4_typ.ads
|
131 |
-rw-r--r-- |
|
generic_inst5.adb
|
269 |
-rw-r--r-- |
|
generic_inst6.adb
|
184 |
-rw-r--r-- |
|
generic_inst6_g1-c.adb
|
190 |
-rw-r--r-- |
|
generic_inst6_g1-c.ads
|
77 |
-rw-r--r-- |
|
generic_inst6_g1.ads
|
66 |
-rw-r--r-- |
|
generic_inst6_i1.ads
|
73 |
-rw-r--r-- |
|
generic_inst6_i2.ads
|
95 |
-rw-r--r-- |
|
generic_inst6_x.ads
|
201 |
-rw-r--r-- |
|
generic_inst7.adb
|
152 |
-rw-r--r-- |
|
generic_inst7_pkg.adb
|
293 |
-rw-r--r-- |
|
generic_inst7_pkg.ads
|
152 |
-rw-r--r-- |
|
generic_inst7_types.ads
|
322 |
-rw-r--r-- |
|
generic_inst8.adb
|
146 |
-rw-r--r-- |
|
generic_inst8.ads
|
95 |
-rw-r--r-- |
|
generic_inst8_g.adb
|
183 |
-rw-r--r-- |
|
generic_inst8_g.ads
|
310 |
-rw-r--r-- |
|
generic_inst9.adb
|
99 |
-rw-r--r-- |
|
generic_inst9.ads
|
258 |
-rw-r--r-- |
|
generic_inst9_pkg1-operator.ads
|
357 |
-rw-r--r-- |
|
generic_inst9_pkg1.ads
|
183 |
-rw-r--r-- |
|
generic_inst9_pkg2.adb
|
203 |
-rw-r--r-- |
|
generic_inst9_pkg2.ads
|
337 |
-rw-r--r-- |
|
generic_pkg.adb
|
870 |
-rw-r--r-- |
|
ghost1.adb
|
179 |
-rw-r--r-- |
|
ghost1.ads
|
174 |
-rw-r--r-- |
|
ghost2.adb
|
84 |
-rw-r--r-- |
|
ghost2.ads
|
338 |
-rw-r--r-- |
|
ghost3.adb
|
86 |
-rw-r--r-- |
|
ghost3.ads
|
395 |
-rw-r--r-- |
|
ghost4.adb
|
291 |
-rw-r--r-- |
|
ghost5.adb
|
84 |
-rw-r--r-- |
|
ghost5.ads
|
76 |
-rw-r--r-- |
|
ghost5_parent.ads
|
298 |
-rw-r--r-- |
|
ghost6.adb
|
148 |
-rw-r--r-- |
|
ghost6_pkg.ads
|
138 |
-rw-r--r-- |
|
ghost7.adb
|
115 |
-rw-r--r-- |
|
ghost7.ads
|
219 |
-rw-r--r-- |
|
global.adb
|
2302 |
-rw-r--r-- |
|
global.ads
|
352 |
-rw-r--r-- |
|
global2.adb
|
199 |
-rw-r--r-- |
|
global2.ads
|
213 |
-rw-r--r-- |
|
gnat_array_split1.adb
|
108 |
-rw-r--r-- |
|
gnat_array_split1.ads
|
120 |
-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-- |
|
image1.adb
|
233 |
-rw-r--r-- |
|
implicit_param.adb
|
400 |
-rw-r--r-- |
|
implicit_param_pkg.ads
|
190 |
-rw-r--r-- |
|
import1.adb
|
340 |
-rw-r--r-- |
|
import1.ads
|
124 |
-rw-r--r-- |
|
import2.adb
|
201 |
-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-- |
|
incomplete6.adb
|
286 |
-rw-r--r-- |
|
incomplete6.ads
|
432 |
-rw-r--r-- |
|
incomplete7.adb
|
94 |
-rw-r--r-- |
|
incomplete7.ads
|
623 |
-rw-r--r-- |
|
init_scalar1.adb
|
405 |
-rw-r--r-- |
|
initializes.adb
|
791 |
-rw-r--r-- |
|
initializes.ads
|
226 |
-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-- |
|
inline14.adb
|
133 |
-rw-r--r-- |
|
inline14_pkg.adb
|
213 |
-rw-r--r-- |
|
inline14_pkg.ads
|
86 |
-rw-r--r-- |
|
inline15.adb
|
167 |
-rw-r--r-- |
|
inline15_gen.adb
|
825 |
-rw-r--r-- |
|
inline15_gen.ads
|
207 |
-rw-r--r-- |
|
inline15_types.ads
|
376 |
-rw-r--r-- |
|
inline16.adb
|
592 |
-rw-r--r-- |
|
inline16_gen.adb
|
511 |
-rw-r--r-- |
|
inline16_gen.ads
|
186 |
-rw-r--r-- |
|
inline16_types.ads
|
213 |
-rw-r--r-- |
|
inline17.adb
|
197 |
-rw-r--r-- |
|
inline17_pkg1.adb
|
234 |
-rw-r--r-- |
|
inline17_pkg1.ads
|
91 |
-rw-r--r-- |
|
inline17_pkg2.ads
|
227 |
-rw-r--r-- |
|
inline17_pkg3.adb
|
244 |
-rw-r--r-- |
|
inline17_pkg3.ads
|
354 |
-rw-r--r-- |
|
inline18.adb
|
120 |
-rw-r--r-- |
|
inline18.ads
|
125 |
-rw-r--r-- |
|
inline18_gen1-inner_g.ads
|
115 |
-rw-r--r-- |
|
inline18_gen1.adb
|
131 |
-rw-r--r-- |
|
inline18_gen1.ads
|
202 |
-rw-r--r-- |
|
inline18_gen2.adb
|
173 |
-rw-r--r-- |
|
inline18_gen2.ads
|
155 |
-rw-r--r-- |
|
inline18_gen3.adb
|
193 |
-rw-r--r-- |
|
inline18_gen3.ads
|
211 |
-rw-r--r-- |
|
inline18_pkg1.adb
|
163 |
-rw-r--r-- |
|
inline18_pkg1.ads
|
362 |
-rw-r--r-- |
|
inline18_pkg2-child.ads
|
174 |
-rw-r--r-- |
|
inline18_pkg2.ads
|
44 |
-rw-r--r-- |
|
inline19.adb
|
296 |
-rw-r--r-- |
|
inline19.ads
|
121 |
-rw-r--r-- |
|
inline1_pkg.adb
|
1032 |
-rw-r--r-- |
|
inline1_pkg.ads
|
216 |
-rw-r--r-- |
|
inline2.adb
|
216 |
-rw-r--r-- |
|
inline20.adb
|
162 |
-rw-r--r-- |
|
inline20_g.adb
|
360 |
-rw-r--r-- |
|
inline20_g.ads
|
309 |
-rw-r--r-- |
|
inline20_h.ads
|
344 |
-rw-r--r-- |
|
inline20_i.ads
|
330 |
-rw-r--r-- |
|
inline20_q-io.ads
|
52 |
-rw-r--r-- |
|
inline20_q.ads
|
56 |
-rw-r--r-- |
|
inline20_r.ads
|
186 |
-rw-r--r-- |
|
inline21.adb
|
133 |
-rw-r--r-- |
|
inline21_g.ads
|
101 |
-rw-r--r-- |
|
inline21_h.adb
|
187 |
-rw-r--r-- |
|
inline21_h.ads
|
149 |
-rw-r--r-- |
|
inline21_q.ads
|
144 |
-rw-r--r-- |
|
inline2_pkg.adb
|
1032 |
-rw-r--r-- |
|
inline2_pkg.ads
|
202 |
-rw-r--r-- |
|
inline3.adb
|
227 |
-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
|
263 |
-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
|
265 |
-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
|
263 |
-rw-r--r-- |
|
inline9_pkg.adb
|
335 |
-rw-r--r-- |
|
inline9_pkg.ads
|
98 |
-rw-r--r-- |
|
inline_always1.adb
|
1219 |
-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-- |
|
interface10.adb
|
450 |
-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-- |
|
interface6.adb
|
1038 |
-rw-r--r-- |
|
interface7.adb
|
324 |
-rw-r--r-- |
|
interface8.adb
|
181 |
-rw-r--r-- |
|
interface8.ads
|
279 |
-rw-r--r-- |
|
interface9.adb
|
193 |
-rw-r--r-- |
|
interface9_root-child.ads
|
240 |
-rw-r--r-- |
|
interface9_root.ads
|
323 |
-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-- |
|
iter1.adb
|
541 |
-rw-r--r-- |
|
iter1.ads
|
219 |
-rw-r--r-- |
|
iter2.adb
|
639 |
-rw-r--r-- |
|
iter2.ads
|
100 |
-rw-r--r-- |
|
iter3.adb
|
328 |
-rw-r--r-- |
|
iter4.adb
|
1095 |
-rw-r--r-- |
|
iter5.adb
|
222 |
-rw-r--r-- |
|
iter5_pkg.ads
|
3790 |
-rw-r--r-- |
|
iter6.adb
|
1003 |
-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-- |
|
langdw2.adb
|
324 |
-rw-r--r-- |
|
langdw3.adb
|
323 |
-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-- |
|
limited1.adb
|
136 |
-rw-r--r-- |
|
limited1_inner.adb
|
354 |
-rw-r--r-- |
|
limited1_inner.ads
|
505 |
-rw-r--r-- |
|
limited1_outer.adb
|
147 |
-rw-r--r-- |
|
limited1_outer.ads
|
225 |
-rw-r--r-- |
|
limited2.adb
|
141 |
-rw-r--r-- |
|
limited2_pack_1.adb
|
112 |
-rw-r--r-- |
|
limited2_pack_1.ads
|
156 |
-rw-r--r-- |
|
limited2_pack_2.adb
|
453 |
-rw-r--r-- |
|
limited2_pack_2.ads
|
108 |
-rw-r--r-- |
|
limited3.adb
|
182 |
-rw-r--r-- |
|
limited3_pkg.adb
|
448 |
-rw-r--r-- |
|
limited3_pkg.ads
|
675 |
-rw-r--r-- |
|
limited4.adb
|
1501 |
-rw-r--r-- |
|
limited_aggr.adb
|
98 |
-rw-r--r-- |
|
limited_aggr.ads
|
220 |
-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-- |
|
limited_with7.adb
|
207 |
-rw-r--r-- |
|
limited_with7.ads
|
130 |
-rw-r--r-- |
|
limited_with7_pkg.ads
|
124 |
-rw-r--r-- |
|
linkedlist.adb
|
30407 |
-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_entry1.adb
|
278 |
-rw-r--r-- |
|
loop_entry2.adb
|
266 |
-rw-r--r-- |
|
loop_invariant1.adb
|
349 |
-rw-r--r-- |
|
loop_invariant1.ads
|
145 |
-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_optimization24.adb
|
870 |
-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-- |
|
loopvar.adb
|
710 |
-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
|
184 |
-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
|
145 |
-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-- |
|
lto22.adb
|
120 |
-rw-r--r-- |
|
lto22_pkg1.ads
|
100 |
-rw-r--r-- |
|
lto22_pkg2.adb
|
131 |
-rw-r--r-- |
|
lto22_pkg2.ads
|
267 |
-rw-r--r-- |
|
lto23.adb
|
350 |
-rw-r--r-- |
|
lto24.adb
|
163 |
-rw-r--r-- |
|
lto24_pkg1.ads
|
340 |
-rw-r--r-- |
|
lto24_pkg2.adb
|
108 |
-rw-r--r-- |
|
lto24_pkg2.ads
|
71 |
-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_attr1.adb
|
565 |
-rw-r--r-- |
|
machine_attr1.ads
|
537 |
-rw-r--r-- |
|
machine_code1.adb
|
308 |
-rw-r--r-- |
|
max_align.adb
|
256 |
-rw-r--r-- |
|
max_size.adb
|
258 |
-rw-r--r-- |
|
max_size_pkg.ads
|
188 |
-rw-r--r-- |
|
md5_test.adb
|
379 |
-rw-r--r-- |
|
memorytest.adb
|
583 |
-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-- |
|
modular5.adb
|
777 |
-rw-r--r-- |
|
multfixed.adb
|
664 |
-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_generic2.adb
|
104 |
-rw-r--r-- |
|
nested_generic2.ads
|
307 |
-rw-r--r-- |
|
nested_generic2_g1.adb
|
279 |
-rw-r--r-- |
|
nested_generic2_g1.ads
|
240 |
-rw-r--r-- |
|
nested_generic2_g2.ads
|
158 |
-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_caching.adb
|
634 |
-rw-r--r-- |
|
no_caching.ads
|
310 |
-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-- |
|
normalize_pathname.adb
|
224 |
-rw-r--r-- |
|
not_null.adb
|
487 |
-rw-r--r-- |
|
notnot.adb
|
201 |
-rw-r--r-- |
|
null_check.adb
|
418 |
-rw-r--r-- |
|
null_pointer_deref1.adb
|
507 |
-rw-r--r-- |
|
null_pointer_deref2.adb
|
592 |
-rw-r--r-- |
|
null_pointer_deref3.adb
|
553 |
-rw-r--r-- |
|
oalign1.ads
|
108 |
-rw-r--r-- |
|
oalign2.ads
|
108 |
-rw-r--r-- |
|
object_overflow1.adb
|
280 |
-rw-r--r-- |
|
object_overflow2.adb
|
290 |
-rw-r--r-- |
|
object_overflow3.adb
|
357 |
-rw-r--r-- |
|
object_overflow4.adb
|
462 |
-rw-r--r-- |
|
object_overflow5.adb
|
468 |
-rw-r--r-- |
|
object_size1.adb
|
344 |
-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-- |
|
openacc1.adb
|
254 |
-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
|
586 |
-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-- |
|
opt68.adb
|
1286 |
-rw-r--r-- |
|
opt68.ads
|
518 |
-rw-r--r-- |
|
opt69.adb
|
508 |
-rw-r--r-- |
|
opt7.adb
|
1248 |
-rw-r--r-- |
|
opt7.ads
|
291 |
-rw-r--r-- |
|
opt70.adb
|
251 |
-rw-r--r-- |
|
opt70_pkg.adb
|
1687 |
-rw-r--r-- |
|
opt70_pkg.ads
|
130 |
-rw-r--r-- |
|
opt71_pkg.ads
|
142 |
-rw-r--r-- |
|
opt71a.adb
|
340 |
-rw-r--r-- |
|
opt71b.adb
|
350 |
-rw-r--r-- |
|
opt72_pkg.ads
|
218 |
-rw-r--r-- |
|
opt72a.adb
|
340 |
-rw-r--r-- |
|
opt72b.adb
|
350 |
-rw-r--r-- |
|
opt73.adb
|
945 |
-rw-r--r-- |
|
opt74.adb
|
214 |
-rw-r--r-- |
|
opt74_pkg.adb
|
345 |
-rw-r--r-- |
|
opt74_pkg.ads
|
153 |
-rw-r--r-- |
|
opt75.adb
|
112 |
-rw-r--r-- |
|
opt75_pkg.adb
|
281 |
-rw-r--r-- |
|
opt75_pkg.ads
|
665 |
-rw-r--r-- |
|
opt76.adb
|
859 |
-rw-r--r-- |
|
opt77.adb
|
234 |
-rw-r--r-- |
|
opt77_pkg.adb
|
516 |
-rw-r--r-- |
|
opt77_pkg.ads
|
111 |
-rw-r--r-- |
|
opt78.adb
|
287 |
-rw-r--r-- |
|
opt78.ads
|
242 |
-rw-r--r-- |
|
opt79.adb
|
362 |
-rw-r--r-- |
|
opt79.ads
|
111 |
-rw-r--r-- |
|
opt7_pkg.ads
|
68 |
-rw-r--r-- |
|
opt8.adb
|
1350 |
-rw-r--r-- |
|
opt8.ads
|
1247 |
-rw-r--r-- |
|
opt80.adb
|
279 |
-rw-r--r-- |
|
opt81.adb
|
539 |
-rw-r--r-- |
|
opt81.ads
|
247 |
-rw-r--r-- |
|
opt82.adb
|
249 |
-rw-r--r-- |
|
opt82_pkg.ads
|
178 |
-rw-r--r-- |
|
opt83.adb
|
551 |
-rw-r--r-- |
|
opt8_pkg.ads
|
123 |
-rw-r--r-- |
|
opt9.adb
|
390 |
-rw-r--r-- |
|
opt9_pkg.ads
|
57 |
-rw-r--r-- |
|
others1.adb
|
349 |
-rw-r--r-- |
|
out_param.adb
|
603 |
-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-- |
|
overload2.adb
|
252 |
-rw-r--r-- |
|
overload2_p.adb
|
164 |
-rw-r--r-- |
|
overload2_p.ads
|
134 |
-rw-r--r-- |
|
overload2_q.adb
|
137 |
-rw-r--r-- |
|
overload2_q.ads
|
100 |
-rw-r--r-- |
|
overriding_ops.adb
|
328 |
-rw-r--r-- |
|
overriding_ops.ads
|
407 |
-rw-r--r-- |
|
overriding_ops2.adb
|
175 |
-rw-r--r-- |
|
overriding_ops2.ads
|
301 |
-rw-r--r-- |
|
overriding_ops2_pkg-high.ads
|
200 |
-rw-r--r-- |
|
overriding_ops2_pkg.ads
|
296 |
-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-- |
|
pack23.adb
|
227 |
-rw-r--r-- |
|
pack23_pkg.ads
|
93 |
-rw-r--r-- |
|
pack24.adb
|
659 |
-rw-r--r-- |
|
pack25.adb
|
445 |
-rw-r--r-- |
|
pack26.adb
|
368 |
-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_array.adb
|
63 |
-rw-r--r-- |
|
packed_array.ads
|
168 |
-rw-r--r-- |
|
packed_array_pkg.ads
|
363 |
-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-- |
|
part_of1-instantiation.adb
|
218 |
-rw-r--r-- |
|
part_of1-instantiation.ads
|
120 |
-rw-r--r-- |
|
part_of1-private_generic.adb
|
279 |
-rw-r--r-- |
|
part_of1-private_generic.ads
|
242 |
-rw-r--r-- |
|
part_of1.ads
|
34 |
-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-- |
|
predicate1.adb
|
813 |
-rw-r--r-- |
|
predicate10.adb
|
151 |
-rw-r--r-- |
|
predicate10_pkg.adb
|
195 |
-rw-r--r-- |
|
predicate10_pkg.ads
|
310 |
-rw-r--r-- |
|
predicate11.adb
|
710 |
-rw-r--r-- |
|
predicate12.adb
|
124 |
-rw-r--r-- |
|
predicate12.ads
|
1273 |
-rw-r--r-- |
|
predicate13.adb
|
73 |
-rw-r--r-- |
|
predicate13.ads
|
400 |
-rw-r--r-- |
|
predicate14.adb
|
96 |
-rw-r--r-- |
|
predicate14.ads
|
1440 |
-rw-r--r-- |
|
predicate2-containers.ads
|
308 |
-rw-r--r-- |
|
predicate2-project-name_values.ads
|
984 |
-rw-r--r-- |
|
predicate2-project-registry-attribute.ads
|
138 |
-rw-r--r-- |
|
predicate2-project-registry.ads
|
77 |
-rw-r--r-- |
|
predicate2-project-typ-set.ads
|
296 |
-rw-r--r-- |
|
predicate2-project-typ.ads
|
612 |
-rw-r--r-- |
|
predicate2-project.ads
|
60 |
-rw-r--r-- |
|
predicate2-source_reference.ads
|
785 |
-rw-r--r-- |
|
predicate2.ads
|
403 |
-rw-r--r-- |
|
predicate2_main.adb
|
274 |
-rw-r--r-- |
|
predicate3.adb
|
669 |
-rw-r--r-- |
|
predicate3_pkg.ads
|
500 |
-rw-r--r-- |
|
predicate4.adb
|
408 |
-rw-r--r-- |
|
predicate4_pkg.ads
|
415 |
-rw-r--r-- |
|
predicate5.adb
|
92 |
-rw-r--r-- |
|
predicate5.ads
|
440 |
-rw-r--r-- |
|
predicate6.adb
|
92 |
-rw-r--r-- |
|
predicate6.ads
|
423 |
-rw-r--r-- |
|
predicate7.adb
|
109 |
-rw-r--r-- |
|
predicate7.ads
|
351 |
-rw-r--r-- |
|
predicate7_pkg.ads
|
113 |
-rw-r--r-- |
|
predicate8.adb
|
254 |
-rw-r--r-- |
|
predicate8_pkg.adb
|
1575 |
-rw-r--r-- |
|
predicate8_pkg.ads
|
2374 |
-rw-r--r-- |
|
predicate9.adb
|
513 |
-rw-r--r-- |
|
prefetch1.adb
|
718 |
-rw-r--r-- |
|
prefetch1.ads
|
190 |
-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-- |
|
private_overriding.adb
|
1536 |
-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-- |
|
prot3.adb
|
95 |
-rw-r--r-- |
|
prot3_pkg.adb
|
295 |
-rw-r--r-- |
|
prot3_pkg.ads
|
288 |
-rw-r--r-- |
|
prot4.adb
|
512 |
-rw-r--r-- |
|
prot5.adb
|
359 |
-rw-r--r-- |
|
prot5_pkg.adb
|
273 |
-rw-r--r-- |
|
prot5_pkg.ads
|
185 |
-rw-r--r-- |
|
prot6.adb
|
325 |
-rw-r--r-- |
|
prot6.ads
|
711 |
-rw-r--r-- |
|
prot7.adb
|
498 |
-rw-r--r-- |
|
prot7.ads
|
348 |
-rw-r--r-- |
|
prot8.adb
|
95 |
-rw-r--r-- |
|
prot8.ads
|
138 |
-rw-r--r-- |
|
prot9.adb
|
160 |
-rw-r--r-- |
|
prot9_gen.ads
|
177 |
-rw-r--r-- |
|
prot9_pkg1.ads
|
153 |
-rw-r--r-- |
|
prot9_pkg2.ads
|
288 |
-rw-r--r-- |
|
prot_def.adb
|
809 |
-rw-r--r-- |
|
protected_func.adb
|
470 |
-rw-r--r-- |
|
protected_func.ads
|
244 |
-rw-r--r-- |
|
protected_null.adb
|
282 |
-rw-r--r-- |
|
protected_self_ref1.adb
|
450 |
-rw-r--r-- |
|
protected_self_ref2.adb
|
314 |
-rw-r--r-- |
|
pure_function1.adb
|
444 |
-rw-r--r-- |
|
pure_function1.ads
|
148 |
-rw-r--r-- |
|
pure_function2.adb
|
497 |
-rw-r--r-- |
|
pure_function2.ads
|
191 |
-rw-r--r-- |
|
pure_function3_pkg.ads
|
329 |
-rw-r--r-- |
|
pure_function3a.adb
|
364 |
-rw-r--r-- |
|
pure_function3b.adb
|
384 |
-rw-r--r-- |
|
pure_function3c.adb
|
380 |
-rw-r--r-- |
|
pure_subp_body.adb
|
392 |
-rw-r--r-- |
|
pure_subp_body_pkg.ads
|
54 |
-rw-r--r-- |
|
quote.adb
|
162 |
-rw-r--r-- |
|
raise_ce.adb
|
60 |
-rw-r--r-- |
|
raise_expr.adb
|
424 |
-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-- |
|
range_check3.adb
|
255 |
-rw-r--r-- |
|
range_check3_pkg.adb
|
380 |
-rw-r--r-- |
|
range_check3_pkg.ads
|
264 |
-rw-r--r-- |
|
range_check5.adb
|
360 |
-rw-r--r-- |
|
range_check6.adb
|
414 |
-rw-r--r-- |
|
range_check7.adb
|
353 |
-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-- |
|
renaming12.adb
|
95 |
-rw-r--r-- |
|
renaming12.ads
|
399 |
-rw-r--r-- |
|
renaming13.adb
|
370 |
-rw-r--r-- |
|
renaming14.adb
|
585 |
-rw-r--r-- |
|
renaming15.adb
|
880 |
-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-- |
|
rep_clause6.adb
|
96 |
-rw-r--r-- |
|
rep_clause6.ads
|
1418 |
-rw-r--r-- |
|
rep_clause7.adb
|
463 |
-rw-r--r-- |
|
rep_clause8.adb
|
472 |
-rw-r--r-- |
|
rep_clause9.adb
|
616 |
-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-- |
|
rt_signals.adb
|
218 |
-rw-r--r-- |
|
scalar_mode_agg_compare.adb
|
571 |
-rw-r--r-- |
|
scalar_mode_agg_compare_loop.adb
|
404 |
-rw-r--r-- |
|
scos1.adb
|
770 |
-rw-r--r-- |
|
sec_stack1.adb
|
764 |
-rw-r--r-- |
|
sec_stack2.adb
|
3129 |
-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-- |
|
self_ref1.adb
|
288 |
-rw-r--r-- |
|
set_in_pproc.adb
|
368 |
-rw-r--r-- |
|
sets1.adb
|
16210 |
-rw-r--r-- |
|
show_deques_priority.adb
|
168 |
-rw-r--r-- |
|
size_attribute.adb
|
151 |
-rw-r--r-- |
|
size_clause1.adb
|
271 |
-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-- |
|
slice10.adb
|
511 |
-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-- |
|
socket2.adb
|
517 |
-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-- |
|
spark1.adb
|
464 |
-rw-r--r-- |
|
spark1.ads
|
145 |
-rw-r--r-- |
|
spark2.adb
|
258 |
-rw-r--r-- |
|
spark2.ads
|
532 |
-rw-r--r-- |
|
spark3.adb
|
357 |
-rw-r--r-- |
|
spipaterr.adb
|
292 |
-rw-r--r-- |
|
split_args.adb
|
275 |
-rw-r--r-- |
|
sse_nolib.adb
|
1287 |
-rw-r--r-- |
|
sso1.adb
|
2010 |
-rw-r--r-- |
|
sso10.adb
|
175 |
-rw-r--r-- |
|
sso10_pkg.ads
|
167 |
-rw-r--r-- |
|
sso12.adb
|
483 |
-rw-r--r-- |
|
sso13.adb
|
966 |
-rw-r--r-- |
|
sso14.adb
|
1297 |
-rw-r--r-- |
|
sso15.adb
|
1276 |
-rw-r--r-- |
|
sso16.adb
|
961 |
-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-- |
|
sso8.adb
|
257 |
-rw-r--r-- |
|
sso8_pkg.ads
|
785 |
-rw-r--r-- |
|
sso9.adb
|
138 |
-rw-r--r-- |
|
sso9_pkg.ads
|
311 |
-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
|
2099 |
-rw-r--r-- |
|
stack_usage1_pkg.ads
|
242 |
-rw-r--r-- |
|
stack_usage1b.adb
|
2104 |
-rw-r--r-- |
|
stack_usage1c.adb
|
2105 |
-rw-r--r-- |
|
stack_usage2.adb
|
527 |
-rw-r--r-- |
|
stack_usage3.adb
|
913 |
-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-- |
|
stack_usage5.adb
|
198 |
-rw-r--r-- |
|
stack_usage6.adb
|
242 |
-rw-r--r-- |
|
stack_usage6_pkg.ads
|
369 |
-rw-r--r-- |
|
static_pred1.adb
|
426 |
-rw-r--r-- |
|
static_pred1.ads
|
104 |
-rw-r--r-- |
|
statically_matching.ads
|
244 |
-rw-r--r-- |
|
storage_size1.adb
|
397 |
-rw-r--r-- |
|
str1.adb
|
313 |
-rw-r--r-- |
|
string_comparison.adb
|
208 |
-rw-r--r-- |
|
string_merge1.adb
|
415 |
-rw-r--r-- |
|
string_merge2.adb
|
427 |
-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-- |
|
subp_inst.adb
|
747 |
-rw-r--r-- |
|
subp_inst_pkg.adb
|
598 |
-rw-r--r-- |
|
subp_inst_pkg.ads
|
248 |
-rw-r--r-- |
|
subpools1.adb
|
2334 |
-rw-r--r-- |
|
suppress_initialization.adb
|
167 |
-rw-r--r-- |
|
suppress_initialization2.adb
|
101 |
-rw-r--r-- |
|
suppress_initialization2.ads
|
279 |
-rw-r--r-- |
|
suppress_initialization_pkg.ads
|
675 |
-rw-r--r-- |
|
sync1.adb
|
273 |
-rw-r--r-- |
|
sync1.ads
|
319 |
-rw-r--r-- |
|
sync2.adb
|
436 |
-rw-r--r-- |
|
sync2.ads
|
118 |
-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-- |
|
synchronized1.adb
|
326 |
-rw-r--r-- |
|
synchronized1.ads
|
170 |
-rw-r--r-- |
|
synchronized2.adb
|
162 |
-rw-r--r-- |
|
synchronized2.ads
|
132 |
-rw-r--r-- |
|
synchronized2_pkg.ads
|
104 |
-rw-r--r-- |
|
system_info1.adb
|
842 |
-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-- |
|
tag2.adb
|
500 |
-rw-r--r-- |
|
tag2_pkg.ads
|
455 |
-rw-r--r-- |
|
tagged1.adb
|
88 |
-rw-r--r-- |
|
tagged1.ads
|
917 |
-rw-r--r-- |
|
tagged2.adb
|
147 |
-rw-r--r-- |
|
tagged2.ads
|
165 |
-rw-r--r-- |
|
tagged3.adb
|
1032 |
-rw-r--r-- |
|
tagged3_pkg.adb
|
252 |
-rw-r--r-- |
|
tagged3_pkg.ads
|
241 |
-rw-r--r-- |
|
tagged4.adb
|
665 |
-rw-r--r-- |
|
tagged5.adb
|
116 |
-rw-r--r-- |
|
tagged5.ads
|
357 |
-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-- |
|
tampering_check1.adb
|
270 |
-rw-r--r-- |
|
tampering_check1_ivectors.ads
|
118 |
-rw-r--r-- |
|
tampering_check1_trim.adb
|
242 |
-rw-r--r-- |
|
tampering_check1_trim.ads
|
114 |
-rw-r--r-- |
|
task1.adb
|
85 |
-rw-r--r-- |
|
task1.ads
|
218 |
-rw-r--r-- |
|
task1_pkg.adb
|
150 |
-rw-r--r-- |
|
task1_pkg.ads
|
251 |
-rw-r--r-- |
|
task2.adb
|
130 |
-rw-r--r-- |
|
task2_pkg.adb
|
92 |
-rw-r--r-- |
|
task2_pkg.ads
|
100 |
-rw-r--r-- |
|
task3.adb
|
265 |
-rw-r--r-- |
|
task3.ads
|
272 |
-rw-r--r-- |
|
task3_pkg1.ads
|
283 |
-rw-r--r-- |
|
task3_pkg2.ads
|
178 |
-rw-r--r-- |
|
task4.adb
|
282 |
-rw-r--r-- |
|
task5.adb
|
651 |
-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_casesi.adb
|
147 |
-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-- |
|
tls1.adb
|
1066 |
-rw-r--r-- |
|
tls1_pkg.ads
|
567 |
-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-- |
|
type_conv2.adb
|
376 |
-rw-r--r-- |
|
type_conv2.ads
|
244 |
-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_convert13.adb
|
531 |
-rw-r--r-- |
|
unchecked_convert14.adb
|
845 |
-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-- |
|
unreferenced.adb
|
230 |
-rw-r--r-- |
|
unreferenced2.adb
|
553 |
-rw-r--r-- |
|
unroll1.adb
|
806 |
-rw-r--r-- |
|
unroll1.ads
|
175 |
-rw-r--r-- |
|
unroll2.adb
|
622 |
-rw-r--r-- |
|
unroll2.ads
|
175 |
-rw-r--r-- |
|
unroll3.adb
|
619 |
-rw-r--r-- |
|
unroll3.ads
|
175 |
-rw-r--r-- |
|
unroll4.adb
|
617 |
-rw-r--r-- |
|
unroll4.ads
|
211 |
-rw-r--r-- |
|
unroll4_pkg.ads
|
73 |
-rw-r--r-- |
|
valid1.adb
|
460 |
-rw-r--r-- |
|
valid4.adb
|
195 |
-rw-r--r-- |
|
valid4_pkg.adb
|
450 |
-rw-r--r-- |
|
valid4_pkg.ads
|
254 |
-rw-r--r-- |
|
valid_scalars1.adb
|
209 |
-rw-r--r-- |
|
valid_scalars2.adb
|
505 |
-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-- |
|
validity_check3.adb
|
3718 |
-rw-r--r-- |
|
validity_check3.ads
|
3011 |
-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-- |
|
warn13.adb
|
274 |
-rw-r--r-- |
|
warn14.adb
|
1001 |
-rw-r--r-- |
|
warn15-core-main.adb
|
202 |
-rw-r--r-- |
|
warn15-core.ads
|
65 |
-rw-r--r-- |
|
warn15-interfaces.ads
|
53 |
-rw-r--r-- |
|
warn15.ads
|
30 |
-rw-r--r-- |
|
warn16.adb
|
914 |
-rw-r--r-- |
|
warn17.adb
|
492 |
-rw-r--r-- |
|
warn18.adb
|
299 |
-rw-r--r-- |
|
warn19.adb
|
335 |
-rw-r--r-- |
|
warn19.ads
|
105 |
-rw-r--r-- |
|
warn19_pkg.ads
|
117 |
-rw-r--r-- |
|
warn2.adb
|
413 |
-rw-r--r-- |
|
warn20.adb
|
190 |
-rw-r--r-- |
|
warn20_pkg.adb
|
209 |
-rw-r--r-- |
|
warn20_pkg.ads
|
146 |
-rw-r--r-- |
|
warn21.adb
|
120 |
-rw-r--r-- |
|
warn21.ads
|
445 |
-rw-r--r-- |
|
warn22.adb
|
526 |
-rw-r--r-- |
|
warn23.adb
|
263 |
-rw-r--r-- |
|
warn24.adb
|
265 |
-rw-r--r-- |
|
warn25.adb
|
568 |
-rw-r--r-- |
|
warn26.adb
|
482 |
-rw-r--r-- |
|
warn27.adb
|
334 |
-rw-r--r-- |
|
warn28.adb
|
725 |
-rw-r--r-- |
|
warn28.ads
|
189 |
-rw-r--r-- |
|
warn29.adb
|
199 |
-rw-r--r-- |
|
warn29.ads
|
100 |
-rw-r--r-- |
|
warn3.adb
|
398 |
-rw-r--r-- |
|
warn30.adb
|
215 |
-rw-r--r-- |
|
warn30.ads
|
166 |
-rw-r--r-- |
|
warn31.adb
|
125 |
-rw-r--r-- |
|
warn31.ads
|
360 |
-rw-r--r-- |
|
warn32.adb
|
534 |
-rw-r--r-- |
|
warn4.adb
|
847 |
-rw-r--r-- |
|
warn5.adb
|
835 |
-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-- |
|
weak3.adb
|
211 |
-rw-r--r-- |
|
weak3.ads
|
46 |
-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-- |
|
wide_wide_value1.adb
|
2238 |
-rw-r--r-- |
