aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat_rm.texi
AgeCommit message (Expand)AuthorFilesLines
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
2021-01-01Update copyright dates.Jakub Jelinek1-1/+1
2020-12-16[Ada] Fix integer-vs-float errors in example for Test_Case pragmaPiotr Trojanek1-3/+3
2020-11-30[Ada] Expand integer-only implementation of ordinary fixed-point typesEric Botcazou1-459/+487
2020-11-27[Ada] Default_Initial_Condition assertion policy is now RM definedPiotr Trojanek1-27/+27
2020-11-27[Ada] Sync doc and code for pragma Assertion_PolicyPiotr Trojanek1-16/+19
2020-11-26[Ada] Add support for 128-bit fixed-point types on 64-bit platformsEric Botcazou1-10/+20
2020-11-25[Ada] Document attribute Has_Tagged_Values in GNAT RMPiotr Trojanek1-477/+496
2020-11-25[Ada] Crash on right shift operator for signed integersJustin Squirek1-1/+3
2020-11-24[Ada] Document characteristics of decimal fixed point typesEric Botcazou1-2/+5
2020-10-26[Ada] Replace GNAT_Extended_Ravenscar profile namePat Rogers1-9/+14
2020-10-26[Ada] Document characteristics of ordinary fixed point typesEric Botcazou1-7/+8
2020-10-26[Ada] AI12-0395: Allow aspect_specifications on formal parametersArnaud Charlet1-1/+1
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-6/+0
2020-10-23[Ada] Improve documentation of pragma Abort_DeferArnaud Charlet1-1/+15
2020-10-22[Ada] Enable the support of 128-bit integer types by defaultEric Botcazou1-46/+49
2020-10-22[Ada] Minor fix in GNAT RMEric Botcazou1-5/+5
2020-10-22[Ada] Minor fixes in GNAT RMEric Botcazou1-4/+3