aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/impunit.adb
AgeCommit message (Expand)AuthorFilesLines
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-09-12[Ada] Replace SPARK containers implementation by Compile_Time_ErrorJoffrey Huguet1-12/+0
2022-07-12[Ada] Add new unbounded and indefinite formal doubly linked listJulien Bortolussi1-0/+1
2022-07-04[Ada] Create new unbounded functional sequenceJulien Bortolussi1-0/+1
2022-05-18[Ada] Fast implementation of floating-point mathematical functionsEric Botcazou1-0/+1
2022-05-17[Ada] GNAT.Binary_Search is not internalDmitriy Anisimkov1-0/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-01[Ada] More work on efficiency improvementsBob Duff1-8/+8
2021-07-05[Ada] Remove Ada.Strings.Text_Output and child unitsSteve Baird1-6/+0
2021-06-21[Ada] Add Ada.Strings.Text_Buffers and replace uses of Ada.Strings.Text_OutputSteve Baird1-2/+12
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-7/+7
2021-05-07[Ada] Minor reformattingsBob Duff1-8/+8
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+2
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-12-16[Ada] Fix typo in checks for implementation defined unitsPiotr Trojanek1-1/+1
2020-10-23[Ada] Sockets.Poll implementationDmitriy Anisimkov1-0/+1
2020-10-21[Ada] Support of the Ada.Text_IO hierarchy for 128-bit typesEric Botcazou1-0/+3
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-19/+25
2020-07-16[Ada] Remove duplicated lineEric Botcazou1-1/+0
2020-06-18[Ada] AI12-0293-1 Implement storage streamsBob Duff1-1/+4
2020-06-10[Ada] AI12-0364 Add a modular atomic arithmetic packageArnaud Charlet1-1/+2
2020-06-04[Ada] New package Ada.Task_InitializationArnaud Charlet1-0/+1
2020-06-04[Ada] Put_Image attributeBob Duff1-2/+9
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-16[Ada] AI12-0234/321 atomic operationsArnaud Charlet1-1/+5
2019-12-16[Ada] AI12-0208 Support for Ada.Numerics.Big_Numbers.Big_Integers and Big_RealsArnaud Charlet1-5/+4
2019-12-13[Ada] Ada2020: Update Impunit for Ada 202XBob Duff1-0/+21
2019-12-13[Ada] Add Ada.Containers.Vectors.Generic_Parallel_Sorting to known unitsArnaud Charlet1-1/+3
2019-10-10[Ada] Mention GNAT Studio instead of GPSAnthony Leonardo Gracio1-2/+2
2019-08-20[Ada] Revert change for gnatprove that is no longer neededPiotr Trojanek1-13/+4
2019-08-13[Ada] Add GNAT.Branch_Prediction to ImpunitEric Botcazou1-0/+1
2019-07-01[Ada] Implement GNAT.GraphsHristian Kirtchev1-0/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-09-26[Ada] New unit GNAT.SetsHristian Kirtchev1-0/+1
2018-08-21[Ada] Define versions of dimension system for Float and Long_FloatYannick Moy1-0/+8
2018-08-21[Ada] General purpose doubly linked list for compiler and tool useHristian Kirtchev1-0/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-1/+4
2016-10-13[multiple changes]Arnaud Charlet1-1/+2
2015-11-18[multiple changes]Arnaud Charlet1-0/+1
2015-11-13[multiple changes]Arnaud Charlet1-3/+3
2015-11-12[multiple changes]Arnaud Charlet1-11/+11
2015-11-12[multiple changes]Arnaud Charlet1-53/+45
2015-10-20[multiple changes]Arnaud Charlet1-0/+1
2015-05-12[multiple changes]Arnaud Charlet1-0/+1
2015-02-20[multiple changes]Arnaud Charlet1-0/+1
2015-02-20[multiple changes]Arnaud Charlet1-1/+2
2014-10-31[multiple changes]Arnaud Charlet1-0/+2
2014-10-17[multiple changes]Arnaud Charlet1-0/+1
2014-07-30[multiple changes]Arnaud Charlet1-1/+0
generated by cgit v1.1 at 2025-01-17 16:32:04 +0000