aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès119-232/+20
2021-12-02[Ada] Proof of System.Arith_32 for double arithmetic on 32bitsYannick Moy2-18/+499
2021-12-02[Ada] Amend proof of System.Arith_Double to remove justificationsYannick Moy2-63/+183
2021-12-02[Ada] Add pragma Annotate for CodePeer analysisYannick Moy1-0/+3
2021-12-02[Ada] Proof of support units for 'Width on signed integersYannick Moy10-23/+253
2021-12-02[Ada] Use bracket aggregates in Ada2022Marc Poulhiès86-575/+573
2021-12-02[Ada] Split spec and body of expression function with Subprogram_VariantPiotr Trojanek1-15/+27
2021-12-02[Ada] Proof of Interfaces.C with SPARKYannick Moy3-69/+825
2021-12-02[Ada] Proof of System.Val_Util utilities for 'Value supportYannick Moy6-71/+307
2021-12-02[Ada] Proof of Boolean'Image and Boolean'ValueYannick Moy6-19/+217
2021-12-02[Ada] Fix possible memory corruption for hostnames longer than 1024 bytesPascal Obry1-2/+4
2021-12-02[Ada] Minor style fix (no dot on single line comment)Pascal Obry1-1/+1
2021-12-01[Ada] Tune whitespace of the bounded lists Aggregate aspectPiotr Trojanek1-2/+2
2021-12-01[Ada] Sync whitespace between variants of Indefinite_Holders unitPiotr Trojanek2-2/+3
2021-12-01[Ada] Avoid duplication for Sets functionsEtienne Servais6-208/+36
2021-11-10[Ada] Do not assume a priority value of zero is a valid priorityPatrick Bernardi1-5/+3
2021-11-10[Ada] Prove double precision integer arithmetic unitPierre-Alexandre Bazin5-113/+2509
2021-11-10[Ada] Create explicit ghost mirror unit for big integersYannick Moy3-8/+27
2021-11-10[Ada] Fix Constraint error on rexgexp close bracket find algorithmEtienne Servais1-48/+59
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva4-25/+1
2021-11-09[Ada] Use atomics in runtime on ARM and Aarch64 VxWorksPiotr Trojanek2-0/+4
2021-11-09[Ada] Reference in Unbounded_String is almost never nullPiotr Trojanek1-3/+7
2021-11-09[Ada] Add missing regular expression syntax error checkSteve Baird1-1/+4
2021-10-25[Ada] Update the inactive GMP variant of Big_IntegersPiotr Trojanek1-1/+1
2021-10-25[Ada] Global contracts on expression functions in Ada.Strings.SuperboundedPiotr Trojanek1-4/+7
2021-10-25[Ada] Reference in Unbounded_String is almost never nullPiotr Trojanek2-4/+10
2021-10-25[Ada] Shutdown codepeer messageArnaud Charlet1-1/+4
2021-10-20[Ada] Proof of the runtime support for attribute 'WidthYannick Moy4-6/+116
2021-10-20[Ada] Provide dummy body for big integers library used in reduced runtimesYannick Moy2-4/+76
2021-10-20[Ada] Delete unused runtime filesDoug Rupp4-504/+0
2021-10-20[Ada] Add ghost code version of Ada.Numerics.Big_Numbers.Big_IntegersJohannes Kliemann1-0/+206
2021-10-20[Ada] Expose and use type-generic GCC atomic builtinsEric Botcazou5-425/+118
2021-10-20[Ada] Get rid of Frontend_Exceptions refsDoug Rupp3-512/+0
2021-10-11[Ada] Runtime transition: System.ThreadsDoug Rupp2-78/+14
2021-10-11[Ada] RTEMS: use regular RTEMS API for minimum stack size calculationPatrick Bernardi1-7/+12
2021-10-11[Ada] Import binder globals as constantGhjuvan Lacambre12-23/+14
2021-10-11[Ada] RTEMS: use default stack checking emulation packagePatrick Bernardi1-113/+0
2021-10-11[Ada] Size of time_t in newer verions of VxWorks7Doug Rupp1-2/+6
2021-10-05[Ada] introduce stack scrub (strub) featureAlexandre Oliva5-0/+118
2021-10-05[Ada] Issue a proper error message when no format specifier foundPascal Obry1-1/+1
2021-10-05[Ada] Fix negative numbers formatted with leading zeroPascal Obry1-1/+1
2021-10-05[Ada] Minor code clean-upPascal Obry1-1/+1
2021-10-05[Ada] Add missing functions to Wide_Wide_Characters HandlingEtienne Servais4-4/+90
2021-10-05[Ada] Add Default_Initial_Condition to type Unbounded_StringJoffrey Huguet2-2/+4
2021-10-05[Ada] Disable contract cases on formal containersClaire Dross7-0/+7
2021-10-05[Ada] Proof of Ada.Strings.MapsYannick Moy2-38/+395
2021-10-05[Ada] Proof of Ada.Characters.HandlingYannick Moy3-84/+428
2021-10-04[Ada] Completion of support for AI12-0409 (attribute Preelaborable_Initializa...Gary Dismukes8-34/+35
2021-10-04[Ada] Mark Ada.Text_IO in SPARKYannick Moy2-2/+5
2021-10-04[Ada] Minor comment fix in System.RegpatBob Duff1-6/+5
generated by cgit v1.1 at 2024-10-06 20:45:18 +0000