aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
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
2025-01-13ada: Remove redundant parentheses inside unary operatorsPiotr Trojanek20-90/+90
2025-01-13ada: Add more commentary to System.Val_Real.Large_PowfiveEric Botcazou1-0/+5
2025-01-09ada: Error on Disable_Controlled aspect in Multiway_Treessquirek2-49/+39
2025-01-07Update copyright years.Marc Poulhiès1489-1489/+1489
2025-01-07ada: Adjust pragma obsolescent messageMarc Poulhiès2-8/+22
2025-01-07ada: Add guard to System.Val_Real.Large_Powfive against pathological inputEric Botcazou4-4/+20
2025-01-07ada: Drop vxworks-smp-ppc-link.specAlexandre Oliva1-1/+0
2025-01-06ada: Streamline runtime support of finalization collectionsEric Botcazou2-19/+12
2025-01-06ada: Fix incorrect RM reference in s-imagef.adbBob Duff1-1/+1
2025-01-06ada: Reduce footprint of C++ exception interoperation supportAlexandre Oliva5-64/+65
2025-01-03ada: Handle C++ exception hierarchiesAlexandre Oliva12-40/+948
2025-01-03ada: Do not search executables in current dir by defaultTonu Naks3-6/+21
2024-12-22Ada: Fix GNU/Hurd maximum prioritySamuel Thibault1-1/+1
2024-12-18Output the load address in backtraces for PIE executables on DarwinSimon Wright1-1/+19
2024-12-13ada: Fix indentation in record component declarationsPiotr Trojanek2-2/+2
2024-12-13ada: Fix fixed point text-io when subtype has dynamic rangeMarc Poulhiès6-150/+210
2024-12-13ada: Remove implicit assumption in the double caseEric Botcazou1-7/+16
2024-12-13ada: Adjust cut-off for scaling of floating-point numbersEric Botcazou1-8/+7
2024-12-12Fix precondition failure with Ada.Numerics.Generic_Real_Arrays.EigenvaluesEric Botcazou1-10/+14
2024-12-12ada: Fix minor display issue on invalid floatsRonan Desplanques1-1/+4
2024-12-12ada: Fix reference manual clausesRonan Desplanques9-13/+14
2024-12-12ada: Fix documentation comment for Scan_SignRonan Desplanques1-7/+6
2024-12-12ada: Export CHERI exception IDsDaniel King1-0/+30
2024-12-11Ada: Fix GNU/Hurd priority rangeSamuel Thibault1-0/+148
2024-11-14ada: Adapt proofs of light runtime to current version of SPARKClaire Dross11-93/+228
2024-11-14ada: Another small fix to the description of run-time library routinesEric Botcazou1-2/+2
2024-11-14ada: Fix outdated description in System.Arith_* unitsEric Botcazou3-20/+20
2024-11-12ada: Include design documentation within runtime sourcesPat Bernardi224-325/+1431
2024-11-12ada: Make sure not to access past the end of bit-packed arraysEric Botcazou120-7851/+53151
2024-11-12ada: Remove use of overlays in implementation of System.Pack_N unitsEric Botcazou120-1416/+2427
2024-11-12ada: Set correct minimum stack size for aarch64-linuxJohannes Kliemann1-0/+82
2024-11-12ada: Detect sharing of external file in inconsistent read-write modesPiotr Trojanek2-2/+7
2024-11-12ada: GNAT Calendar Support for 64-bit Unix TimeDouglas B Rupp4-7/+146
2024-11-04ada: Improve Unbounded_Wide_String performanceNicolas Roche2-46/+127
2024-11-04ada: Improve performance of Unbounded_Wide_Wide_StringNicolas Roche2-47/+130
2024-11-04ada: Improve Unbounded_String performanceNicolas Roche2-49/+134
2024-11-04ada: Add CHERI variant of full secondary stack allocatorDaniel King1-0/+1085
2024-11-04ada: Refactor exception declarations from Interfaces.CHERI to separate packageDaniel King2-16/+50
2024-11-04ada: Fix alignment of pthread_mutex_tDaniel King1-1/+6
2024-11-04ada: Move formal hash tables from gnat repository to the SPARK libraryClaire Dross5-925/+0
2024-11-04ada: Minor tweaks in commentsEric Botcazou1-1/+1
2024-10-25ada: Fix fallout of change to 'Wide_Wide_Value for enumeration typesEric Botcazou2-2/+160
2024-10-09Remove support for HP-UX 10Eric Botcazou1-61/+0
2024-10-08ada: Fix bogus Constraint_Error for 'Wide_Wide_Value on wide enumeration literalEric Botcazou10-17/+36
2024-10-08ada: Print the load address in symbolic backtracesEric Botcazou1-1/+11
2024-09-10ada: Whitespace cleanup in declaration of calendar-related routinesPiotr Trojanek1-6/+6
2024-09-05ada: Integrate new diagnostics in the frontendViljar Indus2-1/+3