aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
6 daysRevert "Ada: Add System.C_Time and GNAT.C_Time units to libgnat"Eric Botcazou24-438/+956
6 daysAda: Add System.C_Time and GNAT.C_Time units to libgnatNicolas Boulenguez24-956/+438
12 daysada: Fix inconsistencies in conversion functions from DurationEric Botcazou3-17/+42
2025-07-22ada: Additional condition for Capacity discriminant on bounded container aggr...Gary Dismukes2-2/+2
2025-07-03Ada: Remove left-overs of front-end exception mechanismEric Botcazou1-1/+0
2025-07-03ada: Port System.Stack_Usage to CHERIDaniel King2-25/+24
2025-07-03ada: Fix spurious Constraint_Error raised by 'Value of fixed-point typesEric Botcazou7-51/+10
2025-07-03ada: Remove unnecessary "return;" statementsBob Duff2-2/+2
2025-07-03ada: Document restriction on array lengthTonu Naks1-0/+11
2025-07-03ada: Fix index bounds check in Super_Delete functions and proceduresAleksandra Pasek3-6/+6
2025-07-03ada: Use consistent truncation of 'Value for decimal fixed-point typesEric Botcazou1-2/+2
2025-07-01ada: Restore consistent rounding of 'Value for ordinary fixed-point typesEric Botcazou1-1/+5
2025-07-01ada: Disallow underscore before exponentTonu Naks1-2/+6
2025-07-01ada: Fix couple of issues in System.Value_D.Integer_To_Decimal functionEric Botcazou2-21/+33
2025-07-01ada: Reduce the likelihood of overflow in TanhTonu Naks1-5/+8
2025-07-01ada: Split the unit System.Case_Utilities into two parts.Steve Baird5-94/+247
2025-07-01ada: Correct comment in s-valuen.adsAleksandra Pasek1-2/+2
2025-07-01ada: Get rid of multiple roundings for 'Value of ordinary fixed-point typesEric Botcazou5-220/+149
2025-07-01ada: Clarify numeric parsing codeRonan Desplanques1-20/+18
2025-06-30ada: Fix missing rounding in System.Value_R.Scan_Raw_RealEric Botcazou1-11/+36
2025-06-30ada: Ignore ghost predicate in Ada.Strings.SuperboundedClaire Dross1-4/+5
2025-06-30ada: Array aggregates of mutably tagged objectsJavier Miranda1-0/+18
2025-06-30ada: Remove redundant condition in test of System.Val_Real.Integer_To_RealEric Botcazou2-8/+9
2025-06-30ada: Adjust comparisons in if-statements according to coding styleJohannes Kliemann2-3/+3
2025-06-12ada: Apply tweak for machine-code-based coverageRonan Desplanques1-1/+7
2025-06-12ada: Add Ada RM clause reference in commentRonan Desplanques1-1/+2
2025-06-12ada: Remove subexpression that's always FalseRonan Desplanques1-4/+4
2025-06-12ada: Fix rounding test with odd basesEric Botcazou1-1/+3
2025-06-12ada: Fix various issues in System.Value_F.Integer_To_Fixed functionEric Botcazou1-10/+27
2025-06-12ada: Adjust alignment calculation for secondary stackJohannes Kliemann2-0/+18
2025-06-10ada: Special case for inconsistent pointer in Scan_Raw_UnsignedTonu Naks2-5/+12
2025-06-10ada: Fix inconsistent comment for fixed-point Value attribute implementationEric Botcazou3-9/+9
2025-06-10ada: Fix Value_Decimal to raise Constraint_Error on boundary valuesEric Botcazou1-8/+19
2025-06-09ada: Rename Is_Infinity to Is_Infinity_Or_NaN in System.Double_RealEric Botcazou3-12/+12
2025-06-09ada: Fix bindings for CHERI Set_Bounds and Set_Exact_Bounds intrinsics.Daniel King2-4/+26
2025-06-06ada: Deconstruct C header for the SCOs unitPiotr Trojanek1-2/+3
2025-06-05ada: Add explicit null pointer check in C.Strings.UpdateTonu Naks1-0/+5
2025-06-05ada: Remove ghost code and SPARK annotations from runtime unitsArnaud Charlet96-10721/+239
2025-06-05ada: Activate SPARK_Mode in Ada.Numerics.*_Random specsAndres Toom2-19/+57
2025-06-05ada: Add Ghost aspect to Lo in s-arit32.adbAleksandra Pasek1-1/+2
2025-06-05ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx64 in s-aridou.adbAleksandra Pasek1-0/+1
2025-06-05ada: Mitigate issue with tracebacksRonan Desplanques1-0/+18
2025-06-05ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx32 in s-arit32.adbJohannes Kliemann1-0/+1
2025-06-05ada: Fix unnecessarily large allocation in New_StringRonan Desplanques1-11/+24
2025-06-05ada: Fix New_Char_Array with empty arraysRonan Desplanques1-27/+35
2025-04-30Fix GNAT build failure for x86/FreeBSDEric Botcazou1-0/+172
2025-04-04Ada: Fix thinko in Eigensystem for complex Hermitian matricesEric Botcazou2-61/+66
2025-01-14Ada: add missing support for the S/390 and RISC-V architecturesEric Botcazou2-5/+33
2025-01-13ada: Remove redundant parentheses inside unary operators (cont.)Piotr Trojanek1-8/+8
2025-01-13ada: Remove redundant parentheses inside unary operators in commentsPiotr Trojanek1-1/+1
generated by cgit v1.1 at 2025-08-06 10:10:09 +0000