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

2020-11-25	Piotr Trojanek	[Ada] Simplify Ekind tests with wrappers and membership...	commit \| commitdiff \| tree
2020-11-25	Piotr Trojanek	[Ada] Simplify Is_Standard_xxx_Type routines with membership...	commit \| commitdiff \| tree
2020-11-25	Piotr Trojanek	[Ada] Consistently use explicit Entity_Id type instead...	commit \| commitdiff \| tree
2020-11-25	Steve Baird	[Ada] Don't constant-fold renamed qualified expressions	commit \| commitdiff \| tree
2020-11-25	Piotr Trojanek	[Ada] Remove dead and duplicated diagnostics for generic...	commit \| commitdiff \| tree
2020-11-25	Gary Dismukes	[Ada] Remove hyphens in two cases of "side-effect"...	commit \| commitdiff \| tree
2020-11-25	Justin Squirek	[Ada] Crash on right shift operator for signed integers	commit \| commitdiff \| tree
2020-11-25	Olivier Hainque	[Ada] Reinstate utime based code for vx6 in __gnat_copy_attribs	commit \| commitdiff \| tree
2020-11-25	Yannick Moy	[Ada] Minimize side-effect removal in GNATprove mode	commit \| commitdiff \| tree
2020-11-25	Eric Botcazou	[Ada] Adjust support for 128-bit integer types in System...	commit \| commitdiff \| tree
2020-11-25	Yannick Moy	[Ada] Fix internal compilation error on circular type...	commit \| commitdiff \| tree
2020-11-25	Eric Botcazou	[Ada] Add support for 128-bit integer types to GNAT...	commit \| commitdiff \| tree
2020-11-25	Arnaud Charlet	[Ada] Allow debugging finalization-related expanded...	commit \| commitdiff \| tree
2020-11-25	Liaiss Merzougue	[Ada] Unrecursify Set_Digit/Set_Image_Unsigned procedure	commit \| commitdiff \| tree
2020-11-25	Piotr Trojanek	[Ada] Remove repeated calls to Attribute_Name	commit \| commitdiff \| tree
2020-11-25	Ghjuvan Lacambre	[Ada] Fix crash on invalid `pragma Profile`	commit \| commitdiff \| tree
2020-11-25	Piotr Trojanek	[Ada] Reuse Is_Named_Number where possible	commit \| commitdiff \| tree
2020-11-25	Piotr Trojanek	[Ada] Fix style and typos in code for expanding attribute...	commit \| commitdiff \| tree
2020-11-25	Piotr Trojanek	[Ada] Minor refine type of a counter variable	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Fix inconsistent parameter of SPARK_Msg_NE	commit \| commitdiff \| tree
2020-11-24	Arnaud Charlet	[Ada] Cannot process -S -o with GNAT LLVM	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Reuse Is_Packed_Array where possible	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Fix minor typos in comments	commit \| commitdiff \| tree
2020-11-24	Justin Squirek	[Ada] Compiler crash on assertion pragma in ghost region	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Reuse In_Same_List where possible	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Simplify Is_Loop_Pragma	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Replace chained if-then-elsif with case stmt...	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Cleanup expansion of attribute Constrained	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Recognize delta and extension aggregates as objects	commit \| commitdiff \| tree
2020-11-24	Ghjuvan Lacambre	[Ada] Implement No_Unrecognized_{Aspects,Pragmas} restrictions	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Accept local objects in the prefix of attribute...	commit \| commitdiff \| tree
2020-11-24	Yannick Moy	[Ada] Fix crash in GNATprove on inlined subprogram...	commit \| commitdiff \| tree
2020-11-24	Arnaud Charlet	[Ada] Wrong resolution of universal_access = operators	commit \| commitdiff \| tree
2020-11-24	Arnaud Charlet	[Ada] Premature finalization on build in place return...	commit \| commitdiff \| tree
2020-11-24	Eric Botcazou	[Ada] Small cleanup in the Ada.Text_IO hierarchy	commit \| commitdiff \| tree
2020-11-24	Arnaud Charlet	[Ada] AI12-0394 Named Numbers and User-Defined Numeric...	commit \| commitdiff \| tree
2020-11-24	Eric Botcazou	[Ada] Fix internal error on multiple nested instantiations	commit \| commitdiff \| tree
2020-11-24	Steve Baird	[Ada] Fix String_Literal aspect spec checking problem...	commit \| commitdiff \| tree
2020-11-24	Yannick Moy	[Ada] Handle correctly current instance of PO in local...	commit \| commitdiff \| tree
2020-11-24	Ghjuvan Lacambre	[Ada] Documentation: update -gnatyk description	commit \| commitdiff \| tree
2020-11-24	Yannick Moy	[Ada] Fix spurious error on child library-level subprogram...	commit \| commitdiff \| tree
2020-11-24	Arnaud Charlet	[Ada] Wrong finalization in call with if expression	commit \| commitdiff \| tree
2020-11-24	Arnaud Charlet	[Ada] Implement Big_Integer.From_String fully	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Fix resolution of subtype_indication in delta...	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Use high-level Present instead of low-level equality...	commit \| commitdiff \| tree
2020-11-24	Yannick Moy	[Ada] Reject Global/Depends contracts on null procedures	commit \| commitdiff \| tree
2020-11-24	Arnaud Charlet	[Ada] Wrong handling of _ in Big_Reals.From_String	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Remove SPARK-specific expansion of array aggregates	commit \| commitdiff \| tree
2020-11-24	Eric Botcazou	[Ada] Document characteristics of decimal fixed point...	commit \| commitdiff \| tree
2020-10-27	Doug Rupp	[Ada] vx7r2cert: port ARM, PowerPC and x86 targets	commit \| commitdiff \| tree
2020-10-27	Arnaud Charlet	[Ada] Warnings on g-spogwa.adb	commit \| commitdiff \| tree
2020-10-27	Piotr Trojanek	[Ada] Fix GNATprove support for iterated_component_associations	commit \| commitdiff \| tree
2020-10-27	Ed Schonberg	[Ada] Multidimensional arrays with Iterated_Component_Associ...	commit \| commitdiff \| tree
2020-10-27	Ghjuvan Lacambre	[Ada] CUDA: handle parameter associations in expansion...	commit \| commitdiff \| tree
2020-10-27	Eric Botcazou	[Ada] Remove Digits_From_Size and Width_From_Size	commit \| commitdiff \| tree
2020-10-27	Arnaud Charlet	[Ada] New flag Transform_Function_Array	commit \| commitdiff \| tree
2020-10-27	Dmitriy Anisimkov	[Ada] Improve EINTR error handling on "poll" system...	commit \| commitdiff \| tree
2020-10-26	Ed Schonberg	[Ada] Handle Iterated_Component_Association with Others_Choice	commit \| commitdiff \| tree
2020-10-26	Eric Botcazou	[Ada] Further small edition to documentation of Ada...	commit \| commitdiff \| tree
2020-10-26	Pat Rogers	[Ada] Replace GNAT_Extended_Ravenscar profile name	commit \| commitdiff \| tree
2020-10-26	Bob Duff	[Ada] Avoid crash on use of Ada 2020 feature	commit \| commitdiff \| tree
2020-10-26	Eric Botcazou	[Ada] Further small edition to documentation of Ada...	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix freezing of previous contracts	commit \| commitdiff \| tree
2020-10-26	Eric Botcazou	[Ada] Another small edition to documentation of Ada...	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix harmless assertion failure in GNATprove mode	commit \| commitdiff \| tree
2020-10-26	Eric Botcazou	[Ada] Document characteristics of ordinary fixed point...	commit \| commitdiff \| tree
2020-10-26	Eric Botcazou	[Ada] Relax assertion on Small in Ada.Text_IO.Fixed_IO	commit \| commitdiff \| tree
2020-10-26	Dmitriy Anisimkov	[Ada] Fix Accept_Socket and Connect_Socket timeout...	commit \| commitdiff \| tree
2020-10-26	Eric Botcazou	[Ada] Minor editions to documentation of Ada.Text_IO...	commit \| commitdiff \| tree
2020-10-26	Yannick Moy	[Ada] Fix GNATprove crash on generics with access types	commit \| commitdiff \| tree
2020-10-26	Arnaud Charlet	[Ada] Suppress warnings on unreferenced parameters...	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix typos in error message for array delta aggregates	commit \| commitdiff \| tree
2020-10-26	Olivier Hainque	[Ada] Restore hex addresses and improve symbolic backtraces	commit \| commitdiff \| tree
2020-10-26	Doug Rupp	[Ada] x86-lynx178elf - gcc build fails	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix interference between iterated element-and...	commit \| commitdiff \| tree
2020-10-26	Yannick Moy	[Ada] Do not instantiate generic bodies outside of...	commit \| commitdiff \| tree
2020-10-26	Ed Schonberg	[Ada] Spurious error on Old attribute reference in...	commit \| commitdiff \| tree
2020-10-26	Bob Duff	[Ada] gnatpp: Document that --no-comments-fill is now...	commit \| commitdiff \| tree
2020-10-26	Gary Dismukes	[Ada] Missing errors on extension aggregates with unknown...	commit \| commitdiff \| tree
2020-10-26	Bob Duff	[Ada] Delete: set Position to No_Element	commit \| commitdiff \| tree
2020-10-26	Arnaud Charlet	[Ada] Improve error on missing with clause	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix SPARK expansion of iterated_component_assoc...	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Cleanup SPARK expansion of aggregates with iterated_co...	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix typos in comments about parsing iterated_component...	commit \| commitdiff \| tree
2020-10-26	Arnaud Charlet	[Ada] AI12-0395: Allow aspect_specifications on formal...	commit \| commitdiff \| tree
2020-10-26	Ed Schonberg	[Ada] Crash on membership test in expression function	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Handle subtype_indication in 'Update for arrays	commit \| commitdiff \| tree
2020-10-23	Dmitriy Anisimkov	[Ada] Sockets.Poll implementation	commit \| commitdiff \| tree
2020-10-23	Justin Squirek	[Ada] Further Ada 2020 work on accessibility checking	commit \| commitdiff \| tree
2020-10-23	Bob Duff	[Ada] gnatpp: Document --no-comments-fill	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Reject illegal syntax in pragma Contract_Cases	commit \| commitdiff \| tree
2020-10-23	Philippe Gil	[Ada] GNAT.Sockets: fix comment typo	commit \| commitdiff \| tree
2020-10-23	Eric Botcazou	[Ada] Implement new legality rules introduced in C...	commit \| commitdiff \| tree
2020-10-23	Arnaud Charlet	[Ada] Clean up in writing of ALI files	commit \| commitdiff \| tree
2020-10-23	Arnaud Charlet	[Ada] Fix logic in C_Select under mingw	commit \| commitdiff \| tree
2020-10-23	Eric Botcazou	[Ada] Do not use Long_Long_Long_Integer'Image with...	commit \| commitdiff \| tree
2020-10-23	Ed Schonberg	[Ada] Crash on expression function and access type	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Fix crash in SPARK on array delta_aggregate with...	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Decorate iterated_component_association in SPARK...	commit \| commitdiff \| tree
2020-10-23	Johannes Kanig	[Ada] GNATprove: remove support for external axiomatizations	commit \| commitdiff \| tree
next

RSS Atom