commit | 089a4a48ac3db93f07585563f3b41e92bac798fe | [log] [tgz] |
---|---|---|
author | Julien Bortolussi <bortolussi@adacore.com> | Wed May 04 17:45:34 2022 +0200 |
committer | Pierre-Marie de Rodat <derodat@adacore.com> | Mon Jul 04 07:45:51 2022 +0000 |
tree | f64d6171a8b4ee879bde8decc813d6a9d871292d | |
parent | ad7ed87a43655162cbd5765445681870aa99a3a8 [diff] |
[Ada] Create new unbounded functional sequence Add a new unbounded functional sequence. This sequence is indexed by Big_Positive and so is unbounded from the user and spark points view. Hower the actually implemented sequence are bounded by Count_Type'Last. gcc/ada/ * libgnat/a-cfinse.adb, libgnat/a-cfinse.ads: Implementation files of the sequence. * Makefile.rtl, impunit.adb: Take into account the add of the new files