[gcc.git] /
gcc /
ada /
doc /
gnat_rm / implementation_defined_pragmas.rst
| 13 hours ago |
Jose Ruiz | ada: Implement representation aspect Max_Entry_Queue_Length |
commit | commitdiff |
| 13 hours ago |
Eric Botcazou | ada: Rework and augment documentation on strict aliasing |
commit | commitdiff |
| 4 days ago |
Piotr Trojanek | ada: Fix docs and comments about pragmas for Boolean... |
commit | commitdiff |
| 2024-04-15 |
Piotr Trojanek | ada: Add documentation for Exceptional_Cases |
commit | commitdiff |
| 2024-01-09 |
Piotr Trojanek | ada: Document new SPARK aspect and pragma Always_Terminates |
commit | commitdiff |
| 2023-12-19 |
Yannick Moy | ada: Do not issue SPARK legality error if SPARK_Mode... |
commit | commitdiff |
| 2023-11-07 |
Steve Baird | ada: New Local_Restrictions and User_Aspect aspects. |
commit | commitdiff |
| 2023-10-19 |
Yannick Moy | ada: Support new SPARK aspect Side_Effects |
commit | commitdiff |
| 2023-06-13 |
Yannick Moy | ada: Support new GNAT-specific aspect Ghost_Predicate |
commit | commitdiff |
| 2023-05-23 |
Raphael Amiard | ada: Reorganize documentation of GNAT experimental... |
commit | commitdiff |
| 2023-05-15 |
Javier Miranda | ada: INOX: prototype RFC on String Interpolation |
commit | commitdiff |
| 2022-11-21 |
Ronan Desplanques | ada: Order pragmas alphabetically in reference manual |
commit | commitdiff |
| 2022-11-04 |
Steve Baird | ada: Static intrinsic functions are a core language... |
commit | commitdiff |
| 2022-11-04 |
Piotr Trojanek | ada: Fix various typos in GNAT RM |
commit | commitdiff |
| 2022-11-04 |
Steve Baird | ada: Allow enabling a restricted set of language extens... |
commit | commitdiff |
| 2022-11-04 |
Cedric Landet | ada: Remove VxWorks 6 and VxWorks 653 2.x content from... |
commit | commitdiff |
| 2022-10-06 |
Piotr Trojanek | ada: Cleanup related to lock-free protected subprograms |
commit | commitdiff |
| 2022-09-12 |
Piotr Trojanek | [Ada] Sync documentation of junk names with code |
commit | commitdiff |
| 2022-09-12 |
Steve Baird | [Ada] Lock_Free aspect takes precedence over Ceiling_Lo... |
commit | commitdiff |
| 2022-09-06 |
Steve Baird | [Ada] Document change to legality checks for Inox case... |
commit | commitdiff |
| 2022-07-04 |
Eric Botcazou | [Ada] Adjust description of Pure_Function pragma |
commit | commitdiff |
| 2022-05-12 |
Piotr Trojanek | [Ada] Fix typos in syntax for implementation-defined... |
commit | commitdiff |
| 2022-05-11 |
Piotr Trojanek | [Ada] Fix unbalanced paren in documentation marker... |
commit | commitdiff |
| 2022-05-11 |
Piotr Trojanek | [Ada] Fix layout in description of aspects and pragmas |
commit | commitdiff |
| 2022-05-11 |
Piotr Trojanek | [Ada] Fix markup in description of pragma Eliminate |
commit | commitdiff |
| 2022-05-11 |
Piotr Trojanek | [Ada] Document pragma Ada_2022 |
commit | commitdiff |
| 2022-05-09 |
Piotr Trojanek | [Ada] Refine description of SPARK with static Boolean... |
commit | commitdiff |
| 2022-05-09 |
Bob Duff | [Ada] Use "aspect" instead of "pragma" in warnings |
commit | commitdiff |
| 2022-01-07 |
Justin Squirek | [Ada] Cleanup and modification of unreferenced warnings |
commit | commitdiff |
| 2022-01-05 |
Marc Poulhiès | [Ada] Remove Compiler_Unit[_Warning] pragmas |
commit | commitdiff |
| 2021-12-01 |
Gary Dismukes | [Ada] Allow formal functions to have a default in the... |
commit | commitdiff |
| 2021-10-25 |
Steve Baird | [Ada] Relax INOX restrictions when casing on composite... |
commit | commitdiff |
| 2021-10-05 |
Etienne Servais | [Ada] Forbids use of Compile_Time_(Error|Warning) as... |
commit | commitdiff |
| 2021-09-22 |
Steve Baird | [Ada] Add -gnatX support for casing on array values |
commit | commitdiff |
| 2021-07-09 |
Steve Baird | [Ada] Add -gnatX support for casing on discriminated... |
commit | commitdiff |
| 2021-07-06 |
Gary Dismukes | [Ada] Support for Object.Op subprogram-call notation... |
commit | commitdiff |
| 2021-06-21 |
Justin Squirek | [Ada] INOX: prototype "when" constructs |
commit | commitdiff |
| 2021-06-18 |
Bob Duff | [Ada] Remove AAMP from compiler sources |
commit | commitdiff |
| 2021-06-18 |
Gary Dismukes | [Ada] Add documentation for the array fixed-lower-bound... |
commit | commitdiff |
| 2021-06-17 |
Steve Baird | [Ada] Casing on composite values |
commit | commitdiff |
| 2020-12-16 |
Piotr Trojanek | [Ada] Fix integer-vs-float errors in example for Test_C... |
commit | commitdiff |
| 2020-11-27 |
Piotr Trojanek | [Ada] Default_Initial_Condition assertion policy is... |
commit | commitdiff |
| 2020-11-27 |
Piotr Trojanek | [Ada] Sync doc and code for pragma Assertion_Policy |
commit | commitdiff |
| 2020-10-26 |
Pat Rogers | [Ada] Replace GNAT_Extended_Ravenscar profile name |
commit | commitdiff |
| 2020-10-23 |
Eric Botcazou | [Ada] Implement new legality rules introduced in C... |
commit | commitdiff |
| 2020-10-23 |
Arnaud Charlet | [Ada] Improve documentation of pragma Abort_Defer |
commit | commitdiff |
| 2020-10-16 |
Arnaud Charlet | [Ada] Remove support for -gnatP and pragma Polling |
commit | commitdiff |
| 2020-07-15 |
Arnaud Charlet | [Ada] Extend static functions |
commit | commitdiff |
| 2020-07-06 |
Gary Dismukes | [Ada] Various typo fixes and reformatting of comments |
commit | commitdiff |
| 2020-06-18 |
Ghjuvan Lacambre | [Ada] Do not treat pragma Compile_Time_Warning as error... |
commit | commitdiff |
| 2020-06-17 |
Piotr Trojanek | [Ada] Fix casing from GNATProve to GNATprove |
commit | commitdiff |
| 2020-06-04 |
Arnaud Charlet | [Ada] Remove OpenACC support |
commit | commitdiff |
| 2020-05-25 |
Yannick Moy | [Ada] Change pragma Compile_Time_Error to force compile... |
commit | commitdiff |
| 2019-12-18 |
Piotr Trojanek | [Ada] Fix three-letter typos like "sss" in comments... |
commit | commitdiff |
| 2019-12-16 |
Eric Botcazou | [Ada] Implement new legality rules introduced in C... |
commit | commitdiff |
| 2019-12-13 |
Gary Dismukes | [Ada] Minor rewording of one sentence |
commit | commitdiff |
| 2019-12-13 |
Ghjuvan Lacambre | [Ada] implementation_defined_pragmas.rst: Update Initia... |
commit | commitdiff |
| 2019-12-13 |
Eric Botcazou | [Ada] Minor tweak to Volatile_Full_Access wording in... |
commit | commitdiff |
| 2019-09-19 |
Steve Baird | [Ada] Accept concatentation arguments to pragma Annotate |
commit | commitdiff |
| 2019-09-18 |
Vasiliy Fofanov | [Ada] Fix minor formatting issue |
commit | commitdiff |
| 2019-09-18 |
Arnaud Charlet | [Ada] Improve doc on Warning_As_Error |
commit | commitdiff |
| 2019-09-18 |
Arnaud Charlet | [Ada] Remove remaining references to VMS support |
commit | commitdiff |
| 2019-09-17 |
Ed Falis | [Ada] Remove section on pragma No_Run_Time |
commit | commitdiff |
| 2019-08-21 |
Justin Squirek | [Ada] Max_Entry_Queue_Length aspect for protected entries |
commit | commitdiff |
| 2019-08-20 |
Gary Dismukes | [Ada] Minor reformattings |
commit | commitdiff |
| 2019-08-20 |
Patrick Bernardi | [Ada] New pragma Aggregate_Individually_Assign |
commit | commitdiff |
| 2019-08-20 |
Bob Duff | [Ada] Pragma Warning_As_Error works for style warnings |
commit | commitdiff |
| 2019-08-20 |
Arnaud Charlet | [Ada] Document requirements for Pragma Lock_Free |
commit | commitdiff |
| 2019-08-12 |
Yannick Moy | [Ada] New aspect/pragma No_Caching for analysis of... |
commit | commitdiff |
| 2019-07-10 |
Justin Squirek | [Ada] Documentation of Img attribute out of date |
commit | commitdiff |
| 2019-07-08 |
Hristian Kirtchev | [Ada] In-place initialization for Initialize_Scalars |
commit | commitdiff |
| 2019-07-04 |
Eric Botcazou | [Ada] Fix capitalization and parenthesis glitches in... |
commit | commitdiff |
| 2019-05-28 |
Eric Botcazou | implementation_defined_pragmas.rst (Machine_Attribute... |
commit | commitdiff |
| 2018-09-26 |
Olivier Hainque | [Ada] Front-end support for OpenACC pragmas |
commit | commitdiff |
| 2018-06-11 |
Yannick Moy | [Ada] Add Suppressible argument to Assertion_Policy... |
commit | commitdiff |
| 2018-05-30 |
Ed Schonberg | [Ada] Extend the applicability of Thread_Local_Storage... |
commit | commitdiff |
| 2018-05-24 |
Piotr Trojanek | [Ada] Fix inconsistent documentation for the Contract_C... |
commit | commitdiff |
| 2018-05-23 |
Yannick Moy | [Ada] Clarify meaning of local pragma Warnings Off... |
commit | commitdiff |
| 2018-05-23 |
Javier Miranda | [Ada] Restrict initialization of External_Tag and Expan... |
commit | commitdiff |
| 2018-05-21 |
Hristian Kirtchev | [Ada] Placement of pragma Elaboration_Checks |
commit | commitdiff |
| 2017-12-15 |
Pierre-Marie de... | exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use... |
commit | commitdiff |
| 2017-09-29 |
Pierre-Marie de... | [multiple changes] |
commit | commitdiff |
| 2017-09-08 |
Arnaud Charlet | gnat_rm.texi, [...]: Update documentation. |
commit | commitdiff |
| 2017-04-25 |
Arnaud Charlet | gnat_rm.texi, [...]: Update documentation. |
commit | commitdiff |
| 2017-01-13 |
Arnaud Charlet | getting_started_with_gnat.rst, [...]: Update documentation. |
commit | commitdiff |
| 2016-07-04 |
Arnaud Charlet | Update documentation. |
commit | commitdiff |
| 2016-04-21 |
Arnaud Charlet | gnat_rm.texi, [...]: Update doc. |
commit | commitdiff |
| 2015-11-18 |
Arnaud Charlet | gnat_project_manager.rst, [...]: Update doc. |
commit | commitdiff |
| 2015-11-13 |
Arnaud Charlet | Updaate documentation. |
commit | commitdiff |
| 2015-11-12 |
Arnaud Charlet | gnat_rm.texi, [...]: Update documentation. |
commit | commitdiff |
| 2015-10-23 |
Arnaud Charlet | gnat_rm.texi, [...]: Regenerate. |
commit | commitdiff |
| 2015-10-20 |
Arnaud Charlet | gnat_ugn.texi, [...]: Regenerate. |
commit | commitdiff |
| 2015-05-12 |
Arnaud Charlet | * gnat_rm.texi, gnat_ugn.texi, doc: Documentation updat... |
commit | commitdiff |
| 2015-03-24 |
Arnaud Charlet | building_executable_programs_with_gnat.rst, [...]:... |
commit | commitdiff |
| 2015-02-20 |
Arnaud Charlet | gnat_rm.texi, [...]: Now automatically generated from... |
commit | commitdiff |
|
git://gcc.gnu.org / gcc.git / history