gcc.gnu.org Git - gcc.git/search

]> gcc.gnu.org Git - gcc.git/search

2022-05-16	Etienne Servais	[Ada] Freeze target type on qualified expression expansion	commit \| commitdiff \| tree
2022-05-16	Yannick Moy	[Ada] Fix proof of double arithmetic units	commit \| commitdiff \| tree
2022-05-16	Ghjuvan Lacambre	[Ada] Don't crash on ghost packages when emitting CUDA...	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] GNAT.Debug_Pools: Improve documentation of the...	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] sigaction result not properly checked in __gnat_instal...	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] Fix thinko in QNX's implementation of __gnat_install_h...	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] Add <stdlib.h> #include in cstreams.c	commit \| commitdiff \| tree
2022-05-16	Joel Brobecker	[Ada] replace call to bzero in terminals.c by call...	commit \| commitdiff \| tree
2022-05-16	Gary Dismukes	[Ada] Revise Storage_Model_Support operations to do...	commit \| commitdiff \| tree
2022-05-16	Etienne Servais	[Ada] Handle case-expression inside if-expression in...	commit \| commitdiff \| tree
2022-05-16	Yannick Moy	[Ada] Update comment justifying non-inlining for proof...	commit \| commitdiff \| tree
2022-05-16	Marc Poulhiès	[Ada] Fix iterated element association loop var escaping...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix internal error on iterated array aggregate	commit \| commitdiff \| tree
2022-05-16	Javier Miranda	[Ada] Accept calls to abstract subprograms in class...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix internal error on mix of controlled and protected...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix internal error on predicate aspect with iterator	commit \| commitdiff \| tree
2022-05-16	Steve Baird	[Ada] Implement component finalization ordering rules...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix implementation issues with equality for untagged...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Remove duplicated detection of user-defined equality	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Improve building of untagged equality	commit \| commitdiff \| tree
2022-05-16	Olivier Hainque	[Ada] Map gnatlib-shared to gnatlib-shared-dual for...	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Couple of small consistency tweaks	commit \| commitdiff \| tree
2022-05-16	Eric Botcazou	[Ada] Fix spurious error on limited view with incomplete...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Pick volatile refinement property of a subtype...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Clarify code for detecting volatile refinement...	commit \| commitdiff \| tree
2022-05-16	Piotr Trojanek	[Ada] Remove duplicated code for detecting enabled...	commit \| commitdiff \| tree
2022-05-13	Eric Botcazou	[Ada] Fix incorrect call to inherited function with...	commit \| commitdiff \| tree
2022-05-13	Gary Dismukes	[Ada] Storage_Model_Object fails to return object entity	commit \| commitdiff \| tree
2022-05-13	Javier Miranda	[Ada] Compiler crash on -gnata -O2	commit \| commitdiff \| tree
2022-05-13	Arnaud Charlet	[Ada] Only use alternate stack when needed	commit \| commitdiff \| tree
2022-05-13	Alexandre Oliva	[Ada] Extend hardcfr testing (documentation)	commit \| commitdiff \| tree
2022-05-13	Ghjuvan Lacambre	[Ada] CUDA: use binder to generate kernel-registration...	commit \| commitdiff \| tree
2022-05-13	Marc Poulhiès	[Ada] Fix iterated component association for array...	commit \| commitdiff \| tree
2022-05-13	Yannick Moy	[Ada] Simplify helper units for formal hashed sets...	commit \| commitdiff \| tree
2022-05-13	Yannick Moy	[Ada] Adapt body of formal sets and maps for SPARK	commit \| commitdiff \| tree
2022-05-13	Yannick Moy	[Ada] Remove dependency on tampering checks and controlled...	commit \| commitdiff \| tree
2022-05-13	Javier Miranda	[Ada] Ada ABI change when building with assertions	commit \| commitdiff \| tree
2022-05-13	Johannes Kanig	[Ada] Take into account GNSA_ROOT env var for prefix	commit \| commitdiff \| tree
2022-05-13	Steve Baird	[Ada] Implement late initialization rules for type...	commit \| commitdiff \| tree
2022-05-13	Ed Schonberg	[Ada] Handle IN iterator for class-wide derived object...	commit \| commitdiff \| tree
2022-05-13	Yannick Moy	[Ada] Facilitate proof of Overwrite in bounded strings...	commit \| commitdiff \| tree
2022-05-13	Etienne Servais	[Ada] Fix code example on representation clause	commit \| commitdiff \| tree
2022-05-13	Eric Botcazou	[Ada] Do not overwrite limited view of result type	commit \| commitdiff \| tree
2022-05-13	Javier Miranda	[Ada] Wrong address for class-wide interface access...	commit \| commitdiff \| tree
2022-05-13	Javier Miranda	[Ada] Crash in task body reference to discriminant	commit \| commitdiff \| tree
2022-05-13	Justin Squirek	[Ada] Improve expected type error messages	commit \| commitdiff \| tree
2022-05-13	Alexandre Oliva	[Ada] Document control flow redundancy	commit \| commitdiff \| tree
2022-05-13	Eric Botcazou	[Ada] Fix compiler crash on FOR iteration scheme over...	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Remove obsolete uses of Unchecked_Conversion...	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Remove obsolete uses of Unchecked_Deallocation...	commit \| commitdiff \| tree
2022-05-13	Marc Poulhiès	[Ada] Fix the Ada 2022 iterated component association...	commit \| commitdiff \| tree
2022-05-13	Etienne Servais	[Ada] Fix typo on "that"	commit \| commitdiff \| tree
2022-05-13	Justin Squirek	[Ada] Spurious access error in function returning type...	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Accept effectively volatile components in actuals	commit \| commitdiff \| tree
2022-05-13	Piotr Trojanek	[Ada] Remove redundant guard in checks for volatile...	commit \| commitdiff \| tree
2022-05-13	Justin Squirek	[Ada] Ineffective use type clause warnings cause compile...	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Skip postponed validation checks with compilation...	commit \| commitdiff \| tree
2022-05-12	Arnaud Charlet	[Ada] Fix URL in doc	commit \| commitdiff \| tree
2022-05-12	Bob Duff	[Ada] Restore double quotes in debug printouts	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Reuse collective subtype for comparison operators...	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Remove unreferenced Is_Selector_Name routine	commit \| commitdiff \| tree
2022-05-12	Arnaud Charlet	[Ada] Add more dummy names in Sem_Warn.Has_Junk_Name	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Fix warning about generic subprograms withed...	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Fix warning about generic subprograms withed...	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Remove useless pragma Warnings Off from runtime...	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Do not issue a warning on a postcondition of...	commit \| commitdiff \| tree
2022-05-12	Arnaud Charlet	[Ada] Remove front-end SJLJ processing	commit \| commitdiff \| tree
2022-05-12	Bob Duff	[Ada] Make debug printouts more robust	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Add ghost code to facilitate proof with SPARK	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Remove use of use-clauses in loaded runtime units	commit \| commitdiff \| tree
2022-05-12	Etienne Servais	[Ada] Fix support for ISO-8859-15 and IBM CP 850 encoding	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Remove redundant guard against Any_String	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Accept raise expressions as operands of boolean...	commit \| commitdiff \| tree
2022-05-12	Eric Botcazou	[Ada] Plug loophole in Possible_Type_For_Conditional_Expression	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Adapt CodePeer analysis of GNAT to changes in...	commit \| commitdiff \| tree
2022-05-12	Eric Botcazou	[Ada] Revamp analysis of conditional expressions	commit \| commitdiff \| tree
2022-05-12	Yannick Moy	[Ada] Proof of 'Image support for signed integers	commit \| commitdiff \| tree
2022-05-12	Eric Botcazou	[Ada] Rewrite Sem_Ch4.Find_Boolean_Types	commit \| commitdiff \| tree
2022-05-12	Alexandre Oliva	[Ada] Introduce hardbool Machine_Attribute for Ada	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Fix scope of block in expanded protected entry...	commit \| commitdiff \| tree
2022-05-12	Etienne Servais	[Ada] Fix typo in comment	commit \| commitdiff \| tree
2022-05-12	Marc Poulhiès	[Ada] Fix style checking rule for square brackets in...	commit \| commitdiff \| tree
2022-05-12	Eric Botcazou	[Ada] Fix remaining asymmetry in Specific_Type	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Fix typos in syntax for implementation-defined...	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Reuse generic string hash for invocation signatures	commit \| commitdiff \| tree
2022-05-12	Piotr Trojanek	[Ada] Document Aggregate_Individually_Assign as a configurat...	commit \| commitdiff \| tree
2022-05-11	Yannick Moy	[Ada] Proof of 'Image support for unsigned integers	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Sort Detect_Blocking alphabetically among names...	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix Compile_Time_(Error\|Warning) as non-configuration...	commit \| commitdiff \| tree
2022-05-11	Marc Poulhiès	[Ada] Correctly reject record aggregate using brackets	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix unbalanced paren in documentation marker...	commit \| commitdiff \| tree
2022-05-11	Marc Poulhiès	[Ada] New No_Local_Tagged_Types restriction	commit \| commitdiff \| tree
2022-05-11	Eric Botcazou	[Ada] Fix spurious ambiguity for if_expression containing...	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix style of body header boxes	commit \| commitdiff \| tree
2022-05-11	Etienne Servais	[Ada] Do not create useless itype in Constrain_Access	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Detect infinite loops with operators in exit...	commit \| commitdiff \| tree
2022-05-11	Yannick Moy	[Ada] Adapt proof of System.Arith_Double after update...	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Update categorization of implementation restrictions	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix "S p e c" and "B o d y" file headers	commit \| commitdiff \| tree
2022-05-11	Joao Azevedo	[Ada] Add SUSE 32bit dependency	commit \| commitdiff \| tree
next

GNU Compiler Collection

RSS Atom

This page took 0.071775 seconds and 4 git commands to generate.