git.ipfire.org Git - thirdparty/gcc.git/search

]> git.ipfire.org Git - thirdparty/gcc.git/search

projects / thirdparty / gcc.git / search

2019-07-01	pmderodat	[Ada] Spurious error on inst. of partially defaulted...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] More permissive use of GNAT attribute Enum_Rep	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Make No_Inline pragma effective for generic subprograms	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Spurious error private subtype derivation	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] SPARK support for pointers through ownership	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] GNAT.Sockets: refactor Has_Sockaddr_Len	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Crash on improper pragma Weak_External	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Remove a SPARK rule about implicit Global	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Cleanup references to LynuxWorks in docs and...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Wrong code with -gnatVa on lock-free protected...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Make No_Inline pragma effective for protected...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Unnesting: improve handling of private and incomplete...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Correct size in representation clauses documentation	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Incorrect definition of Win32 compatible types	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] gprbuild fails to find ghost ALI files	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Improve error message on mult/div between fixed...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Revert "Global => null" on calendar routines...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Fix "componant" typos in comments	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Clean up of GNAT.Graphs	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Clean up of GNAT.Sets	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Clean up of GNAT.Lists	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Clean up of GNAT.Dynamic_HTables	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Disable expansion of 'Min/'Max of floating point...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Implement GNAT.Graphs	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] GNAT.Sockets: fix Get_Address when AF_INET6 is...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Compiler abort on use of Invalid_Value on numeric...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Crash due to missing freeze nodes in transient...	commit \| commitdiff \| tree
2019-07-01	pmderodat	[Ada] Fix formatting issues in the gnat_ugn documentation	commit \| commitdiff \| tree
2019-03-22	pmderodat	[Ada] GNAT.Sockets: fix recent regressions	commit \| commitdiff \| tree
2019-01-08	pmderodat	[Ada] Bump copyright years to 2019	commit \| commitdiff \| tree
2019-01-08	pmderodat	[Ada] Revert recent changes in the generation of deps...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Add "Global => null" contracts to Ada.Calendar...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Spurious error with pragma Thread_Local_Storage	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] GNAT.Sockets: add IPv6 support	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Do not expand code inside ignored ghost bodies	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Unnesting: do not eliminate subprogram whose...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on misplaced First operation for GNAT iterable...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Volatility, validity checks, and System.Aux_DEC	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Improve error message when named number passed...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Unnesting: fix a missing activation record	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Unnesting: ensure Current_Subprogram is always...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix -gnatR3 output for dynamically constrained...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix setting of Has_Predicate flag for aggregate...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Plug small loophole with pathological packed...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix elaboration of record with 1-element dynamic...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] gnatbind: ghost code with -gnatQ	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Unnesting: fix for constrained arrays and improve...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Missing predicate check on declaration with aggregate...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on generic instantiation in ignored Ghost...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Uintp: add a new UI_From_Integral generic constructor	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on compilation unit function that builds...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] GNAT.Sockets: fix timeout computations for sockets	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Minor reformattings	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on ignored Ghost expression function	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Remove vxlink and vxaddr2line from this repository	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Complete implementation of RM C.6(19) clause	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Stubs that complete generic subprogram do have...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] GNATprove: improve proofs for uninitialized constraine...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Support access types in GNATprove	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Better error message from GNATprove on illegal...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix runtime stack overflow for out/in-out actuals...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Additionsal trasformations for unnesting in package...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Remove vxworks*-crtbe-link.spec	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Spurious visibility error on aspect Predicate	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix an ICE on instantiated subprogram with -gnatc	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Update gnatmetric documentation for the Libadalang...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Fix an ACATS regression with CCG	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Update gnatstub documentation for the Libadalang...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Spurious errors on aspect specifications in generic...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Document the -fgnat-encodings switch	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Crash on nesting of subunits with bodies acting...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Suppress call to Initial_Condition when the annotation...	commit \| commitdiff \| tree
2018-12-11	pmderodat	[Ada] Almost always inline init. procedure of small...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fixes for various wrong and missing error messages...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Spurious error on dependent expression that is...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Add leap seconds for 2015 and 2016	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Spelling fixes and minor reformatting	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fix recent regression on array aggregate with...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fix internal error on package instantiation on...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fix problematic overloading of operator in Ada...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] A task not executing an entry call consumes an...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Fix assertion failures with -gnatde and -gnatdv	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Minor reformattings	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Enhance comment	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Gigi support for OpenACC pragmas	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT...	commit \| commitdiff \| tree
2018-12-03	pmderodat	[Ada] Missing check on if-expression	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Problem with boundary case of XOR operation and...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Update signal constants for GNU/Linux	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Fix small regression with others choice in array...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] sigtramp-vxworks: Add a rule for sp (DWARF r31...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Remove couple of recently added dead tests	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Spurious error on Ghost null procedure	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] More complete information level for -gnatR output	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Crash on interface equality covered by a renaming...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Use of Suppress_Initialization with pragma Thread_Loca...	commit \| commitdiff \| tree
2018-11-14	pmderodat	[Ada] Missing constraint check on if-expression returning...	commit \| commitdiff \| tree
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom