tree: 7a00a353d03beec386334bf78deddff8b2649d30 [path history] [tgz]
  1. specs/
  2. style/
  3. abstract_with_anonymous_result.adb
  4. access1.adb
  5. access2.adb
  6. access3.adb
  7. access3.ads
  8. access4.adb
  9. access_discr.adb
  10. access_func.adb
  11. access_test.adb
  12. addr1.adb
  13. addr1.ads
  14. addr2.adb
  15. addr2_p.adb
  16. addr2_p.ads
  17. addr3.adb
  18. address_conversion.adb
  19. address_null_init.ads
  20. aggr1.adb
  21. aggr2.adb
  22. aggr3.adb
  23. aggr4.adb
  24. aggr7.adb
  25. aggr8.adb
  26. aliased1.adb
  27. aliased_prefix_accessibility.adb
  28. align_check.adb
  29. alignment1.adb
  30. alignment2.adb
  31. alignment3.adb
  32. anon1.ads
  33. anon2.adb
  34. array1.adb
  35. array1.ads
  36. array2.ads
  37. array3.adb
  38. assert.ads
  39. assert1.adb
  40. asynch.adb
  41. asynch.ads
  42. bad_array.adb
  43. biased_uc.adb
  44. bip_prim_func.adb
  45. bip_prim_func.ads
  46. bit_packed_array.adb
  47. bit_packed_array.ads
  48. bit_packed_array3.adb
  49. boolean_subtype.adb
  50. bug_elaboration_code.adb
  51. bug_elaboration_code.ads
  52. c_words.adb
  53. c_words.ads
  54. capture_value.adb
  55. case_null.adb
  56. case_null.ads
  57. check1.adb
  58. check1.ads
  59. check_elaboration_code.adb
  60. class_wide.adb
  61. compose.adb
  62. controlled1.ads
  63. controlled2.adb
  64. controlled2.ads
  65. controlled3.ads
  66. controlled4.adb
  67. controlled4.ads
  68. controlled_record.adb
  69. controlled_record.ads
  70. conv_bug.adb
  71. conv_integer.adb
  72. conv_real.adb
  73. curr_task.adb
  74. debug1.ads
  75. deques.ads
  76. deref1.ads
  77. deref2.ads
  78. deref3.adb
  79. derived_aggregate.adb
  80. dg.exp
  81. discr1.ads
  82. discr2.adb
  83. discr2.ads
  84. discr3.ads
  85. discr4.adb
  86. discr5.adb
  87. discr7.adb
  88. discr8.adb
  89. discr8.ads
  90. discr8_pkg1.ads
  91. discr8_pkg2.ads
  92. discr8_pkg3.ads
  93. discr_range_check.adb
  94. discr_test.adb
  95. discr_test2.adb
  96. dispatch1.adb
  97. dispatch1_p.ads
  98. dispatch2.adb
  99. dispatch2_p.adb
  100. dispatch2_p.ads
  101. elab1.ads
  102. elab2.adb
  103. elim1.adb
  104. elim1.ads
  105. elim2.adb
  106. enclosing_record_reference.adb
  107. enclosing_record_reference.ads
  108. entry_queues.adb
  109. env_compile_capacity.adb
  110. env_compile_capacity.ads
  111. equal1.ads
  112. equal_access.adb
  113. expect1.adb
  114. ext1.ads
  115. finalized.adb
  116. fixedpnt.adb
  117. forward_vla.adb
  118. frame_overflow.adb
  119. g_tables.adb
  120. g_tables.ads
  121. generic_dispatch.adb
  122. generic_dispatch_p.adb
  123. generic_dispatch_p.ads
  124. gnat_malloc.adb
  125. gnatg.adb
  126. graphic.adb
  127. graphic.ads
  128. ice_type.adb
  129. ice_types.ads
  130. ifaces.adb
  131. ifaces.ads
  132. in_mod_conv.adb
  133. in_out_parameter.adb
  134. inline_scope.adb
  135. inline_scope_p.adb
  136. inline_scope_p.ads
  137. inline_tagged.adb
  138. interface1.adb
  139. interface2.adb
  140. interface3.adb
  141. interface4.adb
  142. interface_conv.adb
  143. invariant_index.adb
  144. invariant_index.ads
  145. iprot_test.adb
  146. itypes.adb
  147. itypes.ads
  148. kill_value.adb
  149. late_overriding.adb
  150. layered_abstraction.adb
  151. layered_abstraction.ads
  152. layered_abstraction_p.ads
  153. layered_instance.adb
  154. lhs_view_convert.adb
  155. limited_with.adb
  156. limited_with.ads
  157. loop_address.adb
  158. loop_address2.adb
  159. loop_bound.adb
  160. loop_optimization1.adb
  161. loop_optimization1.ads
  162. loop_unchecked_conversion.adb
  163. loop_unchecked_conversion.ads
  164. machine_code1.adb
  165. max_align.adb
  166. md5_test.adb
  167. modify_a_constant.adb
  168. mutable1.adb
  169. my_env_versioned_value_set_g.ads
  170. named_test.adb
  171. nat1.ads
  172. nat1r.adb
  173. nested_agg_bitfield_constructor.adb
  174. nested_controlled_alloc.adb
  175. nested_return_test.adb
  176. nested_subtype_byref.adb
  177. nested_subtype_byref.ads
  178. no_exc_prop.adb
  179. no_exc_prop.ads
  180. no_final.adb
  181. oalign1.ads
  182. oalign2.ads
  183. object_overflow.adb
  184. opt1.adb
  185. opt1.ads
  186. outer_agg_bitfield_constructor.adb
  187. overriding_ops.adb
  188. overriding_ops.ads
  189. overriding_ops_p.ads
  190. pack1.ads
  191. pack2.adb
  192. packed_subtype.adb
  193. pointer_array.adb
  194. pointer_conversion.adb
  195. pointer_protected.adb
  196. pointer_protected_p.ads
  197. pointer_variable_bounds.adb
  198. pointer_variable_bounds.ads
  199. pointer_variable_bounds_q.ads
  200. prefix1.adb
  201. prefix1.ads
  202. prefix2.adb
  203. prefix2.ads
  204. profile_warning.adb
  205. profile_warning.ads
  206. profile_warning_p.adb
  207. profile_warning_p.ads
  208. prot1.adb
  209. quote.adb
  210. range_check.adb
  211. rational_arithmetic.ads
  212. ref_type.adb
  213. ref_type.ads
  214. regpat1.adb
  215. release_unc_maxalign.adb
  216. remote_type.adb
  217. remote_type.ads
  218. renaming1.adb
  219. renaming1.ads
  220. renaming2.adb
  221. renaming3.adb
  222. renaming4.ads
  223. rep_clause1.adb
  224. rep_clause2.adb
  225. rep_clause2.ads
  226. requeue1.adb
  227. return1.adb
  228. return1.ads
  229. scalar_mode_agg_compare.adb
  230. scalar_mode_agg_compare_loop.adb
  231. self.adb
  232. self.ads
  233. self_aggregate_with_array.adb
  234. self_aggregate_with_call.adb
  235. self_aggregate_with_pointer.adb
  236. self_aggregate_with_zeros.adb
  237. show_deques_priority.adb
  238. sizetype.adb
  239. slice1.adb
  240. slice2.adb
  241. slice2.ads
  242. slice3.adb
  243. slice4.adb
  244. socket1.adb
  245. socket2.adb
  246. sort1.adb
  247. sort1.ads
  248. sort2.adb
  249. spipaterr.adb
  250. str1.adb
  251. string_slice.adb
  252. tag1.adb
  253. tagged_type_pkg.adb
  254. tagged_type_pkg.ads
  255. tail_call.adb
  256. tail_call_p.adb
  257. tail_call_p.ads
  258. tamdt.adb
  259. tamdt.ads
  260. tamdt_aux.ads
  261. task_name.adb
  262. task_name.ads
  263. test_address_null_init.adb
  264. test_bounded.adb
  265. test_debug1.adb
  266. test_delay.adb
  267. test_enum_io.adb
  268. test_equal1.adb
  269. test_ext1.adb
  270. test_fixed_io.adb
  271. test_ifaces.adb
  272. test_image.adb
  273. test_image_p.adb
  274. test_image_p.ads
  275. test_nested_subtype_byref.adb
  276. test_oalign.adb
  277. test_prefix1.adb
  278. test_prio.adb
  279. test_prio_p.adb
  280. test_prio_p.ads
  281. test_rational_arithmetic.adb
  282. test_self.adb
  283. test_self_ref.adb
  284. test_table1.adb
  285. test_tables.adb
  286. test_tamdt.adb
  287. test_unknown_discrs.adb
  288. tfren.adb
  289. thin_pointer.adb
  290. thin_pointer.ads
  291. timing_events.adb
  292. type_conv.adb
  293. unaligned_rep_clause.adb
  294. unc.adb
  295. unc_memfree.adb
  296. unc_memops.adb
  297. unc_memops.ads
  298. unchecked_convert1.adb
  299. unchecked_union1.adb
  300. valid1.adb
  301. varsize_temp.adb
  302. volatile1.ads
  303. volatile2.adb
  304. volatile2.ads
  305. volatile_aggregate.adb
  306. warn1.adb
  307. warn2.adb
  308. warn3.adb
  309. warn4.adb
  310. wide_pi.adb
  311. wide_test.adb