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

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

2023-01-03	Eric Botcazou	ada: Fix detection of function calls in object declarations	commit \| commitdiff \| tree
2023-01-03	Bob Duff	ada: Simplify [Small_]Integer_Type_For	commit \| commitdiff \| tree
2023-01-03	Javier Miranda	ada: Cannot reference ghost entity in class-wide precondition	commit \| commitdiff \| tree
2023-01-03	Eric Botcazou	ada: Fix support of Default_Component_Value aspect...	commit \| commitdiff \| tree
2022-12-20	Marc Poulhiès	rust: fix link serialization [PR108113]	commit \| commitdiff \| tree
2022-12-06	Yannick Moy	ada: Allow No_Caching on volatile types	commit \| commitdiff \| tree
2022-12-06	Javier Miranda	ada: Spurious error on nested call using the prefix...	commit \| commitdiff \| tree
2022-12-06	Eric Botcazou	ada: Suppress warning for specific constant valid condition	commit \| commitdiff \| tree
2022-12-06	Eric Botcazou	ada: Fix spurious error in checking of SPARK elaboration	commit \| commitdiff \| tree
2022-12-06	Eric Botcazou	ada: Elide the copy in extended returns for nonlimited...	commit \| commitdiff \| tree
2022-12-06	Eric Botcazou	ada: Small adjustment to special resolution of membership...	commit \| commitdiff \| tree
2022-12-06	Eric Botcazou	ada: Use larger type for membership test of universal...	commit \| commitdiff \| tree
2022-12-06	Justin Squirek	ada: Accessibility code reorganization and bug fixes	commit \| commitdiff \| tree
2022-12-06	Liaiss Merzougue	ada: Add Codepeer Exemption + simplify TO_C code.	commit \| commitdiff \| tree
2022-12-01	Eric Botcazou	ada: Strip conversions for the implementation of storage...	commit \| commitdiff \| tree
2022-12-01	Steve Baird	ada: Enforce Aggregate aspect legality rule	commit \| commitdiff \| tree
2022-12-01	Eric Botcazou	ada: Further adjustments to User's Guide for PIE default	commit \| commitdiff \| tree
2022-12-01	Ronan Desplanques	ada: Fix misphrasing in comment	commit \| commitdiff \| tree
2022-12-01	Gary Dismukes	ada: Use the address type of a Storage_Model_Type for...	commit \| commitdiff \| tree
2022-12-01	Ronan Desplanques	ada: Fix minor issues in reference manual	commit \| commitdiff \| tree
2022-12-01	Josue Nava Bello	ada: Minor updates to gnat/doc configuration	commit \| commitdiff \| tree
2022-11-28	Eric Botcazou	ada: Adjust runtime library and User's Guide to PIE...	commit \| commitdiff \| tree
2022-11-28	Joel Brobecker	ada: doc/share/conf.py: Switch the HTML documentation...	commit \| commitdiff \| tree
2022-11-28	Claire Dross	ada: Annotate GNAT.Source_Info with an abstract state	commit \| commitdiff \| tree
2022-11-28	Eric Botcazou	ada: Fix internal error on conversion as in/out actual...	commit \| commitdiff \| tree
2022-11-28	Eric Botcazou	ada: Add PIE support to backtraces on Linux	commit \| commitdiff \| tree
2022-11-28	Yannick Moy	ada: Implement change to SPARK RM rule on state refinement	commit \| commitdiff \| tree
2022-11-24	Eric Botcazou	ada: Add assertion for the implementation of storage...	commit \| commitdiff \| tree
2022-11-24	Justin Squirek	ada: Spurious error on Lock_Free protected type with...	commit \| commitdiff \| tree
2022-11-22	Piotr Trojanek	ada: Accept aspects Global and Depends on abstract...	commit \| commitdiff \| tree
2022-11-22	Ghjuvan Lacambre	ada: Disable checking of Elab_Spec procedures in CodePeer_Mode	commit \| commitdiff \| tree
2022-11-22	Piotr Trojanek	ada: Adjust number of errors when removing warning...	commit \| commitdiff \| tree
2022-11-22	Eric Botcazou	ada: Fix formatting glitches in Make_Tag_Assignment	commit \| commitdiff \| tree
2022-11-22	Eric Botcazou	ada: Fix recent assertion failure on GPR2	commit \| commitdiff \| tree
2022-11-21	Eric Botcazou	ada: Adjust recent change for returns involving function...	commit \| commitdiff \| tree
2022-11-21	Marc Poulhiès	ada: Do not share Packed Array Type if sizes of types...	commit \| commitdiff \| tree
2022-11-21	Ronan Desplanques	ada: Order pragmas alphabetically in reference manual	commit \| commitdiff \| tree
2022-11-21	Eric Botcazou	ada: Minor tweak in assertion	commit \| commitdiff \| tree
2022-11-21	Steve Baird	ada: Internal compiler error for Sequential Partition_Elabor...	commit \| commitdiff \| tree
2022-11-21	Eric Botcazou	ada: Small cleanup in Expand_N_Object_Declaration	commit \| commitdiff \| tree
2022-11-21	Steve Baird	ada: Ada 2022 Image attribute bugs	commit \| commitdiff \| tree
2022-11-21	Ghjuvan Lacambre	ada: Disable subprogram call validation in CodePeer...	commit \| commitdiff \| tree
2022-11-21	Bob Duff	ada: Move warnings switches	commit \| commitdiff \| tree
2022-11-21	Steve Baird	ada: Improve documentation for -gnatw.h warnings	commit \| commitdiff \| tree
2022-11-21	Marc Poulhiès	ada: Reject nonconfirming Size attribute value for...	commit \| commitdiff \| tree
2022-11-21	Ronan Desplanques	ada: Fix gnatmake's parsing of adc files	commit \| commitdiff \| tree
2022-11-21	Ronan Desplanques	ada: Tweak error messages on misplaced with keywords	commit \| commitdiff \| tree
2022-11-14	Boris Yakobowski	ada: Silence CodePeer false positive	commit \| commitdiff \| tree
2022-11-14	Bob Duff	ada: Remove incorrect comments about initialization	commit \| commitdiff \| tree
2022-11-14	Javier Miranda	ada: Flag unsupported dispatching constructor calls	commit \| commitdiff \| tree
2022-11-14	Alexandre Oliva	ada: hardcfr docs: add optional checkpoints	commit \| commitdiff \| tree
2022-11-14	Gary Dismukes	ada: Crash on applying 'Pos to expression of a type...	commit \| commitdiff \| tree
2022-11-14	Ronan Desplanques	ada: Fix non-capturing parentheses handling	commit \| commitdiff \| tree
2022-11-14	Yannick Moy	ada: Fix error on SPARK_Mode on library-level separate...	commit \| commitdiff \| tree
2022-11-14	Piotr Trojanek	ada: Adjust locations in aspects on generic formal...	commit \| commitdiff \| tree
2022-11-14	Piotr Trojanek	ada: Fix style in code for generic formal subprograms...	commit \| commitdiff \| tree
2022-11-14	Piotr Trojanek	ada: Expand generic formal subprograms with contracts...	commit \| commitdiff \| tree
2022-11-14	Patrick Bernardi	ada: Enable Support_Atomic_Primitives on QNX and RTEMS	commit \| commitdiff \| tree
2022-11-14	Yannick Moy	ada: Improve location of error messages in instantiations	commit \| commitdiff \| tree
2022-11-14	Arnaud Charlet	ada: Remove gnatcheck reference	commit \| commitdiff \| tree
2022-11-08	Eric Botcazou	ada: Fix oversight in implementation of allocators...	commit \| commitdiff \| tree
2022-11-08	Steve Baird	ada: Compile-time simplification of 'Image incorrectly...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Clean up call to check if aspects are present	commit \| commitdiff \| tree
2022-11-08	Ronan Desplanques	ada: Adjust classwide contract expression preanalysis	commit \| commitdiff \| tree
2022-11-08	Johannes Kliemann	ada: Set Support_Atomic_Primitives for VxWorks 7 runtimes	commit \| commitdiff \| tree
2022-11-08	Eric Botcazou	ada: Small consistency fix	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Propagate aspect Ghost when instantiating null...	commit \| commitdiff \| tree
2022-11-08	Eric Botcazou	ada: Implement RM 4.5.7(10/3) name resolution rule	commit \| commitdiff \| tree
2022-11-08	Javier Miranda	ada: Enforce matching of extra formals	commit \| commitdiff \| tree
2022-11-08	Bob Duff	ada: Move warnings switches -- initial work	commit \| commitdiff \| tree
2022-11-08	Ronan Desplanques	ada: Align -gnatwc's documentation with its behavior	commit \| commitdiff \| tree
2022-11-08	Steve Baird	ada: Improve handling of declare expressions in deferred...	commit \| commitdiff \| tree
2022-11-08	Eric Botcazou	ada: Minor consistency tweaks in Sem_Ch4	commit \| commitdiff \| tree
2022-11-08	Eric Botcazou	ada: Remove redundant line in Analyze_Qualified_Expression	commit \| commitdiff \| tree
2022-11-08	Ronan Desplanques	ada: Preanalyze classwide contracts as spec expressions	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Fix expansion of 'Wide_Image and 'Wide_Wide_Image...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Fix inconsistent whitespace in Ada.Numerics.Generic_Com...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Remove unneeded code in handling formal type defaults	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Cleanup local variable that is only set as an...	commit \| commitdiff \| tree
2022-11-08	Eric Botcazou	ada: Remove obsolete code in Resolve_If_Expression	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Reject limited objects in array and record delta...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Allow initialization of limited objects with delta...	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Reject record delta aggregates with limited expressions	commit \| commitdiff \| tree
2022-11-08	Javier Miranda	ada: Missing master of task causing assertion failure	commit \| commitdiff \| tree
2022-11-08	Piotr Trojanek	ada: Raise Tag_Error when Ada.Tags operations are called...	commit \| commitdiff \| tree
2022-11-08	Bob Duff	ada: Add new -gnatw_q switch to usage message	commit \| commitdiff \| tree
2022-11-07	Cedric Landet	ada: Document that gprof won't work on windows with...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Tune hash function for cross-reference entries	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Fix performance regression related to references...	commit \| commitdiff \| tree
2022-11-07	Bob Duff	ada: Use named notation in calls to Expand_Composite_Equality	commit \| commitdiff \| tree
2022-11-07	Bob Duff	ada: New warning about noncomposing user-defined "="	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Inline composite node kind AST queries	commit \| commitdiff \| tree
2022-11-07	Bob Duff	ada: Fix inherited postconditions in inlined subprograms	commit \| commitdiff \| tree
2022-11-07	Quentin Ochem	ada: Fixed elaboration of CUDA programs.	commit \| commitdiff \| tree
2022-11-07	Steve Baird	ada: Rework CUDA host-side invocation of device-side...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Fix detection of external calls to protected objects...	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Clean up unnecessary nesting in code for DLL libraries	commit \| commitdiff \| tree
2022-11-07	Bob Duff	ada: Suppress warnings on derived True/False	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Deconstruct Safe_To_Capture_In_Parameter_Value	commit \| commitdiff \| tree
2022-11-07	Piotr Trojanek	ada: Flip warning suppression routine to positive meaning	commit \| commitdiff \| tree
next

GNU Compiler Collection

RSS Atom

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