aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat_rm.texi
AgeCommit message (Expand)AuthorFilesLines
2022-05-17[Ada] Generic binary search implementationDmitriy Anisimkov1-169/+183
2022-05-17[Ada] Fix documentation of using attribute Loop_Entry in pragmasPiotr Trojanek1-4/+7
2022-05-13[Ada] Extend hardcfr testing (documentation)Alexandre Oliva1-16/+7
2022-05-13[Ada] Fix code example on representation clauseEtienne Servais1-3/+3
2022-05-13[Ada] Document control flow redundancyAlexandre Oliva1-45/+104
2022-05-12[Ada] Introduce hardbool Machine_Attribute for AdaAlexandre Oliva1-26/+65
2022-05-12[Ada] Fix typos in syntax for implementation-defined pragmasPiotr Trojanek1-4/+4
2022-05-11[Ada] Fix unbalanced paren in documentation marker for GNAT StudioPiotr Trojanek1-13/+13
2022-05-11[Ada] New No_Local_Tagged_Types restrictionMarc Poulhiès1-394/+406
2022-05-11[Ada] Fix layout in description of aspects and pragmasPiotr Trojanek1-20/+20
2022-05-11[Ada] Fix markup in description of implementation-defined characteristicsPiotr Trojanek1-98/+15
2022-05-11[Ada] Fix markup in description of pragma EliminatePiotr Trojanek1-4/+11
2022-05-11[Ada] Document pragma Ada_2022Piotr Trojanek1-840/+873
2022-05-11[Ada] Properly reject unsupported address specificationsSteve Baird1-3/+14
2022-05-10[Ada] Fix a couple of typosKévin Le Gouguec1-1/+1
2022-05-09[Ada] Refine description of SPARK with static Boolean expressionsPiotr Trojanek1-14/+14
2022-05-09[Ada] Use "aspect" instead of "pragma" in warningsBob Duff1-2/+2
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek1-1/+3
2022-01-06[Ada] New restriction No_Tagged_Type_RegistrationBob Duff1-375/+392
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-854/+817
2022-01-03Update copyright dates.Jakub Jelinek1-1/+1
2021-12-28docs: replace http:// with https://Martin Liska1-2/+2
2021-12-02[Ada] Cleanups related to expansion of dispatching primitivesPiotr Trojanek1-1/+1
2021-12-01[Ada] Allow formal functions to have a default in the form of an expression f...Gary Dismukes1-0/+25
2021-12-01[Ada] Document System.Atomic_Counters as supported on ARM and AARCH64Piotr Trojanek1-4/+4
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-41/+116
2021-10-25[Ada] Relax INOX restrictions when casing on composite value.Steve Baird1-4/+27
2021-10-05[Ada] introduce stack scrub (strub) featureAlexandre Oliva1-851/+955
2021-10-05[Ada] Forbids use of Compile_Time_(Error|Warning) as configuration pragmaEtienne Servais1-74/+74
2021-10-04[Ada] Incremental patch for restriction No_Dynamic_Accessibility_ChecksJustin Squirek1-353/+404
2021-10-01[Ada] Document rounding mode assumed for dynamic floating-point computationsEric Botcazou1-7/+7
2021-09-23[Ada] Update "Implementation Defined Characteristics" documentation.Steve Baird1-385/+577
2021-09-22[Ada] Add -gnatX support for casing on array valuesSteve Baird1-4/+12
2021-07-09[Ada] Add -gnatX support for casing on discriminated valuesSteve Baird1-6/+5
2021-07-09[Ada] Add paragraph about representation changes and Scalar_Storage_OrderEric Botcazou1-0/+40
2021-07-06[Ada] Support for Object.Op subprogram-call notation for untagged typesGary Dismukes1-0/+18
2021-07-06[Ada] Add GNAT RM text regarding Ada 2022 default Put_Image implementationSteve Baird1-29/+51
2021-07-05[Ada] Regenerate *.texi files with Sphinx 4.0.2Pierre-Marie de Rodat1-1020/+1020
2021-06-21[Ada] INOX: prototype "when" constructsJustin Squirek1-0/+18
2021-06-21[Ada] Implement 'Valid_Value attributeBob Duff1-436/+450
2021-06-21[Ada] Fix unbalanced parens in documentation of Address clausesPiotr Trojanek1-1/+1
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-839/+773
2021-06-18[Ada] Add documentation for the array fixed-lower-bound featureGary Dismukes1-5/+50
2021-06-17[Ada] Casing on composite valuesSteve Baird1-0/+91
2021-06-16[Ada] Include info about containers in GNAT RM Implementation Advice sectionSteve Baird1-298/+321
2021-06-15[Ada] No_Task_Parts aspectBob Duff1-546/+564
2021-06-15[Ada] Clarify the semantics of signed intrinsic shift operationsYannick Moy1-6/+8
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-1/+1
2021-05-06[Ada] Document a few more characteristics of floating-point supportEric Botcazou1-6/+15
2021-04-29[Ada] Consistent wording for permissible-vs-allowed prefixPiotr Trojanek1-11/+11
generated by cgit v1.1 at 2024-09-27 08:18:42 +0000