]> gcc.gnu.org Git - gcc.git/history - gcc/ada/gnat_rm.texi
git://gcc.gnu.org / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fortran: Assume there is no cyclic reference with submodule symbols [PR99798]
[gcc.git] / gcc / ada / gnat_rm.texi
13 hours ago Jose Ruizada: Implement representation aspect Max_Entry_Queue_Length commit | commitdiff
13 hours ago Eric Botcazouada: Rework and augment documentation on strict aliasing commit | commitdiff
3 days ago Marc Poulhièsada: Fix probable copy/paste error commit | commitdiff
4 days ago Justin Squirekada: Implement new experimental attribute 'Super commit | commitdiff
4 days ago Piotr Trojanekada: Fix docs and comments about pragmas for Boolean... commit | commitdiff
7 days ago Ashley Gayada: Remove deprecated VxWorks interrupt connection API commit | commitdiff
7 days ago Steve Bairdada: Enable casing on composite via -X0 instead of -X commit | commitdiff
2024-05-06 Eric Botcazouada: Extend Round attribute to ordinary fixed point... commit | commitdiff
2024-04-15 Piotr Trojanekada: Add documentation for Exceptional_Cases commit | commitdiff
2024-01-09 Piotr Trojanekada: Document new SPARK aspect and pragma Always_Terminates commit | commitdiff
2024-01-03 Jakub JelinekUpdate copyright dates. commit | commitdiff
2023-12-19 Yannick Moyada: Do not issue SPARK legality error if SPARK_Mode... commit | commitdiff
2023-11-28 Eric Botcazouada: Fix incorrect quoting in documentation commit | commitdiff
2023-11-07 Steve Bairdada: New Local_Restrictions and User_Aspect aspects. commit | commitdiff
2023-10-19 Yannick Moyada: Support new SPARK aspect Side_Effects commit | commitdiff
2023-10-19 Patrick Bernardiada: Document gnatbind -Q switch commit | commitdiff
2023-07-18 Alexandre Olivaada: Expose expected_throw attribute commit | commitdiff
2023-07-10 Bob Duffada: Documentation for mixed declarations and statements commit | commitdiff
2023-07-10 Alexandre Olivaada: hardcfr: optionally disable in leaf functions commit | commitdiff
2023-07-10 Alexandre Olivaada: hardcfr: mark throw-expected functions commit | commitdiff
2023-07-10 Alexandre Olivaada: Add leafy mode for zero-call-used-regs commit | commitdiff
2023-07-04 Viljar Indusada: Add No_Use_Of_Attribute & No_Use_Of_Pragma to... commit | commitdiff
2023-06-13 Yannick Moyada: Support new GNAT-specific aspect Ghost_Predicate commit | commitdiff
2023-05-26 Yannick Moyada: Minor doc clarification commit | commitdiff
2023-05-23 Raphael Amiardada: Reorganize documentation of GNAT experimental... commit | commitdiff
2023-05-16 Eric Botcazouada: Document examples of No_Dependence restriction... commit | commitdiff
2023-05-15 Ronan Desplanquesada: Fix minor documentation formatting issue commit | commitdiff
2023-05-15 Javier Mirandaada: INOX: prototype RFC on String Interpolation commit | commitdiff
2023-01-02 Jakub JelinekUpdate copyright dates. commit | commitdiff
2022-12-01 Ronan Desplanquesada: Fix minor issues in reference manual commit | commitdiff
2022-11-21 Ronan Desplanquesada: Order pragmas alphabetically in reference manual commit | commitdiff
2022-11-14 Alexandre Olivaada: hardcfr docs: add optional checkpoints commit | commitdiff
2022-11-14 Martin LiskaRevert "sphinx: ada: port to Sphinx" commit | commitdiff
2022-11-09 Martin Liskasphinx: ada: port to Sphinx commit | commitdiff
2022-11-04 Steve Bairdada: Static intrinsic functions are a core language... commit | commitdiff
2022-11-04 Ronan Desplanquesada: Fix typo commit | commitdiff
2022-11-04 Piotr Trojanekada: Fix various typos in GNAT RM commit | commitdiff
2022-11-04 Steve Bairdada: Allow enabling a restricted set of language extens... commit | commitdiff
2022-11-04 Cedric Landetada: Remove VxWorks 6 and VxWorks 653 2.x content from... commit | commitdiff
2022-10-06 Piotr Trojanekada: Cleanup related to lock-free protected subprograms commit | commitdiff
2022-10-06 Alexandre Olivaada: hardened conditionals: exemplify codegen changes commit | commitdiff
2022-10-06 Alexandre Olivaada: hardened booleans: exemplify codegen changes commit | commitdiff
2022-10-06 Alexandre Olivaada: stack scrubbing: exemplify codegen changes commit | commitdiff
2022-09-26 Ghjuvan Lacambreada: Doc: rename Valid_Image to Valid_Value commit | commitdiff
2022-09-12 Piotr Trojanek[Ada] Sync documentation of junk names with code commit | commitdiff
2022-09-12 Joffrey Huguet[Ada] Remove SPARK containers from GNAT documentation commit | commitdiff
2022-09-12 Steve Baird[Ada] Lock_Free aspect takes precedence over Ceiling_Lo... commit | commitdiff
2022-09-06 Steve Baird[Ada] Enable lock free protected implementation by... commit | commitdiff
2022-09-06 Steve Baird[Ada] Document change to legality checks for Inox case... commit | commitdiff
2022-09-06 Piotr Trojanek[Ada] Improve detection of illegal Iterable aspects commit | commitdiff
2022-09-02 Eric Botcazou[Ada] Extend No_Dependence restriction to code generati... commit | commitdiff
2022-09-02 Eric Botcazou[Ada] Update documentation about non-symbolic traceback commit | commitdiff
2022-07-13 Alexandre Oliva[Ada] Clarify hardening command-line options that requi... commit | commitdiff
2022-07-04 Julien Bortolussi[Ada] Add a RM entry for the functional infinite sequences commit | commitdiff
2022-07-04 Claire Dross[Ada] Update the documentation of functional containers commit | commitdiff
2022-07-04 Eric Botcazou[Ada] Adjust description of Pure_Function pragma commit | commitdiff
2022-06-01 Alexandre Oliva[Ada] Note that hardening features are experimental commit | commitdiff
2022-05-30 Piotr Trojanek[Ada] Remove repeated description of support for Addres... commit | commitdiff
2022-05-30 Alexandre Oliva[Ada] Tweaks to hardening docs commit | commitdiff
2022-05-18 Eric Botcazou[Ada] Fast implementation of floating-point mathematica... commit | commitdiff
2022-05-17 Dmitriy Anisimkov[Ada] Generic binary search implementation commit | commitdiff
2022-05-17 Piotr Trojanek[Ada] Fix documentation of using attribute Loop_Entry... commit | commitdiff
2022-05-13 Alexandre Oliva[Ada] Extend hardcfr testing (documentation) commit | commitdiff
2022-05-13 Etienne Servais[Ada] Fix code example on representation clause commit | commitdiff
2022-05-13 Alexandre Oliva[Ada] Document control flow redundancy commit | commitdiff
2022-05-12 Alexandre Oliva[Ada] Introduce hardbool Machine_Attribute for Ada 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 Marc Poulhiès[Ada] New No_Local_Tagged_Types restriction 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 implementation-defin... 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-11 Steve Baird[Ada] Properly reject unsupported address specifications commit | commitdiff
2022-05-10 Kévin Le Gouguec[Ada] Fix a couple of typos 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-06 Bob Duff[Ada] New restriction No_Tagged_Type_Registration commit | commitdiff
2022-01-05 Marc Poulhiès[Ada] Remove Compiler_Unit[_Warning] pragmas commit | commitdiff
2022-01-03 Jakub JelinekUpdate copyright dates. commit | commitdiff
2021-12-28 Martin Liskadocs: replace http:// with https:// commit | commitdiff
2021-12-02 Piotr Trojanek[Ada] Cleanups related to expansion of dispatching... commit | commitdiff
2021-12-01 Gary Dismukes[Ada] Allow formal functions to have a default in the... commit | commitdiff
2021-12-01 Piotr Trojanek[Ada] Document System.Atomic_Counters as supported... commit | commitdiff
2021-11-09 Alexandre Oliva[Ada] Improve integration of strub with type systems commit | commitdiff
2021-10-25 Steve Baird[Ada] Relax INOX restrictions when casing on composite... commit | commitdiff
2021-10-05 Alexandre Oliva[Ada] introduce stack scrub (strub) feature commit | commitdiff
2021-10-05 Etienne Servais[Ada] Forbids use of Compile_Time_(Error|Warning) as... commit | commitdiff
2021-10-04 Justin Squirek[Ada] Incremental patch for restriction No_Dynamic_Acce... commit | commitdiff
2021-10-01 Eric Botcazou[Ada] Document rounding mode assumed for dynamic floati... commit | commitdiff
2021-09-23 Steve Baird[Ada] Update "Implementation Defined Characteristics... 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-09 Eric Botcazou[Ada] Add paragraph about representation changes and... commit | commitdiff
2021-07-06 Gary Dismukes[Ada] Support for Object.Op subprogram-call notation... commit | commitdiff
2021-07-06 Steve Baird[Ada] Add GNAT RM text regarding Ada 2022 default Put_I... commit | commitdiff
2021-07-05 Pierre-Marie de... [Ada] Regenerate *.texi files with Sphinx 4.0.2 commit | commitdiff
2021-06-21 Justin Squirek[Ada] INOX: prototype "when" constructs commit | commitdiff
2021-06-21 Bob Duff[Ada] Implement 'Valid_Value attribute commit | commitdiff
next
GNU Compiler Collection
This page took 0.958238 seconds and 7 git commands to generate.