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