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