aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
2020-10-20[Ada] New warning on not fully initialized box aggregateArnaud Charlet11-13/+15
2020-10-19[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def typesBob Duff2-10/+16
2020-10-19[Ada] Clarify protection offered by preconditions on Ada.Text_IO unitsYannick Moy1-2/+3
2020-10-19[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def typesBob Duff60-41/+902
2020-10-18revamp ada.numerics.auxAlexandre Oliva14-464/+584
2020-10-16[Ada] Remove non-ASCII characterBob Duff1-1/+4
2020-10-16[Ada] Clean up in system.ads dependencies during compiler buildArnaud Charlet1-184/+0
2020-10-16[Ada] Convert from UTF_16 to UTF_8 fails for large valuesArnaud Charlet1-1/+1
2020-10-16[Ada] Use new Max_Integer_Size attribute in system.ads filesEric Botcazou63-195/+195
2020-10-16[Ada] Remove support for -gnatP and pragma PollingArnaud Charlet19-210/+0
2020-10-15[Ada] Spurious visibility on private with packageArnaud Charlet2-2/+3
2020-10-15[Ada] Do not use maximal values from System in runtime unitsEric Botcazou5-9/+5
2020-10-15[Ada] Ada_2020: Add aspect Aggregate to standard container unitsEd Schonberg22-17/+174
2020-10-15[Ada] Add iterators over GNAT.Array_Split.Slice_SetArnaud Charlet2-11/+51
2020-10-15[Ada] AI12-0385 Predefined shifts and rotates should be staticArnaud Charlet2-0/+200
2020-10-12make sin and cos generics inlineableAlexandre Oliva1-0/+2
2020-10-11import elementary functions as intrinsicsAlexandre Oliva4-50/+50
2020-07-27[Ada] Switch Ada_Version_Runtime to Ada 2020Arnaud Charlet30-52/+6
2020-07-27[Ada] Unbounded string overriding controlDmitriy Anisimkov2-38/+150
2020-07-27[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def typesBob Duff6-3/+52
2020-07-16[Ada] Wrong execution of Tan on large argumentArnaud Charlet2-623/+2
2020-07-16[Ada] v7r2cert: minor refactoringDoug Rupp1-35/+20
2020-07-16[Ada] AI12-0004 Normalization and allowed charactersArnaud Charlet12-5/+482
2020-07-16[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPUBob Duff1-0/+1
2020-07-16[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment restrictionBob Duff1-4/+11
2020-07-16[Ada] Overflow in string streamingArnaud Charlet2-10/+19
2020-07-16[Ada] Add centralized capacity check in Generic_BignumsArnaud Charlet1-19/+12
2020-07-15[Ada] Fix logic in Allocate_Any_ControlledArnaud Charlet1-6/+9
2020-07-15[Ada] Mark standard containers as not in SPARKYannick Moy48-48/+144
2020-07-15[Ada] Fix typo in "accommodate" in docs and commentsPiotr Trojanek1-1/+1
2020-07-15[Ada] Fix potentially uninitialized variable flagged by CodePeerArnaud Charlet1-0/+3
2020-07-10[Ada] Ada2020: AI12-0368 Declare expressions can be staticBob Duff2-12/+30
2020-07-10[Ada] Fix memory leak in routine Wait_On_SocketPascal Obry1-7/+15
2020-07-10[Ada] Minor style fixesPascal Obry1-8/+10
2020-07-10[Ada] Add global contracts to Ada.Numerics.Big_Numbers librariesJoffrey Huguet2-76/+135
2020-07-10[Ada] Make System.Generic_Bignums more flexibleArnaud Charlet7-394/+624
2020-07-08[Ada] Clean up in Interfaces.C.ExtensionsArnaud Charlet3-5/+3
2020-07-08[Ada] ACATS 4.1R - BD10001 - Error missedArnaud Charlet1-2/+0
2020-07-07[Ada] ACATS 4.1K - C452003Arnaud Charlet2-5/+4
2020-07-07[Ada] Use pragma Unsuppress in Time_IOBob Duff1-13/+12
2020-07-06[Ada] Time_IO.Image: Allow printing the time zoneBob Duff2-6/+77
2020-07-06[Ada] Time_IO.Value: Allow subseconds and time zones togetherBob Duff2-25/+25
2020-07-06[Ada] Clean up GNAT.Calendar.Time_IO.ValueBob Duff1-62/+55
2020-07-06[Ada] Implement Time_IO.Image with Time_ZoneBob Duff2-2/+30
2020-07-06[Ada] Use Stream_Element_Arrays internally for secure hash computationsThomas Quinot3-75/+84
2020-07-06[Ada] Correct time zone in GNAT.Calendar.Time_IO.ValueBob Duff6-64/+62
2020-07-06[Ada] AI12-0366 Changes to Big_Integer and Big_RealArnaud Charlet3-10/+11
2020-06-19[Ada] AI12-0293-1 Remove pragma AssertBob Duff1-9/+12
2020-06-19[Ada] AI12-0366 Changes to Big_Integer and Big_RealArnaud Charlet5-167/+154
2020-06-18[Ada] Fix small inefficiency in previous change to expanderEric Botcazou1-66/+24
generated by cgit v1.1 at 2024-07-19 00:45:15 +0000