| Mode | Name | Size | |
|---|
| -rw-r--r-- | abe_pkg.adb | 271 | logplain |
| -rw-r--r-- | abe_pkg.ads | 120 | logplain |
| -rw-r--r-- | abstract1.adb | 886 | logplain |
| -rw-r--r-- | abstract1.ads | 610 | logplain |
| -rw-r--r-- | abstract_state1.adb | 102 | logplain |
| -rw-r--r-- | abstract_state1.ads | 542 | logplain |
| -rw-r--r-- | abstract_with_anonymous_result.adb | 896 | logplain |
| -rw-r--r-- | access1.adb | 414 | logplain |
| -rw-r--r-- | access2.adb | 367 | logplain |
| -rw-r--r-- | access3.adb | 318 | logplain |
| -rw-r--r-- | access3.ads | 246 | logplain |
| -rw-r--r-- | access4.adb | 147 | logplain |
| -rw-r--r-- | access5.adb | 79 | logplain |
| -rw-r--r-- | access5.ads | 199 | logplain |
| -rw-r--r-- | access6.adb | 589 | logplain |
| -rw-r--r-- | access7.adb | 2239 | logplain |
| -rw-r--r-- | access8.adb | 1225 | logplain |
| -rw-r--r-- | access8_pkg.adb | 605 | logplain |
| -rw-r--r-- | access8_pkg.ads | 506 | logplain |
| -rw-r--r-- | access9.adb | 274 | logplain |
| -rw-r--r-- | access_discr.adb | 559 | logplain |
| -rw-r--r-- | access_discr2.adb | 197 | logplain |
| -rw-r--r-- | access_func.adb | 217 | logplain |
| -rw-r--r-- | access_test.adb | 563 | logplain |
| -rw-r--r-- | addr1.adb | 387 | logplain |
| -rw-r--r-- | addr1.ads | 48 | logplain |
| -rw-r--r-- | addr10.adb | 468 | logplain |
| -rw-r--r-- | addr11.adb | 468 | logplain |
| -rw-r--r-- | addr12.adb | 88 | logplain |
| -rw-r--r-- | addr12_a.adb | 554 | logplain |
| -rw-r--r-- | addr12_a.ads | 57 | logplain |
| -rw-r--r-- | addr12_b.adb | 195 | logplain |
| -rw-r--r-- | addr12_b.ads | 524 | logplain |
| -rw-r--r-- | addr12_c.ads | 133 | logplain |
| -rw-r--r-- | addr13.adb | 180 | logplain |
| -rw-r--r-- | addr13.ads | 89 | logplain |
| -rw-r--r-- | addr14.adb | 368 | logplain |
| -rw-r--r-- | addr15.adb | 387 | logplain |
| -rw-r--r-- | addr16.adb | 195 | logplain |
| -rw-r--r-- | addr16_pkg.ads | 175 | logplain |
| -rw-r--r-- | addr2.adb | 158 | logplain |
| -rw-r--r-- | addr2_p.adb | 248 | logplain |
| -rw-r--r-- | addr2_p.ads | 229 | logplain |
| -rw-r--r-- | addr3.adb | 664 | logplain |
| -rw-r--r-- | addr4.adb | 253 | logplain |
| -rw-r--r-- | addr5.adb | 199 | logplain |
| -rw-r--r-- | addr6.adb | 554 | logplain |
| -rw-r--r-- | addr7.adb | 179 | logplain |
| -rw-r--r-- | addr7.ads | 145 | logplain |
| -rw-r--r-- | addr8.adb | 171 | logplain |
| -rw-r--r-- | addr8.ads | 137 | logplain |
| -rw-r--r-- | addr9_1.adb | 827 | logplain |
| -rw-r--r-- | addr9_2.adb | 854 | logplain |
| -rw-r--r-- | addr9_3.adb | 819 | logplain |
| -rw-r--r-- | addr9_4.adb | 811 | logplain |
| -rw-r--r-- | addr_slice.adb | 408 | logplain |
| -rw-r--r-- | address_conv.adb | 322 | logplain |
| -rw-r--r-- | address_conversion.adb | 452 | logplain |
| -rw-r--r-- | address_null_init.ads | 226 | logplain |
| -rw-r--r-- | aggr1.adb | 1228 | logplain |
| -rw-r--r-- | aggr10.adb | 593 | logplain |
| -rw-r--r-- | aggr10_pkg.ads | 460 | logplain |
| -rw-r--r-- | aggr11.adb | 405 | logplain |
| -rw-r--r-- | aggr11_pkg.ads | 283 | logplain |
| -rw-r--r-- | aggr12.adb | 350 | logplain |
| -rw-r--r-- | aggr12.ads | 261 | logplain |
| -rw-r--r-- | aggr13.adb | 390 | logplain |
| -rw-r--r-- | aggr14.adb | 91 | logplain |
| -rw-r--r-- | aggr14_pkg.adb | 235 | logplain |
| -rw-r--r-- | aggr14_pkg.ads | 148 | logplain |
| -rw-r--r-- | aggr15.adb | 303 | logplain |
| -rw-r--r-- | aggr15.ads | 233 | logplain |
| -rw-r--r-- | aggr16.adb | 431 | logplain |
| -rw-r--r-- | aggr16.ads | 50 | logplain |
| -rw-r--r-- | aggr16_pkg.ads | 433 | logplain |
| -rw-r--r-- | aggr17.adb | 554 | logplain |
| -rw-r--r-- | aggr18.adb | 545 | logplain |
| -rw-r--r-- | aggr19.adb | 253 | logplain |
| -rw-r--r-- | aggr19_pkg.adb | 153 | logplain |
| -rw-r--r-- | aggr19_pkg.ads | 570 | logplain |
| -rw-r--r-- | aggr2.adb | 310 | logplain |
| -rw-r--r-- | aggr20.adb | 147 | logplain |
| -rw-r--r-- | aggr20.ads | 430 | logplain |
| -rw-r--r-- | aggr20_pkg.ads | 140 | logplain |
| -rw-r--r-- | aggr21.adb | 284 | logplain |
| -rw-r--r-- | aggr21_pkg.adb | 135 | logplain |
| -rw-r--r-- | aggr21_pkg.ads | 178 | logplain |
| -rw-r--r-- | aggr22.adb | 262 | logplain |
| -rw-r--r-- | aggr22.ads | 267 | logplain |
| -rw-r--r-- | aggr23.adb | 112 | logplain |
| -rw-r--r-- | aggr23_q.adb | 300 | logplain |
| -rw-r--r-- | aggr23_tt.ads | 106 | logplain |
| -rw-r--r-- | aggr24.adb | 184 | logplain |
| -rw-r--r-- | aggr24_pkg.adb | 269 | logplain |
| -rw-r--r-- | aggr24_pkg.ads | 278 | logplain |
| -rw-r--r-- | aggr25.adb | 85 | logplain |
| -rw-r--r-- | aggr25.ads | 472 | logplain |
| -rw-r--r-- | aggr26.adb | 242 | logplain |
| -rw-r--r-- | aggr27.adb | 727 | logplain |
| -rw-r--r-- | aggr28.adb | 535 | logplain |
| -rw-r--r-- | aggr29.adb | 257 | logplain |
| -rw-r--r-- | aggr3.adb | 842 | logplain |
| -rw-r--r-- | aggr30.adb | 440 | logplain |
| -rw-r--r-- | aggr30.ads | 423 | logplain |
| -rw-r--r-- | aggr4.adb | 514 | logplain |
| -rw-r--r-- | aggr7.adb | 813 | logplain |
| -rw-r--r-- | aggr8.adb | 401 | logplain |
| -rw-r--r-- | aggr9.adb | 162 | logplain |
| -rw-r--r-- | aggr9.ads | 89 | logplain |
| -rw-r--r-- | aggr9_pkg.ads | 231 | logplain |
| -rw-r--r-- | ai12_0086_example.adb | 628 | logplain |
| -rw-r--r-- | aliased1.adb | 568 | logplain |
| -rw-r--r-- | aliased2.adb | 376 | logplain |
| -rw-r--r-- | aliased_prefix_accessibility.adb | 1558 | logplain |
| -rw-r--r-- | aliasing1.adb | 441 | logplain |
| -rw-r--r-- | aliasing1.ads | 177 | logplain |
| -rw-r--r-- | aliasing2.adb | 446 | logplain |
| -rw-r--r-- | aliasing2.ads | 163 | logplain |
| -rw-r--r-- | aliasing3.adb | 162 | logplain |
| -rw-r--r-- | aliasing3_pkg.adb | 157 | logplain |
| -rw-r--r-- | aliasing3_pkg.ads | 305 | logplain |
| -rw-r--r-- | align_check.adb | 523 | logplain |
| -rw-r--r-- | align_max.adb | 3832 | logplain |
| -rw-r--r-- | aligned_vla.adb | 533 | logplain |
| -rw-r--r-- | alignment1.adb | 247 | logplain |
| -rw-r--r-- | alignment10.adb | 390 | logplain |
| -rw-r--r-- | alignment11.adb | 224 | logplain |
| -rw-r--r-- | alignment12.adb | 231 | logplain |
| -rw-r--r-- | alignment13.adb | 313 | logplain |
| -rw-r--r-- | alignment14.adb | 294 | logplain |
| -rw-r--r-- | alignment15.adb | 260 | logplain |
| -rw-r--r-- | alignment2.adb | 1236 | logplain |
| -rw-r--r-- | alignment3.adb | 915 | logplain |
| -rw-r--r-- | alignment4.adb | 237 | logplain |
| -rw-r--r-- | alignment5.adb | 654 | logplain |
| -rw-r--r-- | alignment6.adb | 713 | logplain |
| -rw-r--r-- | alignment7.adb | 306 | logplain |
| -rw-r--r-- | alignment8.adb | 318 | logplain |
| -rw-r--r-- | alignment9.adb | 444 | logplain |
| -rw-r--r-- | allocator.adb | 370 | logplain |
| -rw-r--r-- | allocator2.adb | 124 | logplain |
| -rw-r--r-- | allocator2.ads | 453 | logplain |
| -rw-r--r-- | allocator_maxalign1.adb | 964 | logplain |
| -rw-r--r-- | allocator_maxalign2.adb | 669 | logplain |
| -rw-r--r-- | allocator_maxalign2.ads | 211 | logplain |
| -rw-r--r-- | ancestor_type.adb | 233 | logplain |
| -rw-r--r-- | ancestor_type.ads | 200 | logplain |
| -rw-r--r-- | annotation1.adb | 139 | logplain |
| -rw-r--r-- | anon1.ads | 66 | logplain |
| -rw-r--r-- | anon2.adb | 120 | logplain |
| -rw-r--r-- | anon3.adb | 113 | logplain |
| -rw-r--r-- | anon3.ads | 86 | logplain |
| -rw-r--r-- | array1.adb | 656 | logplain |
| -rw-r--r-- | array1.ads | 151 | logplain |
| -rw-r--r-- | array10.adb | 449 | logplain |
| -rw-r--r-- | array11.adb | 322 | logplain |
| -rw-r--r-- | array12.adb | 347 | logplain |
| -rw-r--r-- | array13.adb | 211 | logplain |
| -rw-r--r-- | array13.ads | 201 | logplain |
| -rw-r--r-- | array14.adb | 682 | logplain |
| -rw-r--r-- | array14.ads | 52 | logplain |
| -rw-r--r-- | array14_pkg.ads | 455 | logplain |
| -rw-r--r-- | array15.adb | 397 | logplain |
| -rw-r--r-- | array15.ads | 78 | logplain |
| -rw-r--r-- | array16.adb | 550 | logplain |
| -rw-r--r-- | array16.ads | 537 | logplain |
| -rw-r--r-- | array16_pkg.ads | 71 | logplain |
| -rw-r--r-- | array17.adb | 242 | logplain |
| -rw-r--r-- | array17_pkg.ads | 180 | logplain |
| -rw-r--r-- | array18.adb | 125 | logplain |
| -rw-r--r-- | array18_pkg.ads | 132 | logplain |
| -rw-r--r-- | array19.adb | 531 | logplain |
| -rw-r--r-- | array19.ads | 53 | logplain |
| -rw-r--r-- | array2.ads | 129 | logplain |
| -rw-r--r-- | array20.adb | 201 | logplain |
| -rw-r--r-- | array20.ads | 60 | logplain |
| -rw-r--r-- | array21.adb | 309 | logplain |
| -rw-r--r-- | array22.adb | 385 | logplain |
| -rw-r--r-- | array23.adb | 145 | logplain |
| -rw-r--r-- | array23_pkg1.ads | 254 | logplain |
| -rw-r--r-- | array23_pkg2.ads | 199 | logplain |
| -rw-r--r-- | array23_pkg3.ads | 65 | logplain |
| -rw-r--r-- | array24.adb | 257 | logplain |
| -rw-r--r-- | array25.adb | 129 | logplain |
| -rw-r--r-- | array25_pkg.adb | 250 | logplain |
| -rw-r--r-- | array25_pkg.ads | 268 | logplain |
| -rw-r--r-- | array26.adb | 357 | logplain |
| -rw-r--r-- | array26_pkg.adb | 114 | logplain |
| -rw-r--r-- | array26_pkg.ads | 157 | logplain |
| -rw-r--r-- | array27.adb | 359 | logplain |
| -rw-r--r-- | array27_pkg.adb | 114 | logplain |
| -rw-r--r-- | array27_pkg.ads | 157 | logplain |
| -rw-r--r-- | array28.adb | 359 | logplain |
| -rw-r--r-- | array28_pkg.adb | 116 | logplain |
| -rw-r--r-- | array28_pkg.ads | 157 | logplain |
| -rw-r--r-- | array29.adb | 662 | logplain |
| -rw-r--r-- | array29.ads | 135 | logplain |
| -rw-r--r-- | array3.adb | 1110 | logplain |
| -rw-r--r-- | array30.adb | 749 | logplain |
| -rw-r--r-- | array31.adb | 312 | logplain |
| -rw-r--r-- | array32.adb | 147 | logplain |
| -rw-r--r-- | array32.ads | 174 | logplain |
| -rw-r--r-- | array33.adb | 3479 | logplain |
| -rw-r--r-- | array34.adb | 335 | logplain |
| -rw-r--r-- | array35.adb | 366 | logplain |
| -rw-r--r-- | array36.adb | 428 | logplain |
| -rw-r--r-- | array37.adb | 316 | logplain |
| -rw-r--r-- | array38.adb | 156 | logplain |
| -rw-r--r-- | array38_pkg.adb | 150 | logplain |
| -rw-r--r-- | array38_pkg.ads | 477 | logplain |
| -rw-r--r-- | array39.adb | 183 | logplain |
| -rw-r--r-- | array39_pkg.adb | 375 | logplain |
| -rw-r--r-- | array39_pkg.ads | 502 | logplain |
| -rw-r--r-- | array4.adb | 576 | logplain |
| -rw-r--r-- | array40.adb | 357 | logplain |
| -rw-r--r-- | array40_pkg.ads | 177 | logplain |
| -rw-r--r-- | array5.adb | 575 | logplain |
| -rw-r--r-- | array6.adb | 605 | logplain |
| -rw-r--r-- | array7.adb | 488 | logplain |
| -rw-r--r-- | array7.ads | 484 | logplain |
| -rw-r--r-- | array8.adb | 575 | logplain |
| -rw-r--r-- | array9.adb | 309 | logplain |
| -rw-r--r-- | array_bounds_test.adb | 397 | logplain |
| -rw-r--r-- | array_bounds_test2.adb | 525 | logplain |
| -rw-r--r-- | asan1.adb | 285 | logplain |
| -rw-r--r-- | asan1_pkg.ads | 180 | logplain |
| -rw-r--r-- | aspect1.adb | 325 | logplain |
| -rw-r--r-- | aspect1_horizontal.adb | 235 | logplain |
| -rw-r--r-- | aspect1_horizontal.ads | 307 | logplain |
| -rw-r--r-- | aspect1_vectors_2d.ads | 464 | logplain |
| -rw-r--r-- | assert.ads | 75 | logplain |
| -rw-r--r-- | assert1.adb | 1281 | logplain |
| -rw-r--r-- | assert2.adb | 88 | logplain |
| -rw-r--r-- | assert2.ads | 415 | logplain |
| -rw-r--r-- | assertion_policy1.adb | 304 | logplain |
| -rw-r--r-- | assertion_policy1_pkg.adb | 201 | logplain |
| -rw-r--r-- | assertion_policy1_pkg.ads | 177 | logplain |
| -rw-r--r-- | assign_from_packed.adb | 257 | logplain |
| -rw-r--r-- | assign_from_packed_pixels.ads | 335 | logplain |
| -rw-r--r-- | asynch.adb | 556 | logplain |
| -rw-r--r-- | asynch.ads | 199 | logplain |
| -rw-r--r-- | atomic1.adb | 379 | logplain |
| -rw-r--r-- | atomic10.adb | 591 | logplain |
| -rw-r--r-- | atomic11.adb | 400 | logplain |
| -rw-r--r-- | atomic11_pkg1.ads | 338 | logplain |
| -rw-r--r-- | atomic11_pkg2.ads | 78 | logplain |
| -rw-r--r-- | atomic1_pkg.ads | 1024 | logplain |
| -rw-r--r-- | atomic2.adb | 214 | logplain |
| -rw-r--r-- | atomic3.adb | 398 | logplain |
| -rw-r--r-- | atomic4.adb | 270 | logplain |
| -rw-r--r-- | atomic4.ads | 534 | logplain |
| -rw-r--r-- | atomic5.adb | 341 | logplain |
| -rw-r--r-- | atomic5.ads | 382 | logplain |
| -rw-r--r-- | atomic6_1.adb | 1440 | logplain |
| -rw-r--r-- | atomic6_2.adb | 1634 | logplain |
| -rw-r--r-- | atomic6_3.adb | 1728 | logplain |
| -rw-r--r-- | atomic6_4.adb | 1566 | logplain |
| -rw-r--r-- | atomic6_5.adb | 1476 | logplain |
| -rw-r--r-- | atomic6_6.adb | 1496 | logplain |
| -rw-r--r-- | atomic6_7.adb | 1546 | logplain |
| -rw-r--r-- | atomic6_8.adb | 1429 | logplain |
| -rw-r--r-- | atomic6_pkg.ads | 600 | logplain |
| -rw-r--r-- | atomic7_1.adb | 214 | logplain |
| -rw-r--r-- | atomic7_2.adb | 143 | logplain |
| -rw-r--r-- | atomic7_pkg1.ads | 152 | logplain |
| -rw-r--r-- | atomic7_pkg2.adb | 217 | logplain |
| -rw-r--r-- | atomic7_pkg2.ads | 77 | logplain |
| -rw-r--r-- | atomic8.adb | 578 | logplain |
| -rw-r--r-- | atomic9.adb | 559 | logplain |
| -rw-r--r-- | bad_array.adb | 146 | logplain |
| -rw-r--r-- | bias1.adb | 845 | logplain |
| -rw-r--r-- | bias2.adb | 486 | logplain |
| -rw-r--r-- | biased_subtype.adb | 410 | logplain |
| -rw-r--r-- | biased_uc.adb | 1067 | logplain |
| -rw-r--r-- | bip_aggregate_bug.adb | 1341 | logplain |
| -rw-r--r-- | bip_case_expr.adb | 381 | logplain |
| -rw-r--r-- | bip_case_expr_pkg.ads | 203 | logplain |
| -rw-r--r-- | bip_cu.adb | 165 | logplain |
| -rw-r--r-- | bip_cu_constructor.adb | 145 | logplain |
| -rw-r--r-- | bip_cu_constructor.ads | 67 | logplain |
| -rw-r--r-- | bip_cu_t.adb | 177 | logplain |
| -rw-r--r-- | bip_cu_t.ads | 247 | logplain |
| -rw-r--r-- | bip_exception.adb | 428 | logplain |
| -rw-r--r-- | bip_exception.ads | 614 | logplain |
| -rw-r--r-- | bip_exception_pkg.ads | 339 | logplain |
| -rw-r--r-- | bip_export.adb | 259 | logplain |
| -rw-r--r-- | bip_export.ads | 145 | logplain |
| -rw-r--r-- | bip_overlay.adb | 340 | logplain |
| -rw-r--r-- | bip_overlay.ads | 491 | logplain |
| -rw-r--r-- | bip_prim_func.adb | 277 | logplain |
| -rw-r--r-- | bip_prim_func.ads | 222 | logplain |
| -rw-r--r-- | bit_order1.adb | 389 | logplain |
| -rw-r--r-- | bit_packed_array1.adb | 369 | logplain |
| -rw-r--r-- | bit_packed_array1.ads | 934 | logplain |
| -rw-r--r-- | bit_packed_array2.adb | 324 | logplain |
| -rw-r--r-- | bit_packed_array3.adb | 971 | logplain |
| -rw-r--r-- | bit_packed_array4.adb | 182 | logplain |
| -rw-r--r-- | bit_packed_array4.ads | 411 | logplain |
| -rw-r--r-- | bit_packed_array5.adb | 453 | logplain |
| -rw-r--r-- | bit_packed_array5.ads | 363 | logplain |
| -rw-r--r-- | bit_packed_array6.adb | 219 | logplain |
| -rw-r--r-- | bit_packed_array6_pkg.ads | 393 | logplain |
| -rw-r--r-- | blkextract_from_reg.adb | 1178 | logplain |
| -rw-r--r-- | block_ext_return_assert_failure.adb | 460 | logplain |
| -rw-r--r-- | bltins.adb | 202 | logplain |
| -rw-r--r-- | boolean_bitfield.adb | 1198 | logplain |
| -rw-r--r-- | boolean_conv.adb | 536 | logplain |
| -rw-r--r-- | boolean_expr1.adb | 781 | logplain |
| -rw-r--r-- | boolean_expr1.ads | 95 | logplain |
| -rw-r--r-- | boolean_expr2.adb | 314 | logplain |
| -rw-r--r-- | boolean_subtype1.adb | 753 | logplain |
| -rw-r--r-- | boolean_subtype2.adb | 945 | logplain |
| -rw-r--r-- | boolean_subtype2.ads | 186 | logplain |
| -rw-r--r-- | boolean_subtype2_pkg.ads | 285 | logplain |
| -rw-r--r-- | bug_elaboration_code.adb | 184 | logplain |
| -rw-r--r-- | bug_elaboration_code.ads | 119 | logplain |
| -rw-r--r-- | c_words.adb | 288 | logplain |
| -rw-r--r-- | c_words.ads | 469 | logplain |
| -rw-r--r-- | capture_value.adb | 245 | logplain |
| -rw-r--r-- | case_character.adb | 303 | logplain |
| -rw-r--r-- | case_null.adb | 315 | logplain |
| -rw-r--r-- | case_null.ads | 207 | logplain |
| -rw-r--r-- | case_optimization1.adb | 518 | logplain |
| -rw-r--r-- | case_optimization1.ads | 161 | logplain |
| -rw-r--r-- | case_optimization2.adb | 276 | logplain |
| -rw-r--r-- | case_optimization3.adb | 465 | logplain |
| -rw-r--r-- | case_optimization3.ads | 213 | logplain |
| -rw-r--r-- | case_optimization_pkg1.ads | 18675 | logplain |
| -rw-r--r-- | case_optimization_pkg2.adb | 598 | logplain |
| -rw-r--r-- | case_optimization_pkg2.ads | 764 | logplain |
| -rw-r--r-- | casesi.adb | 674 | logplain |
| -rw-r--r-- | casesi.ads | 55 | logplain |
| -rw-r--r-- | check1.adb | 146 | logplain |
| -rw-r--r-- | check1.ads | 207 | logplain |
| -rw-r--r-- | check_displace_generation.adb | 1100 | logplain |
| -rw-r--r-- | check_elaboration_code.adb | 197 | logplain |
| -rw-r--r-- | class_wide1.adb | 489 | logplain |
| -rw-r--r-- | class_wide2.adb | 287 | logplain |
| -rw-r--r-- | class_wide2.ads | 311 | logplain |
| -rw-r--r-- | class_wide3.adb | 191 | logplain |
| -rw-r--r-- | class_wide3_pkg.ads | 332 | logplain |
| -rw-r--r-- | class_wide4.adb | 522 | logplain |
| -rw-r--r-- | class_wide4_pkg.ads | 503 | logplain |
| -rw-r--r-- | class_wide4_pkg2.ads | 610 | logplain |
| -rw-r--r-- | class_wide5.adb | 250 | logplain |
| -rw-r--r-- | compile_time_error1.adb | 113 | logplain |
| -rw-r--r-- | compile_time_error1.ads | 215 | logplain |
| -rw-r--r-- | compile_time_error1_pkg.ads | 185 | logplain |
| -rw-r--r-- | complex1.adb | 205 | logplain |
| -rw-r--r-- | complex1_pkg.ads | 86 | logplain |
| -rw-r--r-- | component_size.adb | 1175 | logplain |
| -rw-r--r-- | compose.adb | 293 | logplain |
| -rw-r--r-- | concat1.adb | 482 | logplain |
| -rw-r--r-- | concat1_pkg.adb | 117 | logplain |
| -rw-r--r-- | concat1_pkg.ads | 89 | logplain |
| -rw-r--r-- | concat2.adb | 362 | logplain |
| -rw-r--r-- | concat2.ads | 55 | logplain |
| -rw-r--r-- | concat3.adb | 257 | logplain |
| -rw-r--r-- | concat4.adb | 381 | logplain |
| -rw-r--r-- | concat5.adb | 133 | logplain |
| -rw-r--r-- | concat5_pkg1.adb | 342 | logplain |
| -rw-r--r-- | concat5_pkg1.ads | 75 | logplain |
| -rw-r--r-- | concat5_pkg2.adb | 198 | logplain |
| -rw-r--r-- | concat5_pkg2.ads | 78 | logplain |
| -rw-r--r-- | concat_length.adb | 317 | logplain |
| -rw-r--r-- | cond_expr1.adb | 177 | logplain |
| -rw-r--r-- | cond_expr2.adb | 209 | logplain |
| -rw-r--r-- | cond_expr2.ads | 82 | logplain |
| -rw-r--r-- | constant1.adb | 134 | logplain |
| -rw-r--r-- | constant2.adb | 171 | logplain |
| -rw-r--r-- | constant2_pkg1.ads | 134 | logplain |
| -rw-r--r-- | constant2_pkg2.adb | 184 | logplain |
| -rw-r--r-- | constant2_pkg2.ads | 108 | logplain |
| -rw-r--r-- | constant3.adb | 391 | logplain |
| -rw-r--r-- | constant4.adb | 211 | logplain |
| -rw-r--r-- | constant4_pkg.ads | 440 | logplain |
| -rw-r--r-- | containers1.adb | 126 | logplain |
| -rw-r--r-- | containers1.ads | 209 | logplain |
| -rw-r--r-- | containers2.adb | 4656 | logplain |
| -rw-r--r-- | contract1.adb | 351 | logplain |
| -rw-r--r-- | controlled1.ads | 372 | logplain |
| -rw-r--r-- | controlled2.adb | 266 | logplain |
| -rw-r--r-- | controlled2.ads | 101 | logplain |
| -rw-r--r-- | controlled3.ads | 371 | logplain |
| -rw-r--r-- | controlled4.adb | 219 | logplain |
| -rw-r--r-- | controlled4.ads | 89 | logplain |
| -rw-r--r-- | controlled5.adb | 141 | logplain |
| -rw-r--r-- | controlled5_pkg.adb | 367 | logplain |
| -rw-r--r-- | controlled5_pkg.ads | 369 | logplain |
| -rw-r--r-- | controlled6.adb | 514 | logplain |
| -rw-r--r-- | controlled6_pkg-iterators.adb | 560 | logplain |
| -rw-r--r-- | controlled6_pkg-iterators.ads | 493 | logplain |
| -rw-r--r-- | controlled6_pkg.ads | 212 | logplain |
| -rw-r--r-- | controlled7.adb | 403 | logplain |
| -rw-r--r-- | controlled7.ads | 146 | logplain |
| -rw-r--r-- | controlled8.adb | 2110 | logplain |
| -rw-r--r-- | controlled_record.adb | 281 | logplain |
| -rw-r--r-- | controlled_record.ads | 329 | logplain |
| -rw-r--r-- | conv_bug.adb | 685 | logplain |
| -rw-r--r-- | conv_decimal.adb | 739 | logplain |
| -rw-r--r-- | conv_integer.adb | 246 | logplain |
| -rw-r--r-- | conv_real.adb | 568 | logplain |
| -rw-r--r-- | cpp_constructor.adb | 288 | logplain |
| -rw-r--r-- | cpp_constructor2.adb | 433 | logplain |
| -rw-r--r-- | cpp_constructor_fp.ads | 331 | logplain |
| -rw-r--r-- | cpp_constructor_useit.ads | 222 | logplain |
| -rw-r--r-- | curr_task.adb | 2246 | logplain |
| -rw-r--r-- | debug1.ads | 502 | logplain |
| -rw-r--r-- | debug10.adb | 1325 | logplain |
| -rw-r--r-- | debug10_pkg.ads | 3492 | logplain |
| -rw-r--r-- | debug11.adb | 946 | logplain |
| -rw-r--r-- | debug11_pkg.adb | 914 | logplain |
| -rw-r--r-- | debug11_pkg.ads | 267 | logplain |
| -rw-r--r-- | debug11_pkg2.ads | 252 | logplain |
| -rw-r--r-- | debug12.adb | 336 | logplain |
| -rw-r--r-- | debug12.ads | 215 | logplain |
| -rw-r--r-- | debug13.adb | 861 | logplain |
| -rw-r--r-- | debug13.ads | 70 | logplain |
| -rw-r--r-- | debug14.adb | 660 | logplain |
| -rw-r--r-- | debug16.adb | 643 | logplain |
| -rw-r--r-- | debug17.adb | 660 | logplain |
| -rw-r--r-- | debug18.adb | 510 | logplain |
| -rw-r--r-- | debug2.adb | 599 | logplain |
| -rw-r--r-- | debug2.ads | 52 | logplain |
| -rw-r--r-- | debug2_pkg.ads | 404 | logplain |
| -rw-r--r-- | debug3.adb | 483 | logplain |
| -rw-r--r-- | debug3.ads | 50 | logplain |
| -rw-r--r-- | debug4.adb | 142 | logplain |
| -rw-r--r-- | debug4_pkg.adb | 729 | logplain |
| -rw-r--r-- | debug4_pkg.ads | 676 | logplain |
| -rw-r--r-- | debug5.adb | 438 | logplain |
| -rw-r--r-- | debug6.adb | 170 | logplain |
| -rw-r--r-- | debug6_pkg.ads | 370 | logplain |
| -rw-r--r-- | debug7.adb | 326 | logplain |
| -rw-r--r-- | debug7.ads | 145 | logplain |
| -rw-r--r-- | debug8.adb | 831 | logplain |
| -rw-r--r-- | debug9.adb | 1624 | logplain |
| -rw-r--r-- | decl_ctx_def.ads | 48 | logplain |
| -rw-r--r-- | decl_ctx_use.adb | 229 | logplain |
| -rw-r--r-- | decl_ctx_use.ads | 74 | logplain |
| -rw-r--r-- | default_initial_condition.adb | 273 | logplain |
| -rw-r--r-- | default_initial_condition_pack.adb | 197 | logplain |
| -rw-r--r-- | default_initial_condition_pack.ads | 275 | logplain |
| -rw-r--r-- | default_pkg_actual.adb | 534 | logplain |
| -rw-r--r-- | default_pkg_actual2.adb | 446 | logplain |
| -rw-r--r-- | default_variants.adb | 692 | logplain |
| -rw-r--r-- | deferred_const1.adb | 276 | logplain |
| -rw-r--r-- | deferred_const2.adb | 203 | logplain |
| -rw-r--r-- | deferred_const2_pkg.adb | 201 | logplain |
| -rw-r--r-- | deferred_const2_pkg.ads | 224 | logplain |
| -rw-r--r-- | deferred_const3.adb | 344 | logplain |
| -rw-r--r-- | deferred_const3_pkg.adb | 342 | logplain |
| -rw-r--r-- | deferred_const3_pkg.ads | 356 | logplain |
| -rw-r--r-- | deferred_const4.adb | 174 | logplain |
| -rw-r--r-- | deferred_const4.ads | 279 | logplain |
| -rw-r--r-- | deferred_const4_pkg.ads | 347 | logplain |
| -rw-r--r-- | delta_aggr.adb | 1228 | logplain |
| -rw-r--r-- | deques.ads | 400 | logplain |
| -rw-r--r-- | deref1.ads | 104 | logplain |
| -rw-r--r-- | deref2.ads | 344 | logplain |
| -rw-r--r-- | deref3.adb | 172 | logplain |
| -rw-r--r-- | derived_aggregate.adb | 666 | logplain |
| -rw-r--r-- | derived_type1.adb | 601 | logplain |
| -rw-r--r-- | derived_type2.adb | 633 | logplain |
| -rw-r--r-- | derived_type3.adb | 124 | logplain |
| -rw-r--r-- | derived_type3_pkg.adb | 1048 | logplain |
| -rw-r--r-- | derived_type3_pkg.ads | 94 | logplain |
| -rw-r--r-- | derived_type4.adb | 288 | logplain |
| -rw-r--r-- | derived_type5.adb | 162 | logplain |
| -rw-r--r-- | derived_type5_pkg.ads | 634 | logplain |
| -rw-r--r-- | derived_type6.adb | 96 | logplain |
| -rw-r--r-- | derived_type6.ads | 211 | logplain |
| -rw-r--r-- | derived_type7.adb | 182 | logplain |
| -rw-r--r-- | derived_type7.ads | 317 | logplain |
| -rw-r--r-- | dflt_init_cond.adb | 188 | logplain |
| -rw-r--r-- | dflt_init_cond_pkg.ads | 360 | logplain |
| -rw-r--r-- | dg.exp | 1096 | logplain |
| -rw-r--r-- | dimensions.adb | 94 | logplain |
| -rw-r--r-- | dimensions.ads | 917 | logplain |
| -rw-r--r-- | dimensions2.adb | 671 | logplain |
| -rw-r--r-- | dimensions2_phys.ads | 2933 | logplain |
| -rw-r--r-- | dimensions2_real_numbers.ads | 72 | logplain |
| -rw-r--r-- | dinst.adb | 784 | logplain |
| -rw-r--r-- | dinst_pkg.adb | 135 | logplain |
| -rw-r--r-- | dinst_pkg.ads | 52 | logplain |
| -rw-r--r-- | discr1.ads | 466 | logplain |
| -rw-r--r-- | discr10.adb | 146 | logplain |
| -rw-r--r-- | discr10.ads | 516 | logplain |
| -rw-r--r-- | discr11.adb | 164 | logplain |
| -rw-r--r-- | discr11.ads | 174 | logplain |
| -rw-r--r-- | discr11_pkg.ads | 213 | logplain |
| -rw-r--r-- | discr12.adb | 565 | logplain |
| -rw-r--r-- | discr12_pkg.ads | 89 | logplain |
| -rw-r--r-- | discr13.adb | 607 | logplain |
| -rw-r--r-- | discr14.adb | 270 | logplain |
| -rw-r--r-- | discr14.ads | 1063 | logplain |
| -rw-r--r-- | discr15.adb | 312 | logplain |
| -rw-r--r-- | discr15_pkg.ads | 436 | logplain |
| -rw-r--r-- | discr16.adb | 404 | logplain |
| -rw-r--r-- | discr16_cont.ads | 105 | logplain |
| -rw-r--r-- | discr16_g.ads | 289 | logplain |
| -rw-r--r-- | discr16_pkg.ads | 165 | logplain |
| -rw-r--r-- | discr17.adb | 1085 | logplain |
| -rw-r--r-- | discr18.adb | 499 | logplain |
| -rw-r--r-- | discr18_pkg.ads | 470 | logplain |
| -rw-r--r-- | discr19.adb | 342 | logplain |
| -rw-r--r-- | discr2.adb | 372 | logplain |
| -rw-r--r-- | discr2.ads | 53 | logplain |
| -rw-r--r-- | discr20.adb | 141 | logplain |
| -rw-r--r-- | discr20.ads | 605 | logplain |
| -rw-r--r-- | discr21.adb | 584 | logplain |
| -rw-r--r-- | discr21.ads | 52 | logplain |
| -rw-r--r-- | discr21_pkg.ads | 351 | logplain |
| -rw-r--r-- | discr22.adb | 404 | logplain |
| -rw-r--r-- | discr23.adb | 280 | logplain |
| -rw-r--r-- | discr23.ads | 53 | logplain |
| -rw-r--r-- | discr23_pkg.ads | 221 | logplain |
| -rw-r--r-- | discr24.adb | 1192 | logplain |
| -rw-r--r-- | discr25.adb | 140 | logplain |
| -rw-r--r-- | discr25_pkg.adb | 463 | logplain |
| -rw-r--r-- | discr25_pkg.ads | 195 | logplain |
| -rw-r--r-- | discr26.adb | 258 | logplain |
| -rw-r--r-- | discr26.ads | 245 | logplain |
| -rw-r--r-- | discr26_pkg.ads | 71 | logplain |
| -rw-r--r-- | discr27.adb | 605 | logplain |
| -rw-r--r-- | discr27.ads | 53 | logplain |
| -rw-r--r-- | discr28.adb | 307 | logplain |
| -rw-r--r-- | discr28.ads | 337 | logplain |
| -rw-r--r-- | discr28_pkg.ads | 71 | logplain |
| -rw-r--r-- | discr29.adb | 139 | logplain |
| -rw-r--r-- | discr29.ads | 420 | logplain |
| -rw-r--r-- | discr3.ads | 299 | logplain |
| -rw-r--r-- | discr30.adb | 1194 | logplain |
| -rw-r--r-- | discr31.adb | 226 | logplain |
| -rw-r--r-- | discr31.ads | 370 | logplain |
| -rw-r--r-- | discr32.adb | 327 | logplain |
| -rw-r--r-- | discr32_pkg.ads | 472 | logplain |
| -rw-r--r-- | discr33.adb | 610 | logplain |
| -rw-r--r-- | discr34.adb | 121 | logplain |
| -rw-r--r-- | discr34_pkg.ads | 271 | logplain |
| -rw-r--r-- | discr35.adb | 215 | logplain |
| -rw-r--r-- | discr35.ads | 361 | logplain |
| -rw-r--r-- | discr36.adb | 298 | logplain |
| -rw-r--r-- | discr36.ads | 206 | logplain |
| -rw-r--r-- | discr36_pkg.adb | 151 | logplain |
| -rw-r--r-- | discr36_pkg.ads | 101 | logplain |
| -rw-r--r-- | discr37.adb | 217 | logplain |
| -rw-r--r-- | discr37.ads | 463 | logplain |
| -rw-r--r-- | discr38.adb | 941 | logplain |
| -rw-r--r-- | discr39.adb | 456 | logplain |
| -rw-r--r-- | discr4.adb | 894 | logplain |
| -rw-r--r-- | discr40.adb | 231 | logplain |
| -rw-r--r-- | discr40.ads | 719 | logplain |
| -rw-r--r-- | discr41.adb | 168 | logplain |
| -rw-r--r-- | discr41.ads | 437 | logplain |
| -rw-r--r-- | discr42.adb | 265 | logplain |
| -rw-r--r-- | discr42_pkg.adb | 255 | logplain |
| -rw-r--r-- | discr42_pkg.ads | 249 | logplain |
| -rw-r--r-- | discr43.adb | 382 | logplain |
| -rw-r--r-- | discr44.adb | 496 | logplain |
| -rw-r--r-- | discr45.adb | 810 | logplain |
| -rw-r--r-- | discr46.adb | 244 | logplain |
| -rw-r--r-- | discr46.ads | 450 | logplain |
| -rw-r--r-- | discr47.adb | 299 | logplain |
| -rw-r--r-- | discr48.adb | 201 | logplain |
| -rw-r--r-- | discr48_pkg.ads | 449 | logplain |
| -rw-r--r-- | discr49.adb | 235 | logplain |
| -rw-r--r-- | discr49_rec1.adb | 163 | logplain |
| -rw-r--r-- | discr49_rec1.ads | 270 | logplain |
| -rw-r--r-- | discr49_rec2.adb | 149 | logplain |
| -rw-r--r-- | discr49_rec2.ads | 269 | logplain |
| -rw-r--r-- | discr5.adb | 323 | logplain |
| -rw-r--r-- | discr50.adb | 271 | logplain |
| -rw-r--r-- | discr51.adb | 676 | logplain |
| -rw-r--r-- | discr52.adb | 498 | logplain |
| -rw-r--r-- | discr53.adb | 258 | logplain |
| -rw-r--r-- | discr53.ads | 279 | logplain |
| -rw-r--r-- | discr53_pkg.ads | 73 | logplain |
| -rw-r--r-- | discr54.adb | 126 | logplain |
| -rw-r--r-- | discr54_pkg.ads | 2758 | logplain |
| -rw-r--r-- | discr55.adb | 262 | logplain |
| -rw-r--r-- | discr56.adb | 87 | logplain |
| -rw-r--r-- | discr56.ads | 107 | logplain |
| -rw-r--r-- | discr56_pkg1.adb | 92 | logplain |
| -rw-r--r-- | discr56_pkg1.ads | 260 | logplain |
| -rw-r--r-- | discr56_pkg2.ads | 195 | logplain |
| -rw-r--r-- | discr57.adb | 297 | logplain |
| -rw-r--r-- | discr58.adb | 939 | logplain |
| -rw-r--r-- | discr59.adb | 454 | logplain |
| -rw-r--r-- | discr59_pkg1.ads | 984 | logplain |
| -rw-r--r-- | discr59_pkg2.ads | 331 | logplain |
| -rw-r--r-- | discr7.adb | 436 | logplain |
| -rw-r--r-- | discr8.adb | 636 | logplain |
| -rw-r--r-- | discr8.ads | 350 | logplain |
| -rw-r--r-- | discr8_pkg1.ads | 203 | logplain |
| -rw-r--r-- | discr8_pkg2.ads | 236 | logplain |
| -rw-r--r-- | discr8_pkg3.ads | 73 | logplain |
| -rw-r--r-- | discr9.adb | 188 | logplain |
| -rw-r--r-- | discr9.ads | 475 | logplain |
| -rw-r--r-- | discr_range_check.adb | 415 | logplain |
| -rw-r--r-- | discr_test.adb | 437 | logplain |
| -rw-r--r-- | discr_test2.adb | 381 | logplain |
| -rw-r--r-- | disp1.adb | 161 | logplain |
| -rw-r--r-- | disp1_pkg.ads | 105 | logplain |
| -rw-r--r-- | disp2.adb | 192 | logplain |
| -rw-r--r-- | disp2_pkg.adb | 159 | logplain |
| -rw-r--r-- | disp2_pkg.ads | 269 | logplain |
| -rw-r--r-- | div_no_warning.adb | 293 | logplain |
| -rw-r--r-- | div_zero.adb | 542 | logplain |
| -rw-r--r-- | dse_step.adb | 361 | logplain |
| -rw-r--r-- | dse_step.ads | 411 | logplain |
| -rw-r--r-- | dynamic_bound.adb | 529 | logplain |
| -rw-r--r-- | dynamic_elab1.adb | 271 | logplain |
| -rw-r--r-- | dynamic_elab1.ads | 198 | logplain |
| -rw-r--r-- | dynamic_elab2.adb | 271 | logplain |
| -rw-r--r-- | dynamic_elab2.ads | 215 | logplain |
| -rw-r--r-- | dynamic_elab_pkg.ads | 153 | logplain |
| -rw-r--r-- | dynhash.adb | 20094 | logplain |
| -rw-r--r-- | dynhash1.adb | 1342 | logplain |
| -rw-r--r-- | elab1.ads | 474 | logplain |
| -rw-r--r-- | elab2.adb | 123 | logplain |
| -rw-r--r-- | elab3.adb | 162 | logplain |
| -rw-r--r-- | elab3.ads | 46 | logplain |
| -rw-r--r-- | elab3_pkg.adb | 165 | logplain |
| -rw-r--r-- | elab3_pkg.ads | 126 | logplain |
| -rw-r--r-- | elab4.adb | 79 | logplain |
| -rw-r--r-- | elab4_pkg.adb | 2407 | logplain |
| -rw-r--r-- | elab4_pkg.ads | 1125 | logplain |
| -rw-r--r-- | elab5.adb | 79 | logplain |
| -rw-r--r-- | elab5_pkg.adb | 2912 | logplain |
| -rw-r--r-- | elab5_pkg.ads | 1286 | logplain |
| -rw-r--r-- | elab6.adb | 152 | logplain |
| -rw-r--r-- | elab6.ads | 78 | logplain |
| -rw-r--r-- | elab6_pkg.adb | 291 | logplain |
| -rw-r--r-- | elab6_pkg.ads | 67 | logplain |
| -rw-r--r-- | elab7.adb | 117 | logplain |
| -rw-r--r-- | elab7_pkg1.adb | 118 | logplain |
| -rw-r--r-- | elab7_pkg1.ads | 54 | logplain |
| -rw-r--r-- | elab7_pkg2.adb | 270 | logplain |
| -rw-r--r-- | elab7_pkg2.ads | 81 | logplain |
| -rw-r--r-- | elab8.adb | 167 | logplain |
| -rw-r--r-- | elab8_gen.adb | 178 | logplain |
| -rw-r--r-- | elab8_gen.ads | 132 | logplain |
| -rw-r--r-- | elab8_pkg.adb | 70 | logplain |
| -rw-r--r-- | elab8_pkg.ads | 79 | logplain |
| -rw-r--r-- | elim1.adb | 83 | logplain |
| -rw-r--r-- | elim1.ads | 111 | logplain |
| -rw-r--r-- | elim2.adb | 70 | logplain |
| -rw-r--r-- | empty_vector_length.adb | 395 | logplain |
| -rw-r--r-- | enclosing_record_reference.adb | 888 | logplain |
| -rw-r--r-- | enclosing_record_reference.ads | 618 | logplain |
| -rw-r--r-- | encode_string1.adb | 1429 | logplain |
| -rw-r--r-- | encode_string1_pkg.adb | 339 | logplain |
| -rw-r--r-- | encode_string1_pkg.ads | 165 | logplain |
| -rw-r--r-- | entry1.adb | 1338 | logplain |
| -rw-r--r-- | entry1.ads | 123 | logplain |
| -rw-r--r-- | entry_family.adb | 573 | logplain |
| -rw-r--r-- | entry_queues.adb | 1078 | logplain |
| -rw-r--r-- | entry_queues2.adb | 834 | logplain |
| -rw-r--r-- | entry_queues3.adb | 480 | logplain |
| -rw-r--r-- | enum1.adb | 247 | logplain |
| -rw-r--r-- | enum1_pkg.ads | 128 | logplain |
| -rw-r--r-- | enum2.adb | 274 | logplain |
| -rw-r--r-- | enum2_pkg.ads | 237 | logplain |
| -rw-r--r-- | enum3.adb | 522 | logplain |
| -rw-r--r-- | enum4.adb | 1680 | logplain |
| -rw-r--r-- | enum5.adb | 171 | logplain |
| -rw-r--r-- | enum_rep.adb | 79 | logplain |
| -rw-r--r-- | enum_rep.ads | 583 | logplain |
| -rw-r--r-- | enum_rep2.adb | 6192 | logplain |
| -rw-r--r-- | enum_val1.adb | 447 | logplain |
| -rw-r--r-- | env_compile_capacity.adb | 957 | logplain |
| -rw-r--r-- | env_compile_capacity.ads | 60 | logplain |
| -rw-r--r-- | equal1.ads | 286 | logplain |
| -rw-r--r-- | equal10.adb | 87 | logplain |
| -rw-r--r-- | equal10.ads | 175 | logplain |
| -rw-r--r-- | equal11.adb | 638 | logplain |
| -rw-r--r-- | equal11_interface.ads | 150 | logplain |
| -rw-r--r-- | equal11_record.adb | 157 | logplain |
| -rw-r--r-- | equal11_record.ads | 435 | logplain |
| -rw-r--r-- | equal2.adb | 810 | logplain |
| -rw-r--r-- | equal3.adb | 587 | logplain |
| -rw-r--r-- | equal4.adb | 288 | logplain |
| -rw-r--r-- | equal4.ads | 132 | logplain |
| -rw-r--r-- | equal4_controlled_filter.ads | 263 | logplain |
| -rw-r--r-- | equal4_full_selector_filter.ads | 251 | logplain |
| -rw-r--r-- | equal4_smart_pointers.ads | 229 | logplain |
| -rw-r--r-- | equal5.adb | 284 | logplain |
| -rw-r--r-- | equal5.ads | 675 | logplain |
| -rw-r--r-- | equal6.adb | 761 | logplain |
| -rw-r--r-- | equal6_types.adb | 392 | logplain |
| -rw-r--r-- | equal6_types.ads | 1431 | logplain |
| -rw-r--r-- | equal7.adb | 815 | logplain |
| -rw-r--r-- | equal7_pkg.adb | 296 | logplain |
| -rw-r--r-- | equal7_pkg.ads | 554 | logplain |
| -rw-r--r-- | equal9.adb | 474 | logplain |
| -rw-r--r-- | equal_access.adb | 142 | logplain |
| -rw-r--r-- | exit1.adb | 1322 | logplain |
| -rw-r--r-- | exp0_eval.adb | 620 | logplain |
| -rw-r--r-- | expect1.adb | 300 | logplain |
| -rw-r--r-- | expect2.adb | 482 | logplain |
| -rw-r--r-- | expect2_pkg.ads | 447 | logplain |
| -rw-r--r-- | expect3.adb | 688 | logplain |
| -rw-r--r-- | expect4.adb | 589 | logplain |
| -rw-r--r-- | expr_func2.adb | 92 | logplain |
| -rw-r--r-- | expr_func2.ads | 525 | logplain |
| -rw-r--r-- | expr_func3.adb | 96 | logplain |
| -rw-r--r-- | expr_func3.ads | 362 | logplain |
| -rw-r--r-- | expr_func4.adb | 220 | logplain |
| -rw-r--r-- | expr_func5.adb | 176 | logplain |
| -rw-r--r-- | expr_func6.adb | 96 | logplain |
| -rw-r--r-- | expr_func6.ads | 397 | logplain |
| -rw-r--r-- | expr_func7.adb | 94 | logplain |
| -rw-r--r-- | expr_func7.ads | 444 | logplain |
| -rw-r--r-- | expr_func8.adb | 888 | logplain |
| -rw-r--r-- | expr_func9.adb | 435 | logplain |
| -rw-r--r-- | expr_func_main.adb | 163 | logplain |
| -rw-r--r-- | expr_func_pkg.adb | 202 | logplain |
| -rw-r--r-- | expr_func_pkg.ads | 224 | logplain |
| -rw-r--r-- | ext1.ads | 377 | logplain |
| -rw-r--r-- | fatp_sra.adb | 234 | logplain |
| -rw-r--r-- | finalized.adb | 248 | logplain |
| -rw-r--r-- | fixce.adb | 322 | logplain |
| -rw-r--r-- | fixed_delete.adb | 390 | logplain |
| -rw-r--r-- | fixedpnt.adb | 186 | logplain |
| -rw-r--r-- | fixedpnt2.adb | 734 | logplain |
| -rw-r--r-- | fixedpnt2.ads | 626 | logplain |
| -rw-r--r-- | fixedpnt3.adb | 399 | logplain |
| -rw-r--r-- | fixedpnt4.adb | 319 | logplain |
| -rw-r--r-- | fixedpnt5.adb | 1754 | logplain |
| -rw-r--r-- | fixedpnt6.adb | 315 | logplain |
| -rw-r--r-- | fixedpnt7.adb | 417 | logplain |
| -rw-r--r-- | fixedpnt8.adb | 657 | logplain |
| -rw-r--r-- | float_attributes_overflows.adb | 930 | logplain |
| -rw-r--r-- | float_value1.adb | 1682 | logplain |
| -rw-r--r-- | float_value2.adb | 247 | logplain |
| -rw-r--r-- | forward_anon.adb | 151 | logplain |
| -rw-r--r-- | forward_anon.ads | 266 | logplain |
| -rw-r--r-- | forward_vla.adb | 419 | logplain |
| -rw-r--r-- | fp_exception.adb | 518 | logplain |
| -rw-r--r-- | frame_overflow.adb | 554 | logplain |
| -rw-r--r-- | frame_overflow.ads | 423 | logplain |
| -rw-r--r-- | frame_overflow2.adb | 444 | logplain |
| -rw-r--r-- | freezing1.adb | 90 | logplain |
| -rw-r--r-- | freezing1.ads | 276 | logplain |
| -rw-r--r-- | freezing1_pack.adb | 223 | logplain |
| -rw-r--r-- | freezing1_pack.ads | 444 | logplain |
| -rw-r--r-- | frunaligned.adb | 159 | logplain |
| -rw-r--r-- | frunaligned1.ads | 260 | logplain |
| -rw-r--r-- | g_tables.adb | 175 | logplain |
| -rw-r--r-- | g_tables.ads | 225 | logplain |
| d--------- | gcov | 73 | logplain |
| -rw-r--r-- | gen_disp.adb | 1375 | logplain |
| -rw-r--r-- | gen_disp.ads | 299 | logplain |
| -rw-r--r-- | gen_formal_pkg.adb | 225 | logplain |
| -rw-r--r-- | gen_formal_pkg_a.ads | 64 | logplain |
| -rw-r--r-- | gen_formal_pkg_b.ads | 137 | logplain |
| -rw-r--r-- | gen_formal_pkg_w.ads | 278 | logplain |
| -rw-r--r-- | generic2-child.ads | 88 | logplain |
| -rw-r--r-- | generic2-io_any.adb | 102 | logplain |
| -rw-r--r-- | generic2-io_any.ads | 132 | logplain |
| -rw-r--r-- | generic2.ads | 77 | logplain |
| -rw-r--r-- | generic_actuals.adb | 472 | logplain |
| -rw-r--r-- | generic_call_cw.adb | 833 | logplain |
| -rw-r--r-- | generic_call_iface.adb | 831 | logplain |
| -rw-r--r-- | generic_comp.adb | 1078 | logplain |
| -rw-r--r-- | generic_disp.adb | 225 | logplain |
| -rw-r--r-- | generic_disp_pkg.adb | 184 | logplain |
| -rw-r--r-- | generic_disp_pkg.ads | 541 | logplain |
| -rw-r--r-- | generic_inst10.adb | 643 | logplain |
| -rw-r--r-- | generic_inst10_pkg.ads | 192 | logplain |
| -rw-r--r-- | generic_inst11.adb | 147 | logplain |
| -rw-r--r-- | generic_inst11_pkg.adb | 374 | logplain |
| -rw-r--r-- | generic_inst11_pkg.ads | 87 | logplain |
| -rw-r--r-- | generic_inst12.adb | 226 | logplain |
| -rw-r--r-- | generic_inst12_pkg1.adb | 177 | logplain |
| -rw-r--r-- | generic_inst12_pkg1.ads | 181 | logplain |
| -rw-r--r-- | generic_inst12_pkg2.ads | 93 | logplain |
| -rw-r--r-- | generic_inst13.adb | 406 | logplain |
| -rw-r--r-- | generic_inst13_pkg-nested_g.ads | 334 | logplain |
| -rw-r--r-- | generic_inst13_pkg-ops_g.ads | 229 | logplain |
| -rw-r--r-- | generic_inst13_pkg.ads | 170 | logplain |
| -rw-r--r-- | generic_inst2.adb | 108 | logplain |
| -rw-r--r-- | generic_inst2.ads | 228 | logplain |
| -rw-r--r-- | generic_inst2_c.ads | 161 | logplain |
| -rw-r--r-- | generic_inst3.adb | 547 | logplain |
| -rw-r--r-- | generic_inst3_kafka_lib-topic.ads | 280 | logplain |
| -rw-r--r-- | generic_inst3_kafka_lib.ads | 64 | logplain |
| -rw-r--r-- | generic_inst3_markets.ads | 458 | logplain |
| -rw-r--r-- | generic_inst3_traits-encodables.ads | 247 | logplain |
| -rw-r--r-- | generic_inst3_traits.ads | 74 | logplain |
| -rw-r--r-- | generic_inst4.adb | 95 | logplain |
| -rw-r--r-- | generic_inst4_gen.ads | 60 | logplain |
| -rw-r--r-- | generic_inst4_inst.ads | 228 | logplain |
| -rw-r--r-- | generic_inst4_typ.ads | 131 | logplain |
| -rw-r--r-- | generic_inst5.adb | 269 | logplain |
| -rw-r--r-- | generic_inst6.adb | 184 | logplain |
| -rw-r--r-- | generic_inst6_g1-c.adb | 190 | logplain |
| -rw-r--r-- | generic_inst6_g1-c.ads | 77 | logplain |
| -rw-r--r-- | generic_inst6_g1.ads | 66 | logplain |
| -rw-r--r-- | generic_inst6_i1.ads | 73 | logplain |
| -rw-r--r-- | generic_inst6_i2.ads | 95 | logplain |
| -rw-r--r-- | generic_inst6_x.ads | 201 | logplain |
| -rw-r--r-- | generic_inst7.adb | 152 | logplain |
| -rw-r--r-- | generic_inst7_pkg.adb | 293 | logplain |
| -rw-r--r-- | generic_inst7_pkg.ads | 152 | logplain |
| -rw-r--r-- | generic_inst7_types.ads | 322 | logplain |
| -rw-r--r-- | generic_inst8.adb | 146 | logplain |
| -rw-r--r-- | generic_inst8.ads | 95 | logplain |
| -rw-r--r-- | generic_inst8_g.adb | 183 | logplain |
| -rw-r--r-- | generic_inst8_g.ads | 310 | logplain |
| -rw-r--r-- | generic_inst9.adb | 99 | logplain |
| -rw-r--r-- | generic_inst9.ads | 258 | logplain |
| -rw-r--r-- | generic_inst9_pkg1-operator.ads | 357 | logplain |
| -rw-r--r-- | generic_inst9_pkg1.ads | 183 | logplain |
| -rw-r--r-- | generic_inst9_pkg2.adb | 203 | logplain |
| -rw-r--r-- | generic_inst9_pkg2.ads | 337 | logplain |
| -rw-r--r-- | generic_pkg.adb | 870 | logplain |
| -rw-r--r-- | ghost1.adb | 179 | logplain |
| -rw-r--r-- | ghost1.ads | 174 | logplain |
| -rw-r--r-- | ghost2.adb | 84 | logplain |
| -rw-r--r-- | ghost2.ads | 338 | logplain |
| -rw-r--r-- | ghost3.adb | 86 | logplain |
| -rw-r--r-- | ghost3.ads | 395 | logplain |
| -rw-r--r-- | ghost4.adb | 291 | logplain |
| -rw-r--r-- | ghost5.adb | 84 | logplain |
| -rw-r--r-- | ghost5.ads | 76 | logplain |
| -rw-r--r-- | ghost5_parent.ads | 298 | logplain |
| -rw-r--r-- | ghost6.adb | 148 | logplain |
| -rw-r--r-- | ghost6_pkg.ads | 138 | logplain |
| -rw-r--r-- | ghost7.adb | 115 | logplain |
| -rw-r--r-- | ghost7.ads | 219 | logplain |
| -rw-r--r-- | global.adb | 2302 | logplain |
| -rw-r--r-- | global.ads | 352 | logplain |
| -rw-r--r-- | global2.adb | 199 | logplain |
| -rw-r--r-- | global2.ads | 213 | logplain |
| -rw-r--r-- | gnat_array_split1.adb | 108 | logplain |
| -rw-r--r-- | gnat_array_split1.ads | 120 | logplain |
| -rw-r--r-- | gnat_malloc.adb | 422 | logplain |
| -rw-r--r-- | gnatg.adb | 305 | logplain |
| -rw-r--r-- | graphic.adb | 538 | logplain |
| -rw-r--r-- | graphic.ads | 216 | logplain |
| -rw-r--r-- | handle_and_return.adb | 282 | logplain |
| -rw-r--r-- | handle_raise_from_pure.adb | 270 | logplain |
| -rw-r--r-- | hardbool.adb | 1178 | logplain |
| -rw-r--r-- | hardbool.ads | 507 | logplain |
| -rw-r--r-- | hyper_flat.adb | 312 | logplain |
| -rw-r--r-- | ice_type.adb | 187 | logplain |
| -rw-r--r-- | ice_types.ads | 150 | logplain |
| -rw-r--r-- | iface1.ads | 408 | logplain |
| -rw-r--r-- | iface2.adb | 140 | logplain |
| -rw-r--r-- | iface2.ads | 144 | logplain |
| -rw-r--r-- | iface_test.adb | 689 | logplain |
| -rw-r--r-- | iface_test.ads | 450 | logplain |
| -rw-r--r-- | ifaces.adb | 157 | logplain |
| -rw-r--r-- | ifaces.ads | 401 | logplain |
| -rw-r--r-- | image1.adb | 233 | logplain |
| -rw-r--r-- | implicit_param.adb | 400 | logplain |
| -rw-r--r-- | implicit_param_pkg.ads | 190 | logplain |
| -rw-r--r-- | import1.adb | 340 | logplain |
| -rw-r--r-- | import1.ads | 124 | logplain |
| -rw-r--r-- | import2.adb | 201 | logplain |
| -rw-r--r-- | in_mod_conv.adb | 558 | logplain |
| -rw-r--r-- | in_out_parameter.adb | 799 | logplain |
| -rw-r--r-- | in_out_parameter2.adb | 364 | logplain |
| -rw-r--r-- | in_out_parameter3.adb | 726 | logplain |
| -rw-r--r-- | in_out_parameter4.adb | 574 | logplain |
| -rw-r--r-- | include.adb | 128 | logplain |
| -rw-r--r-- | incomplete1.ads | 66 | logplain |
| -rw-r--r-- | incomplete2.adb | 134 | logplain |
| -rw-r--r-- | incomplete2.ads | 223 | logplain |
| -rw-r--r-- | incomplete3.adb | 343 | logplain |
| -rw-r--r-- | incomplete3.ads | 486 | logplain |
| -rw-r--r-- | incomplete4.adb | 158 | logplain |
| -rw-r--r-- | incomplete4_pkg.ads | 181 | logplain |
| -rw-r--r-- | incomplete5.adb | 167 | logplain |
| -rw-r--r-- | incomplete5.ads | 357 | logplain |
| -rw-r--r-- | incomplete5_pkg.adb | 284 | logplain |
| -rw-r--r-- | incomplete5_pkg.ads | 333 | logplain |
| -rw-r--r-- | incomplete6.adb | 286 | logplain |
| -rw-r--r-- | incomplete6.ads | 432 | logplain |
| -rw-r--r-- | incomplete7.adb | 94 | logplain |
| -rw-r--r-- | incomplete7.ads | 623 | logplain |
| -rw-r--r-- | init_scalar1.adb | 405 | logplain |
| -rw-r--r-- | initializes.adb | 791 | logplain |
| -rw-r--r-- | initializes.ads | 226 | logplain |
| -rw-r--r-- | inline1.adb | 177 | logplain |
| -rw-r--r-- | inline10.adb | 144 | logplain |
| -rw-r--r-- | inline10_pkg.adb | 360 | logplain |
| -rw-r--r-- | inline10_pkg.ads | 100 | logplain |
| -rw-r--r-- | inline11.adb | 145 | logplain |
| -rw-r--r-- | inline11_pkg.adb | 245 | logplain |
| -rw-r--r-- | inline11_pkg.ads | 102 | logplain |
| -rw-r--r-- | inline12.adb | 321 | logplain |
| -rw-r--r-- | inline13.adb | 436 | logplain |
| -rw-r--r-- | inline13.ads | 154 | logplain |
| -rw-r--r-- | inline13_pkg.adb | 148 | logplain |
| -rw-r--r-- | inline13_pkg.ads | 189 | logplain |
| -rw-r--r-- | inline14.adb | 133 | logplain |
| -rw-r--r-- | inline14_pkg.adb | 213 | logplain |
| -rw-r--r-- | inline14_pkg.ads | 86 | logplain |
| -rw-r--r-- | inline15.adb | 167 | logplain |
| -rw-r--r-- | inline15_gen.adb | 825 | logplain |
| -rw-r--r-- | inline15_gen.ads | 207 | logplain |
| -rw-r--r-- | inline15_types.ads | 376 | logplain |
| -rw-r--r-- | inline16.adb | 592 | logplain |
| -rw-r--r-- | inline16_gen.adb | 511 | logplain |
| -rw-r--r-- | inline16_gen.ads | 186 | logplain |
| -rw-r--r-- | inline16_types.ads | 213 | logplain |
| -rw-r--r-- | inline17.adb | 197 | logplain |
| -rw-r--r-- | inline17_pkg1.adb | 234 | logplain |
| -rw-r--r-- | inline17_pkg1.ads | 91 | logplain |
| -rw-r--r-- | inline17_pkg2.ads | 227 | logplain |
| -rw-r--r-- | inline17_pkg3.adb | 244 | logplain |
| -rw-r--r-- | inline17_pkg3.ads | 354 | logplain |
| -rw-r--r-- | inline18.adb | 120 | logplain |
| -rw-r--r-- | inline18.ads | 125 | logplain |
| -rw-r--r-- | inline18_gen1-inner_g.ads | 115 | logplain |
| -rw-r--r-- | inline18_gen1.adb | 131 | logplain |
| -rw-r--r-- | inline18_gen1.ads | 202 | logplain |
| -rw-r--r-- | inline18_gen2.adb | 173 | logplain |
| -rw-r--r-- | inline18_gen2.ads | 155 | logplain |
| -rw-r--r-- | inline18_gen3.adb | 193 | logplain |
| -rw-r--r-- | inline18_gen3.ads | 211 | logplain |
| -rw-r--r-- | inline18_pkg1.adb | 163 | logplain |
| -rw-r--r-- | inline18_pkg1.ads | 362 | logplain |
| -rw-r--r-- | inline18_pkg2-child.ads | 174 | logplain |
| -rw-r--r-- | inline18_pkg2.ads | 44 | logplain |
| -rw-r--r-- | inline19.adb | 296 | logplain |
| -rw-r--r-- | inline19.ads | 121 | logplain |
| -rw-r--r-- | inline1_pkg.adb | 1032 | logplain |
| -rw-r--r-- | inline1_pkg.ads | 216 | logplain |
| -rw-r--r-- | inline2.adb | 216 | logplain |
| -rw-r--r-- | inline20.adb | 162 | logplain |
| -rw-r--r-- | inline20_g.adb | 360 | logplain |
| -rw-r--r-- | inline20_g.ads | 309 | logplain |
| -rw-r--r-- | inline20_h.ads | 344 | logplain |
| -rw-r--r-- | inline20_i.ads | 330 | logplain |
| -rw-r--r-- | inline20_q-io.ads | 52 | logplain |
| -rw-r--r-- | inline20_q.ads | 56 | logplain |
| -rw-r--r-- | inline20_r.ads | 186 | logplain |
| -rw-r--r-- | inline21.adb | 133 | logplain |
| -rw-r--r-- | inline21_g.ads | 101 | logplain |
| -rw-r--r-- | inline21_h.adb | 187 | logplain |
| -rw-r--r-- | inline21_h.ads | 149 | logplain |
| -rw-r--r-- | inline21_q.ads | 144 | logplain |
| -rw-r--r-- | inline22.adb | 303 | logplain |
| -rw-r--r-- | inline2_pkg.adb | 1032 | logplain |
| -rw-r--r-- | inline2_pkg.ads | 202 | logplain |
| -rw-r--r-- | inline3.adb | 227 | logplain |
| -rw-r--r-- | inline3_pkg.adb | 247 | logplain |
| -rw-r--r-- | inline3_pkg.ads | 105 | logplain |
| -rw-r--r-- | inline4.adb | 102 | logplain |
| -rw-r--r-- | inline4_pkg.adb | 276 | logplain |
| -rw-r--r-- | inline4_pkg.ads | 105 | logplain |
| -rw-r--r-- | inline5.adb | 263 | logplain |
| -rw-r--r-- | inline5_pkg.adb | 246 | logplain |
| -rw-r--r-- | inline5_pkg.ads | 98 | logplain |
| -rw-r--r-- | inline6.adb | 141 | logplain |
| -rw-r--r-- | inline6_pkg.adb | 269 | logplain |
| -rw-r--r-- | inline6_pkg.ads | 98 | logplain |
| -rw-r--r-- | inline7.adb | 265 | logplain |
| -rw-r--r-- | inline7_pkg1.adb | 227 | logplain |
| -rw-r--r-- | inline7_pkg1.ads | 100 | logplain |
| -rw-r--r-- | inline7_pkg2.adb | 130 | logplain |
| -rw-r--r-- | inline7_pkg2.ads | 117 | logplain |
| -rw-r--r-- | inline8.adb | 143 | logplain |
| -rw-r--r-- | inline8_pkg1.adb | 250 | logplain |
| -rw-r--r-- | inline8_pkg1.ads | 100 | logplain |
| -rw-r--r-- | inline8_pkg2.adb | 130 | logplain |
| -rw-r--r-- | inline8_pkg2.ads | 117 | logplain |
| -rw-r--r-- | inline9.adb | 263 | logplain |
| -rw-r--r-- | inline9_pkg.adb | 335 | logplain |
| -rw-r--r-- | inline9_pkg.ads | 98 | logplain |
| -rw-r--r-- | inline_always1.adb | 1219 | logplain |
| -rw-r--r-- | inline_scope.adb | 362 | logplain |
| -rw-r--r-- | inline_scope_p.adb | 174 | logplain |
| -rw-r--r-- | inline_scope_p.ads | 116 | logplain |
| -rw-r--r-- | inline_tagged.adb | 935 | logplain |
| -rw-r--r-- | interface1.adb | 481 | logplain |
| -rw-r--r-- | interface10.adb | 450 | logplain |
| -rw-r--r-- | interface2.adb | 490 | logplain |
| -rw-r--r-- | interface3.adb | 709 | logplain |
| -rw-r--r-- | interface4.adb | 279 | logplain |
| -rw-r--r-- | interface5.adb | 186 | logplain |
| -rw-r--r-- | interface5.ads | 258 | logplain |
| -rw-r--r-- | interface6.adb | 1038 | logplain |
| -rw-r--r-- | interface7.adb | 324 | logplain |
| -rw-r--r-- | interface8.adb | 181 | logplain |
| -rw-r--r-- | interface8.ads | 279 | logplain |
| -rw-r--r-- | interface9.adb | 193 | logplain |
| -rw-r--r-- | interface9_root-child.ads | 240 | logplain |
| -rw-r--r-- | interface9_root.ads | 323 | logplain |
| -rw-r--r-- | interface_conv.adb | 381 | logplain |
| -rw-r--r-- | invalid1.adb | 1084 | logplain |
| -rw-r--r-- | invariant_index.adb | 337 | logplain |
| -rw-r--r-- | invariant_index.ads | 142 | logplain |
| -rw-r--r-- | iprot_test.adb | 772 | logplain |
| -rw-r--r-- | iter2.adb | 639 | logplain |
| -rw-r--r-- | iter2.ads | 100 | logplain |
| -rw-r--r-- | iter3.adb | 328 | logplain |
| -rw-r--r-- | iter4.adb | 1095 | logplain |
| -rw-r--r-- | iter5.adb | 222 | logplain |
| -rw-r--r-- | iter5_pkg.ads | 3790 | logplain |
| -rw-r--r-- | iter6.adb | 1003 | logplain |
| -rw-r--r-- | itype.adb | 161 | logplain |
| -rw-r--r-- | itype.ads | 113 | logplain |
| -rw-r--r-- | itypes.adb | 519 | logplain |
| -rw-r--r-- | itypes.ads | 45 | logplain |
| -rw-r--r-- | kill_value.adb | 368 | logplain |
| -rw-r--r-- | langdw2.adb | 324 | logplain |
| -rw-r--r-- | langdw3.adb | 323 | logplain |
| -rw-r--r-- | late_overriding.adb | 401 | logplain |
| -rw-r--r-- | layered_abstraction.adb | 442 | logplain |
| -rw-r--r-- | layered_abstraction.ads | 626 | logplain |
| -rw-r--r-- | layered_abstraction_p.ads | 108 | logplain |
| -rw-r--r-- | layered_instance.adb | 305 | logplain |
| -rw-r--r-- | lhs_view_convert.adb | 544 | logplain |
| -rw-r--r-- | limited1.adb | 136 | logplain |
| -rw-r--r-- | limited1_inner.adb | 357 | logplain |
| -rw-r--r-- | limited1_inner.ads | 505 | logplain |
| -rw-r--r-- | limited1_outer.adb | 147 | logplain |
| -rw-r--r-- | limited1_outer.ads | 225 | logplain |
| -rw-r--r-- | limited2.adb | 141 | logplain |
| -rw-r--r-- | limited2_pack_1.adb | 112 | logplain |
| -rw-r--r-- | limited2_pack_1.ads | 156 | logplain |
| -rw-r--r-- | limited2_pack_2.adb | 453 | logplain |
| -rw-r--r-- | limited2_pack_2.ads | 108 | logplain |
| -rw-r--r-- | limited3.adb | 182 | logplain |
| -rw-r--r-- | limited3_pkg.adb | 448 | logplain |
| -rw-r--r-- | limited3_pkg.ads | 675 | logplain |
| -rw-r--r-- | limited4.adb | 1586 | logplain |
| -rw-r--r-- | limited5.adb | 366 | logplain |
| -rw-r--r-- | limited_aggr.adb | 98 | logplain |
| -rw-r--r-- | limited_aggr.ads | 220 | logplain |
| -rw-r--r-- | limited_with.adb | 170 | logplain |
| -rw-r--r-- | limited_with.ads | 120 | logplain |
| -rw-r--r-- | limited_with2.adb | 200 | logplain |
| -rw-r--r-- | limited_with2.ads | 207 | logplain |
| -rw-r--r-- | limited_with2_pkg1.ads | 170 | logplain |
| -rw-r--r-- | limited_with2_pkg2.ads | 145 | logplain |
| -rw-r--r-- | limited_with3.adb | 137 | logplain |
| -rw-r--r-- | limited_with3.ads | 298 | logplain |
| -rw-r--r-- | limited_with3_pkg1.adb | 467 | logplain |
| -rw-r--r-- | limited_with3_pkg1.ads | 788 | logplain |
| -rw-r--r-- | limited_with3_pkg2.ads | 181 | logplain |
| -rw-r--r-- | limited_with3_pkg3.ads | 246 | logplain |
| -rw-r--r-- | limited_with4.adb | 921 | logplain |
| -rw-r--r-- | limited_with4.ads | 756 | logplain |
| -rw-r--r-- | limited_with4_pkg.ads | 356 | logplain |
| -rw-r--r-- | limited_with5.adb | 290 | logplain |
| -rw-r--r-- | limited_with5.ads | 144 | logplain |
| -rw-r--r-- | limited_with5_pkg.adb | 232 | logplain |
| -rw-r--r-- | limited_with5_pkg.ads | 227 | logplain |
| -rw-r--r-- | limited_with6.adb | 290 | logplain |
| -rw-r--r-- | limited_with6.ads | 216 | logplain |
| -rw-r--r-- | limited_with6_pkg.adb | 276 | logplain |
| -rw-r--r-- | limited_with6_pkg.ads | 299 | logplain |
| -rw-r--r-- | limited_with7.adb | 207 | logplain |
| -rw-r--r-- | limited_with7.ads | 130 | logplain |
| -rw-r--r-- | limited_with7_pkg.ads | 124 | logplain |
| -rw-r--r-- | linkedlist.adb | 30407 | logplain |
| -rw-r--r-- | loop_address.adb | 487 | logplain |
| -rw-r--r-- | loop_address2.adb | 534 | logplain |
| -rw-r--r-- | loop_boolean.adb | 276 | logplain |
| -rw-r--r-- | loop_bound.adb | 623 | logplain |
| -rw-r--r-- | loop_entry1.adb | 278 | logplain |
| -rw-r--r-- | loop_entry2.adb | 266 | logplain |
| -rw-r--r-- | loop_invariant1.adb | 349 | logplain |
| -rw-r--r-- | loop_invariant1.ads | 145 | logplain |
| -rw-r--r-- | loop_optimization1.adb | 632 | logplain |
| -rw-r--r-- | loop_optimization1.ads | 846 | logplain |
| -rw-r--r-- | loop_optimization10.adb | 418 | logplain |
| -rw-r--r-- | loop_optimization10.ads | 360 | logplain |
| -rw-r--r-- | loop_optimization10_pkg.ads | 250 | logplain |
| -rw-r--r-- | loop_optimization11.adb | 468 | logplain |
| -rw-r--r-- | loop_optimization11_pkg.ads | 276 | logplain |
| -rw-r--r-- | loop_optimization12.adb | 618 | logplain |
| -rw-r--r-- | loop_optimization12.ads | 554 | logplain |
| -rw-r--r-- | loop_optimization13.adb | 537 | logplain |
| -rw-r--r-- | loop_optimization13.ads | 451 | logplain |
| -rw-r--r-- | loop_optimization13_pkg.ads | 82 | logplain |
| -rw-r--r-- | loop_optimization14.adb | 554 | logplain |
| -rw-r--r-- | loop_optimization14.ads | 209 | logplain |
| -rw-r--r-- | loop_optimization14_pkg.ads | 106 | logplain |
| -rw-r--r-- | loop_optimization15.adb | 459 | logplain |
| -rw-r--r-- | loop_optimization15.ads | 181 | logplain |
| -rw-r--r-- | loop_optimization16.adb | 450 | logplain |
| -rw-r--r-- | loop_optimization16_pkg.adb | 155 | logplain |
| -rw-r--r-- | loop_optimization16_pkg.ads | 133 | logplain |
| -rw-r--r-- | loop_optimization17.adb | 438 | logplain |
| -rw-r--r-- | loop_optimization17_pkg.adb | 135 | logplain |
| -rw-r--r-- | loop_optimization17_pkg.ads | 611 | logplain |
| -rw-r--r-- | loop_optimization18.adb | 291 | logplain |
| -rw-r--r-- | loop_optimization18.ads | 165 | logplain |
| -rw-r--r-- | loop_optimization18_pkg.ads | 345 | logplain |
| -rw-r--r-- | loop_optimization19.adb | 985 | logplain |
| -rw-r--r-- | loop_optimization2.adb | 1253 | logplain |
| -rw-r--r-- | loop_optimization2.ads | 1180 | logplain |
| -rw-r--r-- | loop_optimization20.adb | 774 | logplain |
| -rw-r--r-- | loop_optimization21.adb | 463 | logplain |
| -rw-r--r-- | loop_optimization21.ads | 189 | logplain |
| -rw-r--r-- | loop_optimization22.adb | 425 | logplain |
| -rw-r--r-- | loop_optimization22.ads | 150 | logplain |
| -rw-r--r-- | loop_optimization23.adb | 305 | logplain |
| -rw-r--r-- | loop_optimization23_pkg.adb | 280 | logplain |
| -rw-r--r-- | loop_optimization23_pkg.ads | 435 | logplain |
| -rw-r--r-- | loop_optimization24.adb | 870 | logplain |
| -rw-r--r-- | loop_optimization3.adb | 315 | logplain |
| -rw-r--r-- | loop_optimization3_pkg.adb | 143 | logplain |
| -rw-r--r-- | loop_optimization3_pkg.ads | 107 | logplain |
| -rw-r--r-- | loop_optimization4.adb | 162 | logplain |
| -rw-r--r-- | loop_optimization4_pkg.adb | 461 | logplain |
| -rw-r--r-- | loop_optimization4_pkg.ads | 265 | logplain |
| -rw-r--r-- | loop_optimization5.adb | 579 | logplain |
| -rw-r--r-- | loop_optimization5_pkg.ads | 191 | logplain |
| -rw-r--r-- | loop_optimization6.adb | 433 | logplain |
| -rw-r--r-- | loop_optimization6.ads | 92 | logplain |
| -rw-r--r-- | loop_optimization7.adb | 334 | logplain |
| -rw-r--r-- | loop_optimization7.ads | 191 | logplain |
| -rw-r--r-- | loop_optimization7_pkg.ads | 171 | logplain |
| -rw-r--r-- | loop_optimization8.adb | 597 | logplain |
| -rw-r--r-- | loop_optimization8_pkg1.adb | 381 | logplain |
| -rw-r--r-- | loop_optimization8_pkg1.ads | 468 | logplain |
| -rw-r--r-- | loop_optimization8_pkg2.adb | 285 | logplain |
| -rw-r--r-- | loop_optimization8_pkg2.ads | 392 | logplain |
| -rw-r--r-- | loop_optimization9.adb | 3357 | logplain |
| -rw-r--r-- | loop_optimization9.ads | 432 | logplain |
| -rw-r--r-- | loop_unchecked_conversion.adb | 714 | logplain |
| -rw-r--r-- | loop_unchecked_conversion.ads | 90 | logplain |
| -rw-r--r-- | loopvar.adb | 727 | logplain |
| -rw-r--r-- | lto1.adb | 256 | logplain |
| -rw-r--r-- | lto10.adb | 252 | logplain |
| -rw-r--r-- | lto10_pkg.ads | 329 | logplain |
| -rw-r--r-- | lto11.adb | 459 | logplain |
| -rw-r--r-- | lto11.ads | 198 | logplain |
| -rw-r--r-- | lto13.adb | 133 | logplain |
| -rw-r--r-- | lto13_pkg.adb | 132 | logplain |
| -rw-r--r-- | lto13_pkg.ads | 76 | logplain |
| -rw-r--r-- | lto14.adb | 177 | logplain |
| -rw-r--r-- | lto15.adb | 197 | logplain |
| -rw-r--r-- | lto15.ads | 207 | logplain |
| -rw-r--r-- | lto16.adb | 288 | logplain |
| -rw-r--r-- | lto16_pkg.adb | 338 | logplain |
| -rw-r--r-- | lto16_pkg.ads | 65 | logplain |
| -rw-r--r-- | lto17.adb | 228 | logplain |
| -rw-r--r-- | lto17.ads | 446 | logplain |
| -rw-r--r-- | lto18.adb | 365 | logplain |
| -rw-r--r-- | lto18.ads | 97 | logplain |
| -rw-r--r-- | lto18_pkg.ads | 656 | logplain |
| -rw-r--r-- | lto19.adb | 184 | logplain |
| -rw-r--r-- | lto19_pkg1.adb | 92 | logplain |
| -rw-r--r-- | lto19_pkg1.ads | 206 | logplain |
| -rw-r--r-- | lto19_pkg2.adb | 98 | logplain |
| -rw-r--r-- | lto19_pkg2.ads | 70 | logplain |
| -rw-r--r-- | lto1_pkg.adb | 570 | logplain |
| -rw-r--r-- | lto1_pkg.ads | 737 | logplain |
| -rw-r--r-- | lto2.adb | 589 | logplain |
| -rw-r--r-- | lto20.adb | 145 | logplain |
| -rw-r--r-- | lto20_pkg.adb | 143 | logplain |
| -rw-r--r-- | lto20_pkg.ads | 308 | logplain |
| -rw-r--r-- | lto21.adb | 212 | logplain |
| -rw-r--r-- | lto21_pkg1.ads | 194 | logplain |
| -rw-r--r-- | lto21_pkg2.adb | 670 | logplain |
| -rw-r--r-- | lto21_pkg2.ads | 59 | logplain |
| -rw-r--r-- | lto22.adb | 120 | logplain |
| -rw-r--r-- | lto22_pkg1.ads | 100 | logplain |
| -rw-r--r-- | lto22_pkg2.adb | 131 | logplain |
| -rw-r--r-- | lto22_pkg2.ads | 267 | logplain |
| -rw-r--r-- | lto23.adb | 350 | logplain |
| -rw-r--r-- | lto24.adb | 163 | logplain |
| -rw-r--r-- | lto24_pkg1.ads | 340 | logplain |
| -rw-r--r-- | lto24_pkg2.adb | 108 | logplain |
| -rw-r--r-- | lto24_pkg2.ads | 71 | logplain |
| -rw-r--r-- | lto25.adb | 242 | logplain |
| -rw-r--r-- | lto26.adb | 266 | logplain |
| -rw-r--r-- | lto26_pkg1.adb | 223 | logplain |
| -rw-r--r-- | lto26_pkg1.ads | 274 | logplain |
| -rw-r--r-- | lto26_pkg2.adb | 391 | logplain |
| -rw-r--r-- | lto26_pkg2.ads | 181 | logplain |
| -rw-r--r-- | lto4.adb | 281 | logplain |
| -rw-r--r-- | lto4.ads | 581 | logplain |
| -rw-r--r-- | lto5.adb | 113 | logplain |
| -rw-r--r-- | lto5_pkg.adb | 85 | logplain |
| -rw-r--r-- | lto5_pkg.ads | 108 | logplain |
| -rw-r--r-- | lto6.adb | 284 | logplain |
| -rw-r--r-- | lto6_pkg.ads | 235 | logplain |
| -rw-r--r-- | lto7.adb | 253 | logplain |
| -rw-r--r-- | lto7_pkg.adb | 143 | logplain |
| -rw-r--r-- | lto7_pkg.ads | 390 | logplain |
| -rw-r--r-- | lto8.adb | 382 | logplain |
| -rw-r--r-- | lto8_pkg.adb | 183 | logplain |
| -rw-r--r-- | lto8_pkg.ads | 480 | logplain |
| -rw-r--r-- | lto9.adb | 267 | logplain |
| -rw-r--r-- | lto9_pkg1.ads | 623 | logplain |
| -rw-r--r-- | lto9_pkg2.adb | 249 | logplain |
| -rw-r--r-- | lto9_pkg2.ads | 482 | logplain |
| -rw-r--r-- | machine_attr1.adb | 565 | logplain |
| -rw-r--r-- | machine_attr1.ads | 537 | logplain |
| -rw-r--r-- | machine_attr2.adb | 354 | logplain |
| -rw-r--r-- | machine_attr2.ads | 188 | logplain |
| -rw-r--r-- | machine_code1.adb | 308 | logplain |
| -rw-r--r-- | max_align.adb | 256 | logplain |
| -rw-r--r-- | max_size.adb | 258 | logplain |
| -rw-r--r-- | max_size_pkg.ads | 188 | logplain |
| -rw-r--r-- | md5_test.adb | 379 | logplain |
| -rw-r--r-- | memorytest.adb | 583 | logplain |
| -rw-r--r-- | memtrap.adb | 273 | logplain |
| -rw-r--r-- | misaligned_nest.adb | 387 | logplain |
| -rw-r--r-- | misaligned_param.adb | 633 | logplain |
| -rw-r--r-- | misaligned_param_pkg.adb | 305 | logplain |
| -rw-r--r-- | misaligned_param_pkg.ads | 108 | logplain |
| -rw-r--r-- | misaligned_volatile.adb | 526 | logplain |
| -rw-r--r-- | missing_acc_check.adb | 807 | logplain |
| -rw-r--r-- | modify_a_constant.adb | 566 | logplain |
| -rw-r--r-- | modular1.adb | 424 | logplain |
| -rw-r--r-- | modular2.adb | 113 | logplain |
| -rw-r--r-- | modular3.adb | 454 | logplain |
| -rw-r--r-- | modular3_pkg.ads | 239 | logplain |
| -rw-r--r-- | modular4.adb | 185 | logplain |
| -rw-r--r-- | modular4_pkg.ads | 130 | logplain |
| -rw-r--r-- | modular5.adb | 777 | logplain |
| -rw-r--r-- | modular6.adb | 336 | logplain |
| -rw-r--r-- | multfixed.adb | 675 | logplain |
| -rw-r--r-- | mutable1.adb | 668 | logplain |
| -rw-r--r-- | my_env_versioned_value_set_g.ads | 201 | logplain |
| -rw-r--r-- | named_test.adb | 559 | logplain |
| -rw-r--r-- | namet.ads | 196 | logplain |
| -rw-r--r-- | nan_max.adb | 528 | logplain |
| -rw-r--r-- | nat1.ads | 162 | logplain |
| -rw-r--r-- | nat1r.adb | 221 | logplain |
| -rw-r--r-- | nested_agg_bitfield_constructor.adb | 693 | logplain |
| -rw-r--r-- | nested_controlled_alloc.adb | 1021 | logplain |
| -rw-r--r-- | nested_float_packed.ads | 438 | logplain |
| -rw-r--r-- | nested_generic1.adb | 212 | logplain |
| -rw-r--r-- | nested_generic1_pkg.adb | 229 | logplain |
| -rw-r--r-- | nested_generic1_pkg.ads | 191 | logplain |
| -rw-r--r-- | nested_generic2.adb | 104 | logplain |
| -rw-r--r-- | nested_generic2.ads | 307 | logplain |
| -rw-r--r-- | nested_generic2_g1.adb | 279 | logplain |
| -rw-r--r-- | nested_generic2_g1.ads | 240 | logplain |
| -rw-r--r-- | nested_generic2_g2.ads | 158 | logplain |
| -rw-r--r-- | nested_proc1.adb | 567 | logplain |
| -rw-r--r-- | nested_proc2.adb | 443 | logplain |
| -rw-r--r-- | nested_return_test.adb | 892 | logplain |
| -rw-r--r-- | nested_subtype_byref.adb | 398 | logplain |
| -rw-r--r-- | nested_subtype_byref.ads | 58 | logplain |
| -rw-r--r-- | no_caching.adb | 634 | logplain |
| -rw-r--r-- | no_caching.ads | 310 | logplain |
| -rw-r--r-- | no_exc_prop.adb | 327 | logplain |
| -rw-r--r-- | no_exc_prop.ads | 233 | logplain |
| -rw-r--r-- | no_final.adb | 564 | logplain |
| -rw-r--r-- | noinline2.adb | 455 | logplain |
| -rw-r--r-- | noinline2.ads | 84 | logplain |
| -rw-r--r-- | noreturn1.adb | 330 | logplain |
| -rw-r--r-- | noreturn1.ads | 159 | logplain |
| -rw-r--r-- | noreturn2.adb | 599 | logplain |
| -rw-r--r-- | noreturn2.ads | 166 | logplain |
| -rw-r--r-- | noreturn3.adb | 533 | logplain |
| -rw-r--r-- | noreturn3.ads | 227 | logplain |
| -rw-r--r-- | noreturn4.adb | 348 | logplain |
| -rw-r--r-- | noreturn4.ads | 214 | logplain |
| -rw-r--r-- | noreturn4_pkg.ads | 410 | logplain |
| -rw-r--r-- | noreturn5.adb | 644 | logplain |
| -rw-r--r-- | noreturn5.ads | 132 | logplain |
| -rw-r--r-- | normalize_pathname.adb | 224 | logplain |
| -rw-r--r-- | not_null.adb | 495 | logplain |
| -rw-r--r-- | notnot.adb | 201 | logplain |
| -rw-r--r-- | null_check.adb | 418 | logplain |
| -rw-r--r-- | null_pointer_deref1.adb | 507 | logplain |
| -rw-r--r-- | null_pointer_deref2.adb | 592 | logplain |
| -rw-r--r-- | null_pointer_deref3.adb | 553 | logplain |
| -rw-r--r-- | oalign1.ads | 108 | logplain |
| -rw-r--r-- | oalign2.ads | 108 | logplain |
| -rw-r--r-- | object_overflow1.adb | 280 | logplain |
| -rw-r--r-- | object_overflow2.adb | 290 | logplain |
| -rw-r--r-- | object_overflow3.adb | 357 | logplain |
| -rw-r--r-- | object_overflow4.adb | 462 | logplain |
| -rw-r--r-- | object_overflow5.adb | 468 | logplain |
| -rw-r--r-- | object_size1.adb | 344 | logplain |
| -rw-r--r-- | oconst1.adb | 300 | logplain |
| -rw-r--r-- | oconst1.ads | 382 | logplain |
| -rw-r--r-- | oconst2.adb | 241 | logplain |
| -rw-r--r-- | oconst2.ads | 351 | logplain |
| -rw-r--r-- | oconst3.adb | 269 | logplain |
| -rw-r--r-- | oconst3.ads | 426 | logplain |
| -rw-r--r-- | oconst4.adb | 519 | logplain |
| -rw-r--r-- | oconst4.ads | 1375 | logplain |
| -rw-r--r-- | oconst5.adb | 299 | logplain |
| -rw-r--r-- | oconst5.ads | 522 | logplain |
| -rw-r--r-- | old_errors.ads | 66 | logplain |
| -rw-r--r-- | opt1.adb | 644 | logplain |
| -rw-r--r-- | opt1.ads | 310 | logplain |
| -rw-r--r-- | opt10.adb | 477 | logplain |
| -rw-r--r-- | opt100.adb | 215 | logplain |
| -rw-r--r-- | opt100_pkg.adb | 365 | logplain |
| -rw-r--r-- | opt100_pkg.ads | 505 | logplain |
| -rw-r--r-- | opt101.adb | 377 | logplain |
| -rw-r--r-- | opt101_pkg.ads | 424 | logplain |
| -rw-r--r-- | opt10_pkg.ads | 297 | logplain |
| -rw-r--r-- | opt11.adb | 214 | logplain |
| -rw-r--r-- | opt11.ads | 316 | logplain |
| -rw-r--r-- | opt12.adb | 288 | logplain |
| -rw-r--r-- | opt12_pkg.adb | 149 | logplain |
| -rw-r--r-- | opt12_pkg.ads | 245 | logplain |
| -rw-r--r-- | opt13.adb | 186 | logplain |
| -rw-r--r-- | opt13_pkg.adb | 587 | logplain |
| -rw-r--r-- | opt13_pkg.ads | 192 | logplain |
| -rw-r--r-- | opt14.adb | 364 | logplain |
| -rw-r--r-- | opt15.adb | 221 | logplain |
| -rw-r--r-- | opt15_pkg.adb | 184 | logplain |
| -rw-r--r-- | opt15_pkg.ads | 98 | logplain |
| -rw-r--r-- | opt16.adb | 723 | logplain |
| -rw-r--r-- | opt17.adb | 196 | logplain |
| -rw-r--r-- | opt17.ads | 89 | logplain |
| -rw-r--r-- | opt18.adb | 986 | logplain |
| -rw-r--r-- | opt18.ads | 642 | logplain |
| -rw-r--r-- | opt18_pkg.ads | 529 | logplain |
| -rw-r--r-- | opt19.adb | 477 | logplain |
| -rw-r--r-- | opt2.adb | 564 | logplain |
| -rw-r--r-- | opt20.adb | 504 | logplain |
| -rw-r--r-- | opt20.ads | 114 | logplain |
| -rw-r--r-- | opt20_pkg.ads | 263 | logplain |
| -rw-r--r-- | opt21.adb | 167 | logplain |
| -rw-r--r-- | opt21_pkg.adb | 352 | logplain |
| -rw-r--r-- | opt21_pkg.ads | 298 | logplain |
| -rw-r--r-- | opt22.adb | 301 | logplain |
| -rw-r--r-- | opt22_pkg.adb | 239 | logplain |
| -rw-r--r-- | opt22_pkg.ads | 89 | logplain |
| -rw-r--r-- | opt23.adb | 355 | logplain |
| -rw-r--r-- | opt23.ads | 97 | logplain |
| -rw-r--r-- | opt23_pkg.adb | 156 | logplain |
| -rw-r--r-- | opt23_pkg.ads | 654 | logplain |
| -rw-r--r-- | opt24.adb | 307 | logplain |
| -rw-r--r-- | opt24.ads | 97 | logplain |
| -rw-r--r-- | opt25.adb | 354 | logplain |
| -rw-r--r-- | opt25_pkg1.adb | 156 | logplain |
| -rw-r--r-- | opt25_pkg1.ads | 154 | logplain |
| -rw-r--r-- | opt25_pkg2.adb | 150 | logplain |
| -rw-r--r-- | opt25_pkg2.ads | 379 | logplain |
| -rw-r--r-- | opt26.adb | 715 | logplain |
| -rw-r--r-- | opt27.adb | 596 | logplain |
| -rw-r--r-- | opt27_pkg.adb | 802 | logplain |
| -rw-r--r-- | opt27_pkg.ads | 662 | logplain |
| -rw-r--r-- | opt28.adb | 841 | logplain |
| -rw-r--r-- | opt28.ads | 136 | logplain |
| -rw-r--r-- | opt28_pkg.ads | 397 | logplain |
| -rw-r--r-- | opt29.adb | 222 | logplain |
| -rw-r--r-- | opt29.ads | 493 | logplain |
| -rw-r--r-- | opt3.adb | 230 | logplain |
| -rw-r--r-- | opt30.adb | 418 | logplain |
| -rw-r--r-- | opt31.adb | 924 | logplain |
| -rw-r--r-- | opt32.adb | 745 | logplain |
| -rw-r--r-- | opt33.adb | 813 | logplain |
| -rw-r--r-- | opt34.adb | 608 | logplain |
| -rw-r--r-- | opt34_pkg.ads | 310 | logplain |
| -rw-r--r-- | opt35.adb | 347 | logplain |
| -rw-r--r-- | opt35_pkg.adb | 164 | logplain |
| -rw-r--r-- | opt35_pkg.ads | 115 | logplain |
| -rw-r--r-- | opt36.adb | 354 | logplain |
| -rw-r--r-- | opt37.adb | 1075 | logplain |
| -rw-r--r-- | opt37.ads | 493 | logplain |
| -rw-r--r-- | opt38.adb | 124 | logplain |
| -rw-r--r-- | opt38_pkg.adb | 482 | logplain |
| -rw-r--r-- | opt38_pkg.ads | 70 | logplain |
| -rw-r--r-- | opt39.adb | 722 | logplain |
| -rw-r--r-- | opt3_pkg.ads | 71 | logplain |
| -rw-r--r-- | opt4.adb | 303 | logplain |
| -rw-r--r-- | opt40.adb | 330 | logplain |
| -rw-r--r-- | opt41.adb | 396 | logplain |
| -rw-r--r-- | opt41_pkg.adb | 1602 | logplain |
| -rw-r--r-- | opt41_pkg.ads | 682 | logplain |
| -rw-r--r-- | opt42.adb | 573 | logplain |
| -rw-r--r-- | opt42.ads | 235 | logplain |
| -rw-r--r-- | opt43.adb | 280 | logplain |
| -rw-r--r-- | opt44.adb | 411 | logplain |
| -rw-r--r-- | opt44.ads | 172 | logplain |
| -rw-r--r-- | opt45.adb | 851 | logplain |
| -rw-r--r-- | opt46.adb | 1099 | logplain |
| -rw-r--r-- | opt46.ads | 282 | logplain |
| -rw-r--r-- | opt46_pkg.adb | 170 | logplain |
| -rw-r--r-- | opt46_pkg.ads | 679 | logplain |
| -rw-r--r-- | opt47.adb | 932 | logplain |
| -rw-r--r-- | opt48.adb | 217 | logplain |
| -rw-r--r-- | opt48_pkg1.adb | 265 | logplain |
| -rw-r--r-- | opt48_pkg1.ads | 104 | logplain |
| -rw-r--r-- | opt48_pkg2.adb | 127 | logplain |
| -rw-r--r-- | opt48_pkg2.ads | 162 | logplain |
| -rw-r--r-- | opt49.adb | 771 | logplain |
| -rw-r--r-- | opt5.adb | 368 | logplain |
| -rw-r--r-- | opt50.adb | 395 | logplain |
| -rw-r--r-- | opt50_pkg.adb | 1427 | logplain |
| -rw-r--r-- | opt50_pkg.ads | 284 | logplain |
| -rw-r--r-- | opt51.adb | 403 | logplain |
| -rw-r--r-- | opt51_pkg.ads | 72 | logplain |
| -rw-r--r-- | opt52.adb | 244 | logplain |
| -rw-r--r-- | opt53.adb | 271 | logplain |
| -rw-r--r-- | opt54.adb | 269 | logplain |
| -rw-r--r-- | opt55.adb | 387 | logplain |
| -rw-r--r-- | opt55.ads | 428 | logplain |
| -rw-r--r-- | opt56.adb | 312 | logplain |
| -rw-r--r-- | opt56.ads | 140 | logplain |
| -rw-r--r-- | opt57.adb | 2628 | logplain |
| -rw-r--r-- | opt57.ads | 1411 | logplain |
| -rw-r--r-- | opt57_pkg.ads | 332 | logplain |
| -rw-r--r-- | opt58.adb | 377 | logplain |
| -rw-r--r-- | opt58_pkg.ads | 369 | logplain |
| -rw-r--r-- | opt59.adb | 895 | logplain |
| -rw-r--r-- | opt59_pkg.adb | 328 | logplain |
| -rw-r--r-- | opt59_pkg.ads | 209 | logplain |
| -rw-r--r-- | opt6.adb | 600 | logplain |
| -rw-r--r-- | opt6.ads | 389 | logplain |
| -rw-r--r-- | opt60.adb | 405 | logplain |
| -rw-r--r-- | opt61.adb | 360 | logplain |
| -rw-r--r-- | opt61_pkg.adb | 3368 | logplain |
| -rw-r--r-- | opt61_pkg.ads | 203 | logplain |
| -rw-r--r-- | opt62.adb | 274 | logplain |
| -rw-r--r-- | opt62_pkg.ads | 483 | logplain |
| -rw-r--r-- | opt63.adb | 471 | logplain |
| -rw-r--r-- | opt64.adb | 514 | logplain |
| -rw-r--r-- | opt64_pkg.adb | 315 | logplain |
| -rw-r--r-- | opt64_pkg.ads | 128 | logplain |
| -rw-r--r-- | opt65.adb | 727 | logplain |
| -rw-r--r-- | opt66.adb | 205 | logplain |
| -rw-r--r-- | opt67.adb | 910 | logplain |
| -rw-r--r-- | opt67_pkg.adb | 518 | logplain |
| -rw-r--r-- | opt67_pkg.ads | 823 | logplain |
| -rw-r--r-- | opt68.adb | 1286 | logplain |
| -rw-r--r-- | opt68.ads | 518 | logplain |
| -rw-r--r-- | opt69.adb | 508 | logplain |
| -rw-r--r-- | opt7.adb | 1248 | logplain |
| -rw-r--r-- | opt7.ads | 291 | logplain |
| -rw-r--r-- | opt70.adb | 251 | logplain |
| -rw-r--r-- | opt70_pkg.adb | 1687 | logplain |
| -rw-r--r-- | opt70_pkg.ads | 130 | logplain |
| -rw-r--r-- | opt71_pkg.ads | 142 | logplain |
| -rw-r--r-- | opt71a.adb | 340 | logplain |
| -rw-r--r-- | opt71b.adb | 350 | logplain |
| -rw-r--r-- | opt72_pkg.ads | 218 | logplain |
| -rw-r--r-- | opt72a.adb | 340 | logplain |
| -rw-r--r-- | opt72b.adb | 350 | logplain |
| -rw-r--r-- | opt73.adb | 945 | logplain |
| -rw-r--r-- | opt74.adb | 214 | logplain |
| -rw-r--r-- | opt74_pkg.adb | 345 | logplain |
| -rw-r--r-- | opt74_pkg.ads | 153 | logplain |
| -rw-r--r-- | opt75.adb | 112 | logplain |
| -rw-r--r-- | opt75_pkg.adb | 281 | logplain |
| -rw-r--r-- | opt75_pkg.ads | 665 | logplain |
| -rw-r--r-- | opt76.adb | 859 | logplain |
| -rw-r--r-- | opt77.adb | 234 | logplain |
| -rw-r--r-- | opt77_pkg.adb | 516 | logplain |
| -rw-r--r-- | opt77_pkg.ads | 111 | logplain |
| -rw-r--r-- | opt78.adb | 287 | logplain |
| -rw-r--r-- | opt78.ads | 242 | logplain |
| -rw-r--r-- | opt79.adb | 362 | logplain |
| -rw-r--r-- | opt79.ads | 111 | logplain |
| -rw-r--r-- | opt7_pkg.ads | 68 | logplain |
| -rw-r--r-- | opt8.adb | 1350 | logplain |
| -rw-r--r-- | opt8.ads | 1247 | logplain |
| -rw-r--r-- | opt80.adb | 279 | logplain |
| -rw-r--r-- | opt81.adb | 539 | logplain |
| -rw-r--r-- | opt81.ads | 247 | logplain |
| -rw-r--r-- | opt82.adb | 249 | logplain |
| -rw-r--r-- | opt82_pkg.ads | 178 | logplain |
| -rw-r--r-- | opt83.adb | 551 | logplain |
| -rw-r--r-- | opt84.adb | 2378 | logplain |
| -rw-r--r-- | opt85.adb | 470 | logplain |
| -rw-r--r-- | opt85.ads | 693 | logplain |
| -rw-r--r-- | opt86_pkg.ads | 317 | logplain |
| -rw-r--r-- | opt86a.adb | 731 | logplain |
| -rw-r--r-- | opt86b.adb | 825 | logplain |
| -rw-r--r-- | opt86c.adb | 875 | logplain |
| -rw-r--r-- | opt87.adb | 323 | logplain |
| -rw-r--r-- | opt87_pkg.adb | 270 | logplain |
| -rw-r--r-- | opt87_pkg.ads | 116 | logplain |
| -rw-r--r-- | opt88.adb | 716 | logplain |
| -rw-r--r-- | opt89.adb | 246 | logplain |
| -rw-r--r-- | opt8_pkg.ads | 123 | logplain |
| -rw-r--r-- | opt9.adb | 390 | logplain |
| -rw-r--r-- | opt90a.adb | 306 | logplain |
| -rw-r--r-- | opt90a_pkg.ads | 252 | logplain |
| -rw-r--r-- | opt90b.adb | 314 | logplain |
| -rw-r--r-- | opt90b_pkg.ads | 275 | logplain |
| -rw-r--r-- | opt90c.adb | 314 | logplain |
| -rw-r--r-- | opt90c_pkg.ads | 275 | logplain |
| -rw-r--r-- | opt90d.adb | 314 | logplain |
| -rw-r--r-- | opt90d_pkg.ads | 275 | logplain |
| -rw-r--r-- | opt90e.adb | 314 | logplain |
| -rw-r--r-- | opt90e_pkg.ads | 275 | logplain |
| -rw-r--r-- | opt91.adb | 203 | logplain |
| -rw-r--r-- | opt91.ads | 245 | logplain |
| -rw-r--r-- | opt91_pkg.adb | 246 | logplain |
| -rw-r--r-- | opt91_pkg.ads | 476 | logplain |
| -rw-r--r-- | opt92.adb | 865 | logplain |
| -rw-r--r-- | opt93.adb | 471 | logplain |
| -rw-r--r-- | opt93.ads | 268 | logplain |
| -rw-r--r-- | opt94.adb | 341 | logplain |
| -rw-r--r-- | opt94_pkg.adb | 576 | logplain |
| -rw-r--r-- | opt94_pkg.ads | 228 | logplain |
| -rw-r--r-- | opt95.adb | 803 | logplain |
| -rw-r--r-- | opt96.adb | 221 | logplain |
| -rw-r--r-- | opt96_pkg.adb | 426 | logplain |
| -rw-r--r-- | opt96_pkg.ads | 729 | logplain |
| -rw-r--r-- | opt97.adb | 401 | logplain |
| -rw-r--r-- | opt98.adb | 212 | logplain |
| -rw-r--r-- | opt98.ads | 344 | logplain |
| -rw-r--r-- | opt99.adb | 248 | logplain |
| -rw-r--r-- | opt99_pkg1.adb | 169 | logplain |
| -rw-r--r-- | opt99_pkg1.ads | 384 | logplain |
| -rw-r--r-- | opt99_pkg2.ads | 222 | logplain |
| -rw-r--r-- | opt9_pkg.ads | 57 | logplain |
| -rw-r--r-- | others1.adb | 349 | logplain |
| -rw-r--r-- | out_param.adb | 603 | logplain |
| -rw-r--r-- | outer_agg_bitfield_constructor.adb | 845 | logplain |
| -rw-r--r-- | overflow_fixed.adb | 365 | logplain |
| -rw-r--r-- | overflow_sum.adb | 1822 | logplain |
| -rw-r--r-- | overflow_sum2.adb | 902 | logplain |
| -rw-r--r-- | overflow_sum3.adb | 340 | logplain |
| -rw-r--r-- | overload.adb | 383 | logplain |
| -rw-r--r-- | overload.ads | 360 | logplain |
| -rw-r--r-- | overload2.adb | 252 | logplain |
| -rw-r--r-- | overload2_p.adb | 164 | logplain |
| -rw-r--r-- | overload2_p.ads | 134 | logplain |
| -rw-r--r-- | overload2_q.adb | 137 | logplain |
| -rw-r--r-- | overload2_q.ads | 100 | logplain |
| -rw-r--r-- | overriding_ops.adb | 328 | logplain |
| -rw-r--r-- | overriding_ops.ads | 407 | logplain |
| -rw-r--r-- | overriding_ops2.adb | 175 | logplain |
| -rw-r--r-- | overriding_ops2.ads | 301 | logplain |
| -rw-r--r-- | overriding_ops2_pkg-high.ads | 200 | logplain |
| -rw-r--r-- | overriding_ops2_pkg.ads | 296 | logplain |
| -rw-r--r-- | overriding_ops_p.ads | 281 | logplain |
| -rw-r--r-- | pack1.ads | 126 | logplain |
| -rw-r--r-- | pack10.adb | 507 | logplain |
| -rw-r--r-- | pack11.adb | 387 | logplain |
| -rw-r--r-- | pack12.adb | 529 | logplain |
| -rw-r--r-- | pack13.adb | 191 | logplain |
| -rw-r--r-- | pack13.ads | 734 | logplain |
| -rw-r--r-- | pack13_pkg.ads | 223 | logplain |
| -rw-r--r-- | pack14.adb | 224 | logplain |
| -rw-r--r-- | pack15.adb | 134 | logplain |
| -rw-r--r-- | pack15.ads | 383 | logplain |
| -rw-r--r-- | pack16.adb | 471 | logplain |
| -rw-r--r-- | pack16_pkg.ads | 62 | logplain |
| -rw-r--r-- | pack17.adb | 891 | logplain |
| -rw-r--r-- | pack18.adb | 220 | logplain |
| -rw-r--r-- | pack18_pkg.ads | 465 | logplain |
| -rw-r--r-- | pack19.adb | 1088 | logplain |
| -rw-r--r-- | pack2.adb | 376 | logplain |
| -rw-r--r-- | pack20.adb | 137 | logplain |
| -rw-r--r-- | pack20.ads | 240 | logplain |
| -rw-r--r-- | pack20_pkg.ads | 131 | logplain |
| -rw-r--r-- | pack21.adb | 526 | logplain |
| -rw-r--r-- | pack22.adb | 390 | logplain |
| -rw-r--r-- | pack22_pkg.adb | 367 | logplain |
| -rw-r--r-- | pack22_pkg.ads | 1619 | logplain |
| -rw-r--r-- | pack23.adb | 227 | logplain |
| -rw-r--r-- | pack23_pkg.ads | 93 | logplain |
| -rw-r--r-- | pack24.adb | 659 | logplain |
| -rw-r--r-- | pack25.adb | 445 | logplain |
| -rw-r--r-- | pack26.adb | 368 | logplain |
| -rw-r--r-- | pack27.adb | 131 | logplain |
| -rw-r--r-- | pack27_pkg.ads | 548 | logplain |
| -rw-r--r-- | pack3.adb | 532 | logplain |
| -rw-r--r-- | pack4.adb | 590 | logplain |
| -rw-r--r-- | pack5.adb | 508 | logplain |
| -rw-r--r-- | pack6.adb | 406 | logplain |
| -rw-r--r-- | pack7.adb | 397 | logplain |
| -rw-r--r-- | pack8.adb | 428 | logplain |
| -rw-r--r-- | pack9.adb | 364 | logplain |
| -rw-r--r-- | pack9.ads | 256 | logplain |
| -rw-r--r-- | packed_array.adb | 63 | logplain |
| -rw-r--r-- | packed_array.ads | 168 | logplain |
| -rw-r--r-- | packed_array_pkg.ads | 363 | logplain |
| -rw-r--r-- | packed_subtype.adb | 372 | logplain |
| -rw-r--r-- | pak.adb | 445 | logplain |
| -rw-r--r-- | pak.ads | 227 | logplain |
| -rw-r--r-- | parameterlessfunc.adb | 358 | logplain |
| -rw-r--r-- | parent_ltd_with-child_full_view.adb | 303 | logplain |
| -rw-r--r-- | parent_ltd_with-child_full_view.ads | 349 | logplain |
| -rw-r--r-- | parent_ltd_with.ads | 304 | logplain |
| -rw-r--r-- | part_of1-instantiation.adb | 218 | logplain |
| -rw-r--r-- | part_of1-instantiation.ads | 120 | logplain |
| -rw-r--r-- | part_of1-private_generic.adb | 279 | logplain |
| -rw-r--r-- | part_of1-private_generic.ads | 242 | logplain |
| -rw-r--r-- | part_of1.ads | 34 | logplain |
| -rw-r--r-- | pointer_array.adb | 230 | logplain |
| -rw-r--r-- | pointer_controlled.adb | 676 | logplain |
| -rw-r--r-- | pointer_conversion.adb | 429 | logplain |
| -rw-r--r-- | pointer_discr1.adb | 172 | logplain |
| -rw-r--r-- | pointer_discr1_pkg1.ads | 162 | logplain |
| -rw-r--r-- | pointer_discr1_pkg2.ads | 259 | logplain |
| -rw-r--r-- | pointer_discr1_pkg3.ads | 243 | logplain |
| -rw-r--r-- | pointer_protected.adb | 214 | logplain |
| -rw-r--r-- | pointer_protected_p.ads | 182 | logplain |
| -rw-r--r-- | pointer_variable_bounds.adb | 626 | logplain |
| -rw-r--r-- | pointer_variable_bounds.ads | 590 | logplain |
| -rw-r--r-- | pointer_variable_bounds_q.ads | 165 | logplain |
| -rw-r--r-- | predicate1.adb | 813 | logplain |
| -rw-r--r-- | predicate10.adb | 151 | logplain |
| -rw-r--r-- | predicate10_pkg.adb | 195 | logplain |
| -rw-r--r-- | predicate10_pkg.ads | 310 | logplain |
| -rw-r--r-- | predicate11.adb | 710 | logplain |
| -rw-r--r-- | predicate12.adb | 124 | logplain |
| -rw-r--r-- | predicate12.ads | 1273 | logplain |
| -rw-r--r-- | predicate13.adb | 73 | logplain |
| -rw-r--r-- | predicate13.ads | 400 | logplain |
| -rw-r--r-- | predicate14.adb | 96 | logplain |
| -rw-r--r-- | predicate14.ads | 1440 | logplain |
| -rw-r--r-- | predicate2-containers.ads | 308 | logplain |
| -rw-r--r-- | predicate2-project-name_values.ads | 984 | logplain |
| -rw-r--r-- | predicate2-project-registry-attribute.ads | 138 | logplain |
| -rw-r--r-- | predicate2-project-registry.ads | 77 | logplain |
| -rw-r--r-- | predicate2-project-typ-set.ads | 296 | logplain |
| -rw-r--r-- | predicate2-project-typ.ads | 612 | logplain |
| -rw-r--r-- | predicate2-project.ads | 60 | logplain |
| -rw-r--r-- | predicate2-source_reference.ads | 785 | logplain |
| -rw-r--r-- | predicate2.ads | 403 | logplain |
| -rw-r--r-- | predicate2_main.adb | 274 | logplain |
| -rw-r--r-- | predicate3.adb | 669 | logplain |
| -rw-r--r-- | predicate3_pkg.ads | 500 | logplain |
| -rw-r--r-- | predicate4.adb | 408 | logplain |
| -rw-r--r-- | predicate4_pkg.ads | 415 | logplain |
| -rw-r--r-- | predicate5.adb | 92 | logplain |
| -rw-r--r-- | predicate5.ads | 440 | logplain |
| -rw-r--r-- | predicate6.adb | 92 | logplain |
| -rw-r--r-- | predicate6.ads | 423 | logplain |
| -rw-r--r-- | predicate7.adb | 109 | logplain |
| -rw-r--r-- | predicate7.ads | 351 | logplain |
| -rw-r--r-- | predicate7_pkg.ads | 113 | logplain |
| -rw-r--r-- | predicate8.adb | 254 | logplain |
| -rw-r--r-- | predicate8_pkg.adb | 1575 | logplain |
| -rw-r--r-- | predicate8_pkg.ads | 2374 | logplain |
| -rw-r--r-- | predicate9.adb | 513 | logplain |
| -rw-r--r-- | prefetch1.adb | 718 | logplain |
| -rw-r--r-- | prefetch1.ads | 190 | logplain |
| -rw-r--r-- | prefix1.adb | 208 | logplain |
| -rw-r--r-- | prefix1.ads | 148 | logplain |
| -rw-r--r-- | prefix2.adb | 958 | logplain |
| -rw-r--r-- | prefix2.ads | 743 | logplain |
| -rw-r--r-- | private_overriding.adb | 1536 | logplain |
| -rw-r--r-- | profile_warning.adb | 59 | logplain |
| -rw-r--r-- | profile_warning.ads | 165 | logplain |
| -rw-r--r-- | profile_warning_p.adb | 283 | logplain |
| -rw-r--r-- | profile_warning_p.ads | 64 | logplain |
| -rw-r--r-- | prot1.adb | 443 | logplain |
| -rw-r--r-- | prot2.adb | 396 | logplain |
| -rw-r--r-- | prot2.ads | 50 | logplain |
| -rw-r--r-- | prot2_pkg1.ads | 72 | logplain |
| -rw-r--r-- | prot2_pkg2.adb | 395 | logplain |
| -rw-r--r-- | prot2_pkg2.ads | 216 | logplain |
| -rw-r--r-- | prot3.adb | 95 | logplain |
| -rw-r--r-- | prot3_pkg.adb | 295 | logplain |
| -rw-r--r-- | prot3_pkg.ads | 288 | logplain |
| -rw-r--r-- | prot4.adb | 512 | logplain |
| -rw-r--r-- | prot5.adb | 359 | logplain |
| -rw-r--r-- | prot5_pkg.adb | 273 | logplain |
| -rw-r--r-- | prot5_pkg.ads | 185 | logplain |
| -rw-r--r-- | prot6.adb | 325 | logplain |
| -rw-r--r-- | prot6.ads | 711 | logplain |
| -rw-r--r-- | prot7.adb | 546 | logplain |
| -rw-r--r-- | prot7.ads | 348 | logplain |
| -rw-r--r-- | prot8.adb | 95 | logplain |
| -rw-r--r-- | prot8.ads | 138 | logplain |
| -rw-r--r-- | prot9.adb | 160 | logplain |
| -rw-r--r-- | prot9_gen.ads | 177 | logplain |
| -rw-r--r-- | prot9_pkg1.ads | 153 | logplain |
| -rw-r--r-- | prot9_pkg2.ads | 288 | logplain |
| -rw-r--r-- | prot_def.adb | 809 | logplain |
| -rw-r--r-- | protected_func.adb | 478 | logplain |
| -rw-r--r-- | protected_func.ads | 244 | logplain |
| -rw-r--r-- | protected_null.adb | 282 | logplain |
| -rw-r--r-- | protected_self_ref1.adb | 450 | logplain |
| -rw-r--r-- | protected_self_ref2.adb | 314 | logplain |
| -rw-r--r-- | pure_function1.adb | 444 | logplain |
| -rw-r--r-- | pure_function1.ads | 148 | logplain |
| -rw-r--r-- | pure_function2.adb | 497 | logplain |
| -rw-r--r-- | pure_function2.ads | 191 | logplain |
| -rw-r--r-- | pure_function3_pkg.ads | 329 | logplain |
| -rw-r--r-- | pure_function3a.adb | 364 | logplain |
| -rw-r--r-- | pure_function3b.adb | 384 | logplain |
| -rw-r--r-- | pure_function3c.adb | 380 | logplain |
| -rw-r--r-- | pure_subp_body.adb | 392 | logplain |
| -rw-r--r-- | pure_subp_body_pkg.ads | 54 | logplain |
| -rw-r--r-- | quote.adb | 162 | logplain |
| -rw-r--r-- | raise_ce.adb | 60 | logplain |
| -rw-r--r-- | raise_expr.adb | 424 | logplain |
| -rw-r--r-- | raise_from_pure.adb | 197 | logplain |
| -rw-r--r-- | raise_from_pure.ads | 105 | logplain |
| -rw-r--r-- | range_check.adb | 320 | logplain |
| -rw-r--r-- | range_check2.adb | 334 | logplain |
| -rw-r--r-- | range_check3.adb | 255 | logplain |
| -rw-r--r-- | range_check3_pkg.adb | 380 | logplain |
| -rw-r--r-- | range_check3_pkg.ads | 264 | logplain |
| -rw-r--r-- | range_check5.adb | 360 | logplain |
| -rw-r--r-- | range_check6.adb | 414 | logplain |
| -rw-r--r-- | range_check7.adb | 353 | logplain |
| -rw-r--r-- | rational_arithmetic.ads | 1017 | logplain |
| -rw-r--r-- | recursive_call.adb | 248 | logplain |
| -rw-r--r-- | ref_type.adb | 209 | logplain |
| -rw-r--r-- | ref_type.ads | 103 | logplain |
| -rw-r--r-- | regpat1.adb | 241 | logplain |
| -rw-r--r-- | release_unc_maxalign.adb | 428 | logplain |
| -rw-r--r-- | remote_call_iface.adb | 133 | logplain |
| -rw-r--r-- | remote_call_iface.ads | 112 | logplain |
| -rw-r--r-- | remote_type.adb | 468 | logplain |
| -rw-r--r-- | remote_type.ads | 583 | logplain |
| -rw-r--r-- | renaming1.adb | 259 | logplain |
| -rw-r--r-- | renaming1.ads | 91 | logplain |
| -rw-r--r-- | renaming10.adb | 253 | logplain |
| -rw-r--r-- | renaming10.ads | 148 | logplain |
| -rw-r--r-- | renaming11.adb | 214 | logplain |
| -rw-r--r-- | renaming11.ads | 378 | logplain |
| -rw-r--r-- | renaming12.adb | 95 | logplain |
| -rw-r--r-- | renaming12.ads | 399 | logplain |
| -rw-r--r-- | renaming13.adb | 370 | logplain |
| -rw-r--r-- | renaming14.adb | 585 | logplain |
| -rw-r--r-- | renaming15.adb | 880 | logplain |
| -rw-r--r-- | renaming16.adb | 218 | logplain |
| -rw-r--r-- | renaming16_pkg.ads | 930 | logplain |
| -rw-r--r-- | renaming2.adb | 1705 | logplain |
| -rw-r--r-- | renaming3.adb | 213 | logplain |
| -rw-r--r-- | renaming4.ads | 342 | logplain |
| -rw-r--r-- | renaming5.adb | 576 | logplain |
| -rw-r--r-- | renaming5.ads | 57 | logplain |
| -rw-r--r-- | renaming6.adb | 561 | logplain |
| -rw-r--r-- | renaming6.ads | 238 | logplain |
| -rw-r--r-- | renaming7.adb | 216 | logplain |
| -rw-r--r-- | renaming7_pkg.ads | 61 | logplain |
| -rw-r--r-- | renaming8.adb | 172 | logplain |
| -rw-r--r-- | renaming8_pkg1.ads | 119 | logplain |
| -rw-r--r-- | renaming8_pkg2.adb | 131 | logplain |
| -rw-r--r-- | renaming8_pkg2.ads | 231 | logplain |
| -rw-r--r-- | renaming8_pkg3.adb | 123 | logplain |
| -rw-r--r-- | renaming8_pkg3.ads | 86 | logplain |
| -rw-r--r-- | renaming9.adb | 136 | logplain |
| -rw-r--r-- | renaming9.ads | 295 | logplain |
| -rw-r--r-- | rep_clause1.adb | 2453 | logplain |
| -rw-r--r-- | rep_clause2.adb | 241 | logplain |
| -rw-r--r-- | rep_clause2.ads | 1081 | logplain |
| -rw-r--r-- | rep_clause3.adb | 867 | logplain |
| -rw-r--r-- | rep_clause4.adb | 615 | logplain |
| -rw-r--r-- | rep_clause5.adb | 1017 | logplain |
| -rw-r--r-- | rep_clause5.ads | 243 | logplain |
| -rw-r--r-- | rep_clause5_pkg.ads | 7321 | logplain |
| -rw-r--r-- | rep_clause6.adb | 96 | logplain |
| -rw-r--r-- | rep_clause6.ads | 1418 | logplain |
| -rw-r--r-- | rep_clause7.adb | 463 | logplain |
| -rw-r--r-- | rep_clause8.adb | 472 | logplain |
| -rw-r--r-- | rep_clause9.adb | 616 | logplain |
| -rw-r--r-- | requeue1.adb | 953 | logplain |
| -rw-r--r-- | return1.adb | 268 | logplain |
| -rw-r--r-- | return1.ads | 238 | logplain |
| -rw-r--r-- | return2.adb | 722 | logplain |
| -rw-r--r-- | return2.ads | 349 | logplain |
| -rw-r--r-- | return2_pkg.ads | 133 | logplain |
| -rw-r--r-- | return3.adb | 162 | logplain |
| -rw-r--r-- | return4.adb | 335 | logplain |
| -rw-r--r-- | return4_pkg.adb | 178 | logplain |
| -rw-r--r-- | return4_pkg.ads | 151 | logplain |
| -rw-r--r-- | round_div.adb | 385 | logplain |
| -rw-r--r-- | rt1.adb | 180 | logplain |
| -rw-r--r-- | rt1.ads | 419 | logplain |
| -rw-r--r-- | rt_signals.adb | 218 | logplain |
| -rw-r--r-- | scalar_mode_agg_compare.adb | 571 | logplain |
| -rw-r--r-- | scalar_mode_agg_compare_loop.adb | 404 | logplain |
| -rw-r--r-- | scos1.adb | 770 | logplain |
| -rw-r--r-- | sec_stack1.adb | 764 | logplain |
| -rw-r--r-- | sec_stack2.adb | 3129 | logplain |
| -rw-r--r-- | self.adb | 453 | logplain |
| -rw-r--r-- | self.ads | 574 | logplain |
| -rw-r--r-- | self_aggregate_with_array.adb | 396 | logplain |
| -rw-r--r-- | self_aggregate_with_call.adb | 579 | logplain |
| -rw-r--r-- | self_aggregate_with_pointer.adb | 484 | logplain |
| -rw-r--r-- | self_aggregate_with_zeros.adb | 382 | logplain |
| -rw-r--r-- | self_ref1.adb | 288 | logplain |
| -rw-r--r-- | set_in_pproc.adb | 368 | logplain |
| -rw-r--r-- | sets1.adb | 16210 | logplain |
| -rw-r--r-- | shift1.adb | 249 | logplain |
| -rw-r--r-- | shift2.adb | 191 | logplain |
| -rw-r--r-- | show_deques_priority.adb | 168 | logplain |
| -rw-r--r-- | sin_cos.adb | 400 | logplain |
| -rw-r--r-- | sin_cos.ads | 109 | logplain |
| -rw-r--r-- | size_attribute.adb | 151 | logplain |
| -rw-r--r-- | size_clause1.adb | 287 | logplain |
| -rw-r--r-- | sizetype1.adb | 273 | logplain |
| -rw-r--r-- | sizetype2.adb | 576 | logplain |
| -rw-r--r-- | sizetype3.adb | 409 | logplain |
| -rw-r--r-- | sizetype3.ads | 188 | logplain |
| -rw-r--r-- | sizetype3_pkg.ads | 127 | logplain |
| -rw-r--r-- | sizetype4.adb | 489 | logplain |
| -rw-r--r-- | slice1.adb | 485 | logplain |
| -rw-r--r-- | slice10.adb | 511 | logplain |
| -rw-r--r-- | slice2.adb | 206 | logplain |
| -rw-r--r-- | slice2.ads | 217 | logplain |
| -rw-r--r-- | slice3.adb | 517 | logplain |
| -rw-r--r-- | slice4.adb | 581 | logplain |
| -rw-r--r-- | slice5.adb | 680 | logplain |
| -rw-r--r-- | slice6.adb | 350 | logplain |
| -rw-r--r-- | slice6_pkg.ads | 387 | logplain |
| -rw-r--r-- | slice7.adb | 1055 | logplain |
| -rw-r--r-- | slice7_pkg.ads | 149 | logplain |
| -rw-r--r-- | slice8.adb | 177 | logplain |
| -rw-r--r-- | slice8_pkg1.ads | 99 | logplain |
| -rw-r--r-- | slice8_pkg2.ads | 457 | logplain |
| -rw-r--r-- | slice8_pkg3.adb | 391 | logplain |
| -rw-r--r-- | slice8_pkg3.ads | 154 | logplain |
| -rw-r--r-- | slice9.adb | 297 | logplain |
| -rw-r--r-- | slice_enum.adb | 131 | logplain |
| -rw-r--r-- | small_alignment.adb | 436 | logplain |
| -rw-r--r-- | socket1.adb | 319 | logplain |
| -rw-r--r-- | socket2.adb | 517 | logplain |
| -rw-r--r-- | sort1.adb | 778 | logplain |
| -rw-r--r-- | sort1.ads | 64 | logplain |
| -rw-r--r-- | sort2.adb | 155 | logplain |
| -rw-r--r-- | source_ref1.adb | 85 | logplain |
| -rw-r--r-- | source_ref2.adb | 124 | logplain |
| -rw-r--r-- | spark1.adb | 464 | logplain |
| -rw-r--r-- | spark1.ads | 145 | logplain |
| -rw-r--r-- | spark2.adb | 258 | logplain |
| -rw-r--r-- | spark2.ads | 532 | logplain |
| -rw-r--r-- | spark3.adb | 357 | logplain |
| d--------- | specs | 8918 | logplain |
| -rw-r--r-- | spipaterr.adb | 292 | logplain |
| -rw-r--r-- | split_args.adb | 275 | logplain |
| -rw-r--r-- | sse_nolib.adb | 1287 | logplain |
| d--------- | sso | 2550 | logplain |
| -rw-r--r-- | sso1.adb | 2010 | logplain |
| -rw-r--r-- | sso10.adb | 175 | logplain |
| -rw-r--r-- | sso10_pkg.ads | 167 | logplain |
| -rw-r--r-- | sso12.adb | 483 | logplain |
| -rw-r--r-- | sso13.adb | 966 | logplain |
| -rw-r--r-- | sso14.adb | 1297 | logplain |
| -rw-r--r-- | sso15.adb | 1276 | logplain |
| -rw-r--r-- | sso16.adb | 961 | logplain |
| -rw-r--r-- | sso17.adb | 628 | logplain |
| -rw-r--r-- | sso18.adb | 419 | logplain |
| -rw-r--r-- | sso2.adb | 234 | logplain |
| -rw-r--r-- | sso2.ads | 298 | logplain |
| -rw-r--r-- | sso3.adb | 1167 | logplain |
| -rw-r--r-- | sso4.adb | 1195 | logplain |
| -rw-r--r-- | sso5.adb | 1134 | logplain |
| -rw-r--r-- | sso6.adb | 1193 | logplain |
| -rw-r--r-- | sso7.adb | 1134 | logplain |
| -rw-r--r-- | sso8.adb | 257 | logplain |
| -rw-r--r-- | sso8_pkg.ads | 785 | logplain |
| -rw-r--r-- | sso9.adb | 138 | logplain |
| -rw-r--r-- | sso9_pkg.ads | 311 | logplain |
| -rw-r--r-- | stack_check1.adb | 767 | logplain |
| -rw-r--r-- | stack_check2.adb | 851 | logplain |
| -rw-r--r-- | stack_check3.adb | 675 | logplain |
| -rw-r--r-- | stack_check3.ads | 63 | logplain |
| -rw-r--r-- | stack_usage1.adb | 2099 | logplain |
| -rw-r--r-- | stack_usage1_pkg.ads | 242 | logplain |
| -rw-r--r-- | stack_usage1b.adb | 2104 | logplain |
| -rw-r--r-- | stack_usage1c.adb | 2105 | logplain |
| -rw-r--r-- | stack_usage2.adb | 527 | logplain |
| -rw-r--r-- | stack_usage3.adb | 913 | logplain |
| -rw-r--r-- | stack_usage3_pkg.ads | 147 | logplain |
| -rw-r--r-- | stack_usage4.adb | 235 | logplain |
| -rw-r--r-- | stack_usage4_pkg.ads | 269 | logplain |
| -rw-r--r-- | stack_usage5.adb | 198 | logplain |
| -rw-r--r-- | stack_usage6.adb | 242 | logplain |
| -rw-r--r-- | stack_usage6_pkg.ads | 369 | logplain |
| -rw-r--r-- | static_pred1.adb | 426 | logplain |
| -rw-r--r-- | static_pred1.ads | 104 | logplain |
| -rw-r--r-- | statically_matching.ads | 244 | logplain |
| -rw-r--r-- | storage_size1.adb | 397 | logplain |
| -rw-r--r-- | str1.adb | 313 | logplain |
| -rw-r--r-- | string_comparison.adb | 208 | logplain |
| -rw-r--r-- | string_merge1.adb | 415 | logplain |
| -rw-r--r-- | string_merge2.adb | 427 | logplain |
| -rw-r--r-- | string_slice.adb | 339 | logplain |
| -rw-r--r-- | string_slice2.adb | 492 | logplain |
| -rw-r--r-- | subp_elim_errors.adb | 621 | logplain |
| -rw-r--r-- | subp_elim_errors.ads | 115 | logplain |
| -rw-r--r-- | subp_inst.adb | 747 | logplain |
| -rw-r--r-- | subp_inst_pkg.adb | 598 | logplain |
| -rw-r--r-- | subp_inst_pkg.ads | 248 | logplain |
| -rw-r--r-- | subpools1.adb | 2334 | logplain |
| -rw-r--r-- | suppress_initialization.adb | 167 | logplain |
| -rw-r--r-- | suppress_initialization2.adb | 101 | logplain |
| -rw-r--r-- | suppress_initialization2.ads | 279 | logplain |
| -rw-r--r-- | suppress_initialization_pkg.ads | 675 | logplain |
| -rw-r--r-- | sync1.adb | 273 | logplain |
| -rw-r--r-- | sync1.ads | 319 | logplain |
| -rw-r--r-- | sync2.adb | 436 | logplain |
| -rw-r--r-- | sync2.ads | 118 | logplain |
| -rw-r--r-- | sync_iface_call.adb | 594 | logplain |
| -rw-r--r-- | sync_iface_call_pkg.ads | 505 | logplain |
| -rw-r--r-- | sync_iface_call_pkg2.adb | 120 | logplain |
| -rw-r--r-- | sync_iface_call_pkg2.ads | 148 | logplain |
| -rw-r--r-- | sync_iface_test.adb | 414 | logplain |
| -rw-r--r-- | sync_iface_test.ads | 320 | logplain |
| -rw-r--r-- | synchronized1.adb | 326 | logplain |
| -rw-r--r-- | synchronized1.ads | 170 | logplain |
| -rw-r--r-- | synchronized2.adb | 162 | logplain |
| -rw-r--r-- | synchronized2.ads | 132 | logplain |
| -rw-r--r-- | synchronized2_pkg.ads | 104 | logplain |
| -rw-r--r-- | system_info1.adb | 842 | logplain |
| -rw-r--r-- | taft_type1.adb | 102 | logplain |
| -rw-r--r-- | taft_type1_pkg1.adb | 448 | logplain |
| -rw-r--r-- | taft_type1_pkg1.ads | 183 | logplain |
| -rw-r--r-- | taft_type1_pkg2.ads | 138 | logplain |
| -rw-r--r-- | taft_type2.adb | 315 | logplain |
| -rw-r--r-- | taft_type2.ads | 59 | logplain |
| -rw-r--r-- | taft_type2_pkg.ads | 157 | logplain |
| -rw-r--r-- | taft_type3.adb | 505 | logplain |
| -rw-r--r-- | taft_type3_pkg.ads | 125 | logplain |
| -rw-r--r-- | taft_type4.adb | 154 | logplain |
| -rw-r--r-- | taft_type4_pkg.adb | 257 | logplain |
| -rw-r--r-- | taft_type4_pkg.ads | 177 | logplain |
| -rw-r--r-- | tag1.adb | 450 | logplain |
| -rw-r--r-- | tag2.adb | 500 | logplain |
| -rw-r--r-- | tag2_pkg.ads | 455 | logplain |
| -rw-r--r-- | tagged1.adb | 88 | logplain |
| -rw-r--r-- | tagged1.ads | 917 | logplain |
| -rw-r--r-- | tagged2.adb | 147 | logplain |
| -rw-r--r-- | tagged2.ads | 165 | logplain |
| -rw-r--r-- | tagged3.adb | 1032 | logplain |
| -rw-r--r-- | tagged3_pkg.adb | 252 | logplain |
| -rw-r--r-- | tagged3_pkg.ads | 241 | logplain |
| -rw-r--r-- | tagged4.adb | 665 | logplain |
| -rw-r--r-- | tagged5.adb | 116 | logplain |
| -rw-r--r-- | tagged5.ads | 357 | logplain |
| -rw-r--r-- | tagged_alloc_free.adb | 560 | logplain |
| -rw-r--r-- | tagged_prefix_call.adb | 580 | logplain |
| -rw-r--r-- | tagged_type_pkg.adb | 515 | logplain |
| -rw-r--r-- | tagged_type_pkg.ads | 248 | logplain |
| -rw-r--r-- | tail_call.adb | 159 | logplain |
| -rw-r--r-- | tail_call_p.adb | 698 | logplain |
| -rw-r--r-- | tail_call_p.ads | 217 | logplain |
| -rw-r--r-- | tampering_check1.adb | 270 | logplain |
| -rw-r--r-- | tampering_check1_ivectors.ads | 118 | logplain |
| -rw-r--r-- | tampering_check1_trim.adb | 242 | logplain |
| -rw-r--r-- | tampering_check1_trim.ads | 114 | logplain |
| -rw-r--r-- | task1.adb | 85 | logplain |
| -rw-r--r-- | task1.ads | 218 | logplain |
| -rw-r--r-- | task1_pkg.adb | 150 | logplain |
| -rw-r--r-- | task1_pkg.ads | 251 | logplain |
| -rw-r--r-- | task2.adb | 130 | logplain |
| -rw-r--r-- | task2_pkg.adb | 92 | logplain |
| -rw-r--r-- | task2_pkg.ads | 100 | logplain |
| -rw-r--r-- | task3.adb | 265 | logplain |
| -rw-r--r-- | task3.ads | 272 | logplain |
| -rw-r--r-- | task3_pkg1.ads | 283 | logplain |
| -rw-r--r-- | task3_pkg2.ads | 178 | logplain |
| -rw-r--r-- | task4.adb | 282 | logplain |
| -rw-r--r-- | task5.adb | 651 | logplain |
| -rw-r--r-- | task_name.adb | 122 | logplain |
| -rw-r--r-- | task_name.ads | 750 | logplain |
| -rw-r--r-- | task_stack_align.adb | 704 | logplain |
| -rw-r--r-- | test_8bitlong_overflow.adb | 513 | logplain |
| -rw-r--r-- | test_address_null_init.adb | 397 | logplain |
| -rw-r--r-- | test_ai254.adb | 270 | logplain |
| -rw-r--r-- | test_allocator_maxalign2.adb | 125 | logplain |
| -rw-r--r-- | test_bip_no_alloc.adb | 580 | logplain |
| -rw-r--r-- | test_bounded.adb | 274 | logplain |
| -rw-r--r-- | test_call.adb | 599 | logplain |
| -rw-r--r-- | test_casesi.adb | 147 | logplain |
| -rw-r--r-- | test_debug1.adb | 134 | logplain |
| -rw-r--r-- | test_delay.adb | 129 | logplain |
| -rw-r--r-- | test_direct_io.adb | 243 | logplain |
| -rw-r--r-- | test_dse_step.adb | 291 | logplain |
| -rw-r--r-- | test_enum_io.adb | 604 | logplain |
| -rw-r--r-- | test_equal1.adb | 354 | logplain |
| -rw-r--r-- | test_ext1.adb | 117 | logplain |
| -rw-r--r-- | test_fixed_io.adb | 852 | logplain |
| -rw-r--r-- | test_iface_aggr.adb | 1174 | logplain |
| -rw-r--r-- | test_ifaces.adb | 215 | logplain |
| -rw-r--r-- | test_image.adb | 149 | logplain |
| -rw-r--r-- | test_image_p.adb | 670 | logplain |
| -rw-r--r-- | test_image_p.ads | 744 | logplain |
| -rw-r--r-- | test_nested_subtype_byref.adb | 150 | logplain |
| -rw-r--r-- | test_oalign.adb | 339 | logplain |
| -rw-r--r-- | test_oconst.adb | 306 | logplain |
| -rw-r--r-- | test_prefix1.adb | 273 | logplain |
| -rw-r--r-- | test_prio.adb | 418 | logplain |
| -rw-r--r-- | test_prio_p.adb | 187 | logplain |
| -rw-r--r-- | test_prio_p.ads | 479 | logplain |
| -rw-r--r-- | test_raise_from_pure.adb | 316 | logplain |
| -rw-r--r-- | test_rational_arithmetic.adb | 418 | logplain |
| -rw-r--r-- | test_self.adb | 259 | logplain |
| -rw-r--r-- | test_self_ref.adb | 845 | logplain |
| -rw-r--r-- | test_table1.adb | 820 | logplain |
| -rw-r--r-- | test_tables.adb | 203 | logplain |
| -rw-r--r-- | test_time_stamp.adb | 801 | logplain |
| -rw-r--r-- | test_unknown_discrs.adb | 606 | logplain |
| -rw-r--r-- | test_version.adb | 348 | logplain |
| -rw-r--r-- | testint.adb | 318 | logplain |
| -rw-r--r-- | tf_interface_1.adb | 199 | logplain |
| -rw-r--r-- | tf_interface_1.ads | 655 | logplain |
| -rw-r--r-- | tfren.adb | 780 | logplain |
| -rw-r--r-- | thin_pointer1.adb | 234 | logplain |
| -rw-r--r-- | thin_pointer1.ads | 432 | logplain |
| -rw-r--r-- | thin_pointer2.adb | 230 | logplain |
| -rw-r--r-- | thin_pointer2_pkg.adb | 350 | logplain |
| -rw-r--r-- | thin_pointer2_pkg.ads | 169 | logplain |
| -rw-r--r-- | thunk1.adb | 119 | logplain |
| -rw-r--r-- | thunk1_pkg1.ads | 122 | logplain |
| -rw-r--r-- | thunk1_pkg2.adb | 178 | logplain |
| -rw-r--r-- | thunk1_pkg2.ads | 293 | logplain |
| -rw-r--r-- | thunk2.adb | 187 | logplain |
| -rw-r--r-- | thunk2.ads | 273 | logplain |
| -rw-r--r-- | thunk2_pkg.ads | 192 | logplain |
| -rw-r--r-- | timer_cancel.adb | 844 | logplain |
| -rw-r--r-- | tls1.adb | 1066 | logplain |
| -rw-r--r-- | tls1_pkg.ads | 567 | logplain |
| -rw-r--r-- | trampoline1.adb | 377 | logplain |
| -rw-r--r-- | trampoline2.adb | 439 | logplain |
| -rw-r--r-- | trampoline3.adb | 382 | logplain |
| -rw-r--r-- | trampoline4.adb | 470 | logplain |
| -rw-r--r-- | tree_static_def.adb | 160 | logplain |
| -rw-r--r-- | tree_static_def.ads | 177 | logplain |
| -rw-r--r-- | tree_static_use.adb | 164 | logplain |
| -rw-r--r-- | type_conv.adb | 275 | logplain |
| -rw-r--r-- | type_conv2.adb | 376 | logplain |
| -rw-r--r-- | type_conv2.ads | 244 | logplain |
| -rw-r--r-- | unaligned_rep_clause.adb | 689 | logplain |
| -rw-r--r-- | unc.adb | 602 | logplain |
| -rw-r--r-- | unc_memfree.adb | 865 | logplain |
| -rw-r--r-- | unc_memops.adb | 1359 | logplain |
| -rw-r--r-- | unc_memops.ads | 948 | logplain |
| -rw-r--r-- | unchecked_convert1.adb | 687 | logplain |
| -rw-r--r-- | unchecked_convert10.adb | 878 | logplain |
| -rw-r--r-- | unchecked_convert11.adb | 936 | logplain |
| -rw-r--r-- | unchecked_convert12.adb | 932 | logplain |
| -rw-r--r-- | unchecked_convert13.adb | 531 | logplain |
| -rw-r--r-- | unchecked_convert14.adb | 845 | logplain |
| -rw-r--r-- | unchecked_convert2.adb | 854 | logplain |
| -rw-r--r-- | unchecked_convert3.adb | 355 | logplain |
| -rw-r--r-- | unchecked_convert4.adb | 408 | logplain |
| -rw-r--r-- | unchecked_convert5.adb | 409 | logplain |
| -rw-r--r-- | unchecked_convert5b.adb | 403 | logplain |
| -rw-r--r-- | unchecked_convert6.adb | 409 | logplain |
| -rw-r--r-- | unchecked_convert6b.adb | 403 | logplain |
| -rw-r--r-- | unchecked_convert7.adb | 653 | logplain |
| -rw-r--r-- | unchecked_convert8.adb | 631 | logplain |
| -rw-r--r-- | unchecked_convert8.ads | 76 | logplain |
| -rw-r--r-- | unchecked_convert9.adb | 289 | logplain |
| -rw-r--r-- | unchecked_convert9.ads | 365 | logplain |
| -rw-r--r-- | unchecked_union1.adb | 409 | logplain |
| -rw-r--r-- | unchecked_union2.adb | 944 | logplain |
| -rw-r--r-- | unchecked_union3.adb | 963 | logplain |
| -rw-r--r-- | uninit_array.adb | 386 | logplain |
| -rw-r--r-- | uninit_array.ads | 79 | logplain |
| -rw-r--r-- | uninit_array_pkg.ads | 206 | logplain |
| -rw-r--r-- | uninit_func.adb | 268 | logplain |
| -rw-r--r-- | unreferenced.adb | 230 | logplain |
| -rw-r--r-- | unreferenced2.adb | 553 | logplain |
| -rw-r--r-- | unroll1.adb | 826 | logplain |
| -rw-r--r-- | unroll1.ads | 175 | logplain |
| -rw-r--r-- | unroll2.adb | 622 | logplain |
| -rw-r--r-- | unroll2.ads | 175 | logplain |
| -rw-r--r-- | unroll3.adb | 619 | logplain |
| -rw-r--r-- | unroll3.ads | 175 | logplain |
| -rw-r--r-- | unroll4.adb | 617 | logplain |
| -rw-r--r-- | unroll4.ads | 211 | logplain |
| -rw-r--r-- | unroll4_pkg.ads | 73 | logplain |
| -rw-r--r-- | valid1.adb | 460 | logplain |
| -rw-r--r-- | valid4.adb | 195 | logplain |
| -rw-r--r-- | valid4_pkg.adb | 450 | logplain |
| -rw-r--r-- | valid4_pkg.ads | 254 | logplain |
| -rw-r--r-- | valid_scalars1.adb | 209 | logplain |
| -rw-r--r-- | valid_scalars2.adb | 505 | logplain |
| -rw-r--r-- | validity_check.adb | 274 | logplain |
| -rw-r--r-- | validity_check2.adb | 251 | logplain |
| -rw-r--r-- | validity_check2_pkg.ads | 341 | logplain |
| -rw-r--r-- | validity_check3.adb | 3718 | logplain |
| -rw-r--r-- | validity_check3.ads | 3011 | logplain |
| -rw-r--r-- | valued_proc.adb | 259 | logplain |
| -rw-r--r-- | valued_proc_pkg.ads | 443 | logplain |
| -rw-r--r-- | varsize1.adb | 552 | logplain |
| -rw-r--r-- | varsize2.adb | 458 | logplain |
| -rw-r--r-- | varsize2.ads | 621 | logplain |
| -rw-r--r-- | varsize3_1.adb | 66 | logplain |
| -rw-r--r-- | varsize3_1.ads | 142 | logplain |
| -rw-r--r-- | varsize3_2.adb | 143 | logplain |
| -rw-r--r-- | varsize3_3.adb | 136 | logplain |
| -rw-r--r-- | varsize3_4.adb | 139 | logplain |
| -rw-r--r-- | varsize3_5.adb | 142 | logplain |
| -rw-r--r-- | varsize3_6.adb | 138 | logplain |
| -rw-r--r-- | varsize3_pkg1.ads | 248 | logplain |
| -rw-r--r-- | varsize3_pkg2.ads | 86 | logplain |
| -rw-r--r-- | varsize3_pkg3.ads | 164 | logplain |
| -rw-r--r-- | vect1.adb | 2797 | logplain |
| -rw-r--r-- | vect1.ads | 1558 | logplain |
| -rw-r--r-- | vect10.adb | 623 | logplain |
| -rw-r--r-- | vect10.ads | 326 | logplain |
| -rw-r--r-- | vect11.adb | 746 | logplain |
| -rw-r--r-- | vect11.ads | 330 | logplain |
| -rw-r--r-- | vect12.adb | 629 | logplain |
| -rw-r--r-- | vect12.ads | 252 | logplain |
| -rw-r--r-- | vect13.adb | 627 | logplain |
| -rw-r--r-- | vect13.ads | 252 | logplain |
| -rw-r--r-- | vect14.adb | 617 | logplain |
| -rw-r--r-- | vect15.adb | 387 | logplain |
| -rw-r--r-- | vect15.ads | 163 | logplain |
| -rw-r--r-- | vect16.adb | 454 | logplain |
| -rw-r--r-- | vect16.ads | 169 | logplain |
| -rw-r--r-- | vect17.adb | 399 | logplain |
| -rw-r--r-- | vect17.ads | 179 | logplain |
| -rw-r--r-- | vect18.adb | 432 | logplain |
| -rw-r--r-- | vect18.ads | 167 | logplain |
| -rw-r--r-- | vect1_pkg.ads | 98 | logplain |
| -rw-r--r-- | vect2.adb | 2797 | logplain |
| -rw-r--r-- | vect2.ads | 1599 | logplain |
| -rw-r--r-- | vect2_pkg.ads | 100 | logplain |
| -rw-r--r-- | vect3.adb | 2797 | logplain |
| -rw-r--r-- | vect3.ads | 1664 | logplain |
| -rw-r--r-- | vect3_pkg.ads | 165 | logplain |
| -rw-r--r-- | vect4.adb | 2947 | logplain |
| -rw-r--r-- | vect4.ads | 1753 | logplain |
| -rw-r--r-- | vect4_pkg.ads | 98 | logplain |
| -rw-r--r-- | vect5.adb | 2947 | logplain |
| -rw-r--r-- | vect5.ads | 1796 | logplain |
| -rw-r--r-- | vect5_pkg.ads | 100 | logplain |
| -rw-r--r-- | vect6.adb | 2947 | logplain |
| -rw-r--r-- | vect6.ads | 1859 | logplain |
| -rw-r--r-- | vect6_pkg.ads | 165 | logplain |
| -rw-r--r-- | vect7.adb | 328 | logplain |
| -rw-r--r-- | vect7.ads | 319 | logplain |
| -rw-r--r-- | vect8.adb | 236 | logplain |
| -rw-r--r-- | vect8.ads | 164 | logplain |
| -rw-r--r-- | vect9.adb | 980 | logplain |
| -rw-r--r-- | vect9.ads | 230 | logplain |
| -rw-r--r-- | vect9_pkg.ads | 522 | logplain |
| -rw-r--r-- | vfa1_1.adb | 1314 | logplain |
| -rw-r--r-- | vfa1_2.adb | 1206 | logplain |
| -rw-r--r-- | vfa1_3.adb | 1253 | logplain |
| -rw-r--r-- | vfa1_4.adb | 1235 | logplain |
| -rw-r--r-- | vfa1_pkg.ads | 954 | logplain |
| -rw-r--r-- | view_conversion1.adb | 1105 | logplain |
| -rw-r--r-- | volatile1.ads | 447 | logplain |
| -rw-r--r-- | volatile10.adb | 139 | logplain |
| -rw-r--r-- | volatile10_pkg.ads | 537 | logplain |
| -rw-r--r-- | volatile11.adb | 1051 | logplain |
| -rw-r--r-- | volatile11_pkg.adb | 699 | logplain |
| -rw-r--r-- | volatile11_pkg.ads | 475 | logplain |
| -rw-r--r-- | volatile12.adb | 115 | logplain |
| -rw-r--r-- | volatile12.ads | 136 | logplain |
| -rw-r--r-- | volatile13.adb | 231 | logplain |
| -rw-r--r-- | volatile13.ads | 495 | logplain |
| -rw-r--r-- | volatile2.adb | 472 | logplain |
| -rw-r--r-- | volatile2.ads | 267 | logplain |
| -rw-r--r-- | volatile3.adb | 285 | logplain |
| -rw-r--r-- | volatile4.adb | 323 | logplain |
| -rw-r--r-- | volatile5.adb | 172 | logplain |
| -rw-r--r-- | volatile5_pkg.ads | 156 | logplain |
| -rw-r--r-- | volatile6.adb | 318 | logplain |
| -rw-r--r-- | volatile7.adb | 380 | logplain |
| -rw-r--r-- | volatile8.adb | 379 | logplain |
| -rw-r--r-- | volatile9.adb | 353 | logplain |
| -rw-r--r-- | volatile_aggregate.adb | 676 | logplain |
| -rw-r--r-- | warn1.adb | 288 | logplain |
| -rw-r--r-- | warn10.adb | 226 | logplain |
| -rw-r--r-- | warn10.ads | 194 | logplain |
| -rw-r--r-- | warn10_pkg.ads | 281 | logplain |
| -rw-r--r-- | warn11.adb | 463 | logplain |
| -rw-r--r-- | warn13.adb | 274 | logplain |
| -rw-r--r-- | warn14.adb | 939 | logplain |
| -rw-r--r-- | warn15-core-main.adb | 202 | logplain |
| -rw-r--r-- | warn15-core.ads | 65 | logplain |
| -rw-r--r-- | warn15-interfaces.ads | 53 | logplain |
| -rw-r--r-- | warn15.ads | 30 | logplain |
| -rw-r--r-- | warn16.adb | 914 | logplain |
| -rw-r--r-- | warn17.adb | 492 | logplain |
| -rw-r--r-- | warn18.adb | 299 | logplain |
| -rw-r--r-- | warn19.adb | 335 | logplain |
| -rw-r--r-- | warn19.ads | 105 | logplain |
| -rw-r--r-- | warn19_pkg.ads | 117 | logplain |
| -rw-r--r-- | warn2.adb | 413 | logplain |
| -rw-r--r-- | warn20.adb | 190 | logplain |
| -rw-r--r-- | warn20_pkg.adb | 209 | logplain |
| -rw-r--r-- | warn20_pkg.ads | 146 | logplain |
| -rw-r--r-- | warn21.adb | 120 | logplain |
| -rw-r--r-- | warn21.ads | 445 | logplain |
| -rw-r--r-- | warn22.adb | 526 | logplain |
| -rw-r--r-- | warn23.adb | 263 | logplain |
| -rw-r--r-- | warn24.adb | 265 | logplain |
| -rw-r--r-- | warn25.adb | 568 | logplain |
| -rw-r--r-- | warn26.adb | 482 | logplain |
| -rw-r--r-- | warn27.adb | 334 | logplain |
| -rw-r--r-- | warn28.adb | 725 | logplain |
| -rw-r--r-- | warn28.ads | 189 | logplain |
| -rw-r--r-- | warn29.adb | 207 | logplain |
| -rw-r--r-- | warn29.ads | 100 | logplain |
| -rw-r--r-- | warn3.adb | 398 | logplain |
| -rw-r--r-- | warn30.adb | 215 | logplain |
| -rw-r--r-- | warn30.ads | 166 | logplain |
| -rw-r--r-- | warn31.adb | 125 | logplain |
| -rw-r--r-- | warn31.ads | 360 | logplain |
| -rw-r--r-- | warn32.adb | 534 | logplain |
| -rw-r--r-- | warn4.adb | 847 | logplain |
| -rw-r--r-- | warn5.adb | 835 | logplain |
| -rw-r--r-- | warn6.adb | 228 | logplain |
| -rw-r--r-- | warn6.ads | 219 | logplain |
| -rw-r--r-- | warn7.adb | 247 | logplain |
| -rw-r--r-- | warn8.adb | 123 | logplain |
| -rw-r--r-- | warn9.adb | 153 | logplain |
| -rw-r--r-- | weak2.adb | 124 | logplain |
| -rw-r--r-- | weak2.ads | 151 | logplain |
| -rw-r--r-- | weak3.adb | 211 | logplain |
| -rw-r--r-- | weak3.ads | 46 | logplain |
| -rw-r--r-- | wide_boolean.adb | 389 | logplain |
| -rw-r--r-- | wide_boolean_pkg.adb | 182 | logplain |
| -rw-r--r-- | wide_boolean_pkg.ads | 512 | logplain |
| -rw-r--r-- | wide_pi.adb | 117 | logplain |
| -rw-r--r-- | wide_test.adb | 348 | logplain |
| -rw-r--r-- | wide_wide_value1.adb | 2238 | logplain |
| -rw-r--r-- | zcur_attr.adb | 233 | logplain |
| -rw-r--r-- | zcur_attr.ads | 129 | logplain |
