git.libre-soc.org Git - gcc.git/search

2019-07-04	Yannick Moy	[Ada] Skip code not in SPARK for ownership analysis	commit \| commitdiff \| tree
2019-07-04	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-04	Yannick Moy	[Ada] Better error messages for ownership errors in...	commit \| commitdiff \| tree
2019-07-04	Arnaud Charlet	[Ada] CCG: reduce generated temporaries	commit \| commitdiff \| tree
2019-07-04	Piotr Trojanek	[Ada] Keep assertions in internal units enabled for...	commit \| commitdiff \| tree
2019-07-04	Arnaud Charlet	[Ada] CCG: restrict folding for boolean tests	commit \| commitdiff \| tree
2019-07-04	Arnaud Charlet	[Ada] Reduce emitted code size in CCG for aggregate...	commit \| commitdiff \| tree
2019-07-04	Dmitriy Anisimkov	[Ada] GNAT.Sockets: fix socket timeout on recent Windows...	commit \| commitdiff \| tree
2019-07-04	Thomas Quinot	[Ada] Get_Scos: Remove bogus, dead code	commit \| commitdiff \| tree
2019-07-04	Ed Schonberg	[Ada] Spurious dimensionality error on aggregate with...	commit \| commitdiff \| tree
2019-07-03	Bob Duff	[Ada] Document new flags in GNATpp	commit \| commitdiff \| tree
2019-07-03	Hristian Kirtchev	[Ada] Forced elaboration order in Elaboration order...	commit \| commitdiff \| tree
2019-07-03	Bob Duff	[Ada] Crash on anonymous access-to-class-wide with...	commit \| commitdiff \| tree
2019-07-03	Yannick Moy	[Ada] Suppress warnings in generic instantiations with...	commit \| commitdiff \| tree
2019-07-03	Johannes Kanig	[Ada] New routine to access file on command line	commit \| commitdiff \| tree
2019-07-03	Ed Schonberg	[Ada] Crash on front-end inlining of subp. with aspect...	commit \| commitdiff \| tree
2019-07-03	Justin Squirek	[Ada] Incorrect expansion on renamings of formal parameters	commit \| commitdiff \| tree
2019-07-03	Yannick Moy	[Ada] Refine pointer support in SPARK	commit \| commitdiff \| tree
2019-07-03	Hristian Kirtchev	[Ada] Spurious visibility error in inlined function	commit \| commitdiff \| tree
2019-07-03	Gary Dismukes	[Ada] Minor editorial corrections and reformatting	commit \| commitdiff \| tree
2019-07-03	Bob Duff	[Ada] Improve warnings about infinite loops	commit \| commitdiff \| tree
2019-07-03	Bob Duff	[Ada] Document default new-line behavior for GNATpp	commit \| commitdiff \| tree
2019-07-03	Hristian Kirtchev	[Ada] ABE checks v3.0, foundations of Elaboration order...	commit \| commitdiff \| tree
2019-07-03	Yannick Moy	[Ada] SPARK pointer support extended to local borrowers...	commit \| commitdiff \| tree
2019-07-03	Ed Schonberg	[Ada] Spurious error with static predicate in generic...	commit \| commitdiff \| tree
2019-07-03	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-03	Bob Duff	[Ada] Style check for mixed-case identifiers	commit \| commitdiff \| tree
2019-07-03	Eric Botcazou	[Ada] Extend -gnatw.z warning to array types	commit \| commitdiff \| tree
2019-07-03	Bob Duff	[Ada] Spell "laid" correctly	commit \| commitdiff \| tree
2019-07-03	Ed Schonberg	[Ada] Spurious error on dynamic predicate in a generic...	commit \| commitdiff \| tree
2019-07-03	Eric Botcazou	[Ada] Fix bogus error on array with overaligned scalar...	commit \| commitdiff \| tree
2019-07-03	Ed Schonberg	[Ada] Make loop labels unique for front-end inlined...	commit \| commitdiff \| tree
2019-07-03	Hristian Kirtchev	[Ada] Update the section on resolving elaboration circularities	commit \| commitdiff \| tree
2019-07-03	Arnaud Charlet	[Ada] Add a gnatbind option to generate C code	commit \| commitdiff \| tree
2019-07-03	Arnaud Charlet	[Ada] Do not consider inlined subprograms when generating...	commit \| commitdiff \| tree
2019-07-03	Justin Squirek	[Ada] Missing consistency check for constant modifier	commit \| commitdiff \| tree
2019-07-03	Arnaud Charlet	[Ada] Clarify wording on documentation for No_Multiple_Elabo...	commit \| commitdiff \| tree
2019-07-03	Ed Schonberg	[Ada] Spurious error on predicate of subtype in generic	commit \| commitdiff \| tree
2019-07-03	Eric Botcazou	[Ada] Document that boolean types with convention C...	commit \| commitdiff \| tree
2019-07-03	Javier Miranda	[Ada] Exp_Attr: remove dead code	commit \| commitdiff \| tree
2019-07-01	Ed Schonberg	[Ada] Spurious error on inst. of partially defaulted...	commit \| commitdiff \| tree
2019-07-01	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-01	Ed Schonberg	[Ada] More permissive use of GNAT attribute Enum_Rep	commit \| commitdiff \| tree
2019-07-01	Eric Botcazou	[Ada] Make No_Inline pragma effective for generic subprograms	commit \| commitdiff \| tree
2019-07-01	Ed Schonberg	[Ada] Spurious error private subtype derivation	commit \| commitdiff \| tree
2019-07-01	Yannick Moy	[Ada] SPARK support for pointers through ownership	commit \| commitdiff \| tree
2019-07-01	Dmitriy Anisimkov	[Ada] GNAT.Sockets: refactor Has_Sockaddr_Len	commit \| commitdiff \| tree
2019-07-01	Ed Schonberg	[Ada] Crash on improper pragma Weak_External	commit \| commitdiff \| tree
2019-07-01	Piotr Trojanek	[Ada] Remove a SPARK rule about implicit Global	commit \| commitdiff \| tree
2019-07-01	Piotr Trojanek	[Ada] Cleanup references to LynuxWorks in docs and...	commit \| commitdiff \| tree
2019-07-01	Ed Schonberg	[Ada] Wrong code with -gnatVa on lock-free protected...	commit \| commitdiff \| tree
2019-07-01	Eric Botcazou	[Ada] Make No_Inline pragma effective for protected...	commit \| commitdiff \| tree
2019-07-01	Ed Schonberg	[Ada] Unnesting: improve handling of private and incomplete...	commit \| commitdiff \| tree
2019-07-01	Pat Rogers	[Ada] Correct size in representation clauses documentation	commit \| commitdiff \| tree
2019-07-01	Justin Squirek	[Ada] Incorrect definition of Win32 compatible types	commit \| commitdiff \| tree
2019-07-01	Bob Duff	[Ada] gprbuild fails to find ghost ALI files	commit \| commitdiff \| tree
2019-07-01	Yannick Moy	[Ada] Improve error message on mult/div between fixed...	commit \| commitdiff \| tree
2019-07-01	Piotr Trojanek	[Ada] Revert "Global => null" on calendar routines...	commit \| commitdiff \| tree
2019-07-01	Piotr Trojanek	[Ada] Fix "componant" typos in comments	commit \| commitdiff \| tree
2019-07-01	Hristian Kirtchev	[Ada] Clean up of GNAT.Graphs	commit \| commitdiff \| tree
2019-07-01	Hristian Kirtchev	[Ada] Clean up of GNAT.Sets	commit \| commitdiff \| tree
2019-07-01	Hristian Kirtchev	[Ada] Clean up of GNAT.Lists	commit \| commitdiff \| tree
2019-07-01	Hristian Kirtchev	[Ada] Clean up of GNAT.Dynamic_HTables	commit \| commitdiff \| tree
2019-07-01	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-01	Javier Miranda	[Ada] Disable expansion of 'Min/'Max of floating point...	commit \| commitdiff \| tree
2019-07-01	Hristian Kirtchev	[Ada] Implement GNAT.Graphs	commit \| commitdiff \| tree
2019-07-01	Dmitriy Anisimkov	[Ada] GNAT.Sockets: fix Get_Address when AF_INET6 is...	commit \| commitdiff \| tree
2019-07-01	Ed Schonberg	[Ada] Compiler abort on use of Invalid_Value on numeric...	commit \| commitdiff \| tree
2019-07-01	Hristian Kirtchev	[Ada] Crash due to missing freeze nodes in transient...	commit \| commitdiff \| tree
2019-07-01	Pierre-Marie de...	[Ada] Fix formatting issues in the gnat_ugn documentation 2019-07-01 Pierre-Marie de Rodat <derodat@adacore.com>	commit \| commitdiff \| tree
2019-03-22	Pierre-Marie de...	[Ada] GNAT.Sockets: fix recent regressions	commit \| commitdiff \| tree
2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	commit \| commitdiff \| tree
2019-01-08	Justin Squirek	[Ada] Revert recent changes in the generation of deps...	commit \| commitdiff \| tree
2018-12-11	Piotr Trojanek	[Ada] Add "Global => null" contracts to Ada.Calendar...	commit \| commitdiff \| tree
2018-12-11	Hristian Kirtchev	[Ada] Spurious error with pragma Thread_Local_Storage	commit \| commitdiff \| tree
2018-12-11	Dmitriy Anisimkov	[Ada] GNAT.Sockets: add IPv6 support	commit \| commitdiff \| tree
2018-12-11	Yannick Moy	[Ada] Do not expand code inside ignored ghost bodies	commit \| commitdiff \| tree
2018-12-11	Ed Schonberg	[Ada] Unnesting: do not eliminate subprogram whose...	commit \| commitdiff \| tree
2018-12-11	Ed Schonberg	[Ada] Crash on misplaced First operation for GNAT iterable...	commit \| commitdiff \| tree
2018-12-11	Hristian Kirtchev	[Ada] Volatility, validity checks, and System.Aux_DEC	commit \| commitdiff \| tree
2018-12-11	Yannick Moy	[Ada] Improve error message when named number passed...	commit \| commitdiff \| tree
2018-12-11	Ed Schonberg	[Ada] Unnesting: fix a missing activation record	commit \| commitdiff \| tree
2018-12-11	Arnaud Charlet	[Ada] Unnesting: ensure Current_Subprogram is always...	commit \| commitdiff \| tree
2018-12-11	Eric Botcazou	[Ada] Fix -gnatR3 output for dynamically constrained...	commit \| commitdiff \| tree
2018-12-11	Ed Schonberg	[Ada] Fix setting of Has_Predicate flag for aggregate...	commit \| commitdiff \| tree
2018-12-11	Eric Botcazou	[Ada] Plug small loophole with pathological packed...	commit \| commitdiff \| tree
2018-12-11	Eric Botcazou	[Ada] Fix elaboration of record with 1-element dynamic...	commit \| commitdiff \| tree
2018-12-11	Bob Duff	[Ada] gnatbind: ghost code with -gnatQ	commit \| commitdiff \| tree
2018-12-11	Ed Schonberg	[Ada] Unnesting: fix for constrained arrays and improve...	commit \| commitdiff \| tree
2018-12-11	Ed Schonberg	[Ada] Missing predicate check on declaration with aggregate...	commit \| commitdiff \| tree
2018-12-11	Hristian Kirtchev	[Ada] Crash on generic instantiation in ignored Ghost...	commit \| commitdiff \| tree
2018-12-11	Ed Schonberg	[Ada] Uintp: add a new UI_From_Integral generic constructor	commit \| commitdiff \| tree
2018-12-11	Ed Schonberg	[Ada] Crash on compilation unit function that builds...	commit \| commitdiff \| tree
2018-12-11	Dmitriy Anisimkov	[Ada] GNAT.Sockets: fix timeout computations for sockets	commit \| commitdiff \| tree
2018-12-11	Gary Dismukes	[Ada] Minor reformattings	commit \| commitdiff \| tree
2018-12-11	Hristian Kirtchev	[Ada] Crash on ignored Ghost expression function	commit \| commitdiff \| tree
2018-12-11	Jerome Lambourg	[Ada] Remove vxlink and vxaddr2line from this repository	commit \| commitdiff \| tree
2018-12-11	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2018-12-11	Eric Botcazou	[Ada] Complete implementation of RM C.6(19) clause	commit \| commitdiff \| tree
2018-12-11	Piotr Trojanek	[Ada] Stubs that complete generic subprogram do have...	commit \| commitdiff \| tree
next

RSS Atom