aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
6 daysAda: Fix GNU/Hurd maximum prioritySamuel Thibault1-1/+1
10 daysOutput 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
2024-08-23ada: Fix incorrect tracebacks on WindowsSebastian Poeplau1-1/+25
2024-08-23ada: Update libraries with the limited flagViljar Indus6-7/+7
2024-08-23ada: Fix style in lines starting with assignment operatorPiotr Trojanek5-21/+21
2024-08-06ada: Reject use-clause conflicts in the run-time libraryBob Duff8-3/+43
2024-08-02ada: Add contracts to Ada.Strings.Unbounded and adapt implementationYannick Moy4-260/+2068
2024-08-02ada: Add leap second support to conversion of Unix_TimeTonu Naks1-65/+70
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou1-0/+15
2024-08-02ada: Improve documenation about security of PRGNsJohannes Kliemann1-0/+2
2024-08-01ada: Fix computation of new size when reallocating unbounded stringYannick Moy1-1/+1
2024-08-01ada: Update contracts on Strings librariesYannick Moy3-29/+27
2024-08-01ada: Fix bug in resolution of Ghost_PredicateBob Duff2-1/+2
2024-08-01ada: Implement full relaxed finalization semantics for controlled objectsEric Botcazou2-15/+23
2024-08-01ada: Remove obsolete workaroundEric Botcazou2-19/+0
2024-06-27ada: Remove last uses of System.Address_Operations in runtime libraryEric Botcazou11-49/+64
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-3/+7
generated by cgit v1.1 at 2024-12-28 14:34:24 +0000