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

2020-11-30	Gary Dismukes	[Ada] Implement inheritance for Default_Initial_Conditi...	blob \| commitdiff \| raw
2020-11-30	Ed Schonberg	[Ada] Spurious visibility error in subprogram body...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Piotr Trojanek	[Ada] Reuse Append_New_Elmt where possible	blob \| commitdiff \| raw \| diff to current
2020-11-27	Steve Baird	[Ada] Implement AI12-0187 (Stable properties of abstrac...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Piotr Trojanek	[Ada] Remove duplicated calls to Set_Entity	blob \| commitdiff \| raw \| diff to current
2020-11-26	Piotr Trojanek	[Ada] Reuse Is_Concurrent_Type when detecting protected...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Bob Duff	[Ada] Pass base type to Set_Has_Own_Invariants	blob \| commitdiff \| raw \| diff to current
2020-11-25	Piotr Trojanek	[Ada] Document attribute Has_Tagged_Values in GNAT RM	blob \| commitdiff \| raw \| diff to current
2020-11-25	Yannick Moy	[Ada] Minimize side-effect removal in GNATprove mode	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Reuse Is_Packed_Array where possible	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Cleanup expansion of attribute Constrained	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Recognize delta and extension aggregates as objects	blob \| commitdiff \| raw \| diff to current
2020-11-24	Yannick Moy	[Ada] Handle correctly current instance of PO in local...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Justin Squirek	[Ada] Further Ada 2020 work on accessibility checking	blob \| commitdiff \| raw \| diff to current
2020-10-23	Eric Botcazou	[Ada] Implement new legality rules introduced in C...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Justin Squirek	[Ada] Iterative patch for accessibility cleanup	blob \| commitdiff \| raw \| diff to current
2020-10-22	Steve Baird	[Ada] AI12-0211: Consistency of inherited nonoverridabl...	blob \| commitdiff \| raw \| diff to current
2020-10-22	Steve Baird	[Ada] Implement AI12-0280's interactions with container...	blob \| commitdiff \| raw \| diff to current
2020-10-22	Justin Squirek	[Ada] Wrong accessibility for conversion to named access	blob \| commitdiff \| raw \| diff to current
2020-10-22	Steve Baird	[Ada] Implement AI12-0030: Stream attribute availability	blob \| commitdiff \| raw \| diff to current
2020-10-22	Justin Squirek	[Ada] Reimplementation of accessibility checking	blob \| commitdiff \| raw \| diff to current
2020-10-22	Ed Schonberg	[Ada] AI12-0307: uniform resolution rules for aggregates	blob \| commitdiff \| raw \| diff to current
2020-10-21	Eric Botcazou	[Ada] Basic support for 128-bit types	blob \| commitdiff \| raw \| diff to current
2020-10-21	Piotr Trojanek	[Ada] Fix typos and style in comments related to Defaul...	blob \| commitdiff \| raw \| diff to current
2020-10-20	Piotr Trojanek	[Ada] Refine result type of Get_Accessibility	blob \| commitdiff \| raw \| diff to current
2020-10-20	Piotr Trojanek	[Ada] Replace low-level Ekind membership tests with...	blob \| commitdiff \| raw \| diff to current
2020-10-20	Steve Baird	[Ada] Implement AI12-0280 Making 'Old more flexible	blob \| commitdiff \| raw \| diff to current
2020-10-20	Yannick Moy	[Ada] Fix comments as volatility properties can apply...	blob \| commitdiff \| raw \| diff to current
2020-10-20	Piotr Trojanek	[Ada] Support for new aspect Subprogram_Variant on...	blob \| commitdiff \| raw \| diff to current
2020-10-19	Bob Duff	[Ada] Expanded names in ghost assignments	blob \| commitdiff \| raw \| diff to current
2020-10-16	Piotr Trojanek	[Ada] Assorted style cleanups	blob \| commitdiff \| raw \| diff to current
2020-10-16	Chris Martin	[Ada] Constants no longer synchronised if they are...	blob \| commitdiff \| raw \| diff to current
2020-10-16	Piotr Trojanek	[Ada] Detect qualified type names for AI12-0027	blob \| commitdiff \| raw \| diff to current
2020-10-16	Yannick Moy	[Ada] SPARK: update for effectively volatile types...	blob \| commitdiff \| raw \| diff to current
2020-10-15	Piotr Trojanek	[Ada] Fix access to uninitialized global variable when...	blob \| commitdiff \| raw \| diff to current
2020-10-15	Arnaud Charlet	[Ada] Code cleanup	blob \| commitdiff \| raw \| diff to current
2020-10-15	Arnaud Charlet	[Ada] AI12-0385 Predefined shifts and rotates should...	blob \| commitdiff \| raw \| diff to current
2020-09-03	Arnaud Charlet	Look at fullest view when checking for static types...	blob \| commitdiff \| raw \| diff to current
2020-07-27	Javier Miranda	[Ada] Ada2020: AI12-0027 Access values and unaliased...	blob \| commitdiff \| raw \| diff to current
2020-07-27	Arnaud Charlet	[Ada] Use membership tests in front-end	blob \| commitdiff \| raw \| diff to current
2020-07-16	Arnaud Charlet	[Ada] AI12-0373 Additional check on Integer_Literal...	blob \| commitdiff \| raw \| diff to current
2020-07-16	Justin Squirek	[Ada] Incorrect static accessibility error in return...	blob \| commitdiff \| raw \| diff to current
2020-07-16	Javier Miranda	[Ada] Ada2020: AI12-0107 convention of By_Protected_Pro...	blob \| commitdiff \| raw \| diff to current
2020-07-15	Piotr Trojanek	[Ada] Cleanup code related to object overlays	blob \| commitdiff \| raw \| diff to current
2020-07-15	Piotr Trojanek	[Ada] Target name is an object reference	blob \| commitdiff \| raw \| diff to current
2020-07-15	Ghjuvan Lacambre	[Ada] Guard against access to wrong fields in Is_Renaming	blob \| commitdiff \| raw \| diff to current
2020-07-15	Arnaud Charlet	[Ada] Missing error on operator call	blob \| commitdiff \| raw \| diff to current
2020-07-15	Piotr Trojanek	[Ada] Fix slices and qualified expressions being effect...	blob \| commitdiff \| raw \| diff to current
2020-07-15	Piotr Trojanek	[Ada] Cleanup condition for an effectively volatile...	blob \| commitdiff \| raw \| diff to current
2020-07-15	Arnaud Charlet	[Ada] Extend static functions	blob \| commitdiff \| raw \| diff to current
2020-07-10	Javier Miranda	[Ada] Potentially unevaluated nested expressions	blob \| commitdiff \| raw \| diff to current
2020-07-10	Yannick Moy	[Ada] Fix detection of volatile properties in SPARK	blob \| commitdiff \| raw \| diff to current
2020-07-10	Piotr Trojanek	[Ada] Remove references to non-existing E_Protected_Object	blob \| commitdiff \| raw \| diff to current
2020-07-10	Arnaud Charlet	[Ada] Use small limit for aggregates inside subprograms	blob \| commitdiff \| raw \| diff to current
2020-07-10	Piotr Trojanek	[Ada] Fix failing assertions related to volatile objects	blob \| commitdiff \| raw \| diff to current
2020-07-08	Gary Dismukes	[Ada] Minor reformatting and typo fix	blob \| commitdiff \| raw \| diff to current
2020-07-08	Arnaud Charlet	[Ada] ACATS 4.1R - BD10001 - Error missed	blob \| commitdiff \| raw \| diff to current
2020-07-08	Ed Schonberg	[Ada] Update entities on class-wide condition function...	blob \| commitdiff \| raw \| diff to current
2020-07-08	Yannick Moy	[Ada] Add utility function to recognize attribute ...	blob \| commitdiff \| raw \| diff to current
2020-07-08	Piotr Trojanek	[Ada] Remove excessive validity checks on in-parameters	blob \| commitdiff \| raw \| diff to current
2020-07-08	Piotr Trojanek	[Ada] Allow boolean expressions in aspect Relaxed_Initi...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Javier Miranda	[Ada] Ada2020: AI12-0198 potentially unevaluated compon...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Arnaud Charlet	[Ada] ACATS 4.1H - BC60005 - null exclusion matching...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Javier Miranda	[Ada] Ada2020: AI12-0198 potentially unevaluated compon...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Javier Miranda	[Ada] Ada2020: AI12-0198 potentially unevaluated compon...	blob \| commitdiff \| raw \| diff to current
2020-07-06	Javier Miranda	[Ada] Ada2020: AI12-0198 potentially unevaluated array...	blob \| commitdiff \| raw \| diff to current
2020-07-06	Gary Dismukes	[Ada] Predicates and the current instance of a subtype...	blob \| commitdiff \| raw \| diff to current
2020-06-18	Steve Baird	[Ada] Implement AI12-0032 fixes for 'Old attribute...	blob \| commitdiff \| raw \| diff to current
2020-06-18	Richard Kenner	[Ada] Properly test for Protected_Body_Subprogram	blob \| commitdiff \| raw \| diff to current
2020-06-18	Claire Dross	[Ada] The definition of constants in declare expression...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Piotr Trojanek	[Ada] Support aspect Relaxed_Initialization on private...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Piotr Trojanek	[Ada] Fix comment of Get_Iterable_Type_Primitive	blob \| commitdiff \| raw \| diff to current
2020-06-17	Gary Dismukes	[Ada] Implement static expression functions for Ada...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Steve Baird	[Ada] Implement AI12-0249, AI12-0295 (user-defined...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Gary Dismukes	[Ada] Fix two typos	blob \| commitdiff \| raw \| diff to current
2020-06-16	Piotr Trojanek	[Ada] Accept renamings of folded string aggregates	blob \| commitdiff \| raw \| diff to current
2020-06-15	Piotr Trojanek	[Ada] Fix analysis of Relaxed_Initialization for bodies...	blob \| commitdiff \| raw \| diff to current
2020-06-15	Javier Miranda	[Ada] Crash in tagged type constructor with task components	blob \| commitdiff \| raw \| diff to current
2020-06-15	Justin Squirek	[Ada] Bad access checks on if/case expression as actual	blob \| commitdiff \| raw \| diff to current
2020-06-15	Piotr Trojanek	[Ada] Remove excessive parens	blob \| commitdiff \| raw \| diff to current
2020-06-15	Piotr Trojanek	[Ada] Support aspect Relaxed_Initialization and attribu...	blob \| commitdiff \| raw \| diff to current
2020-06-15	Bob Duff	[Ada] Clean up error handling of 'Image	blob \| commitdiff \| raw \| diff to current
2020-06-15	Piotr Trojanek	[Ada] Remove unreferenced and dubious Is_Renaming_Decla...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Steve Baird	[Ada] Implement AI12-0369	blob \| commitdiff \| raw \| diff to current
2020-06-12	Piotr Trojanek	[Ada] Reuse Is_Entry where possible	blob \| commitdiff \| raw \| diff to current
2020-06-12	Eric Botcazou	[Ada] Implement AI12-0175 Preelaborable packages with...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Eric Botcazou	[Ada] Small cleanup in handling of Ada 2012 implicit...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Justin Squirek	[Ada] Missing accessibility error on object in type...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Piotr Trojanek	[Ada] Iterate with procedural version of Next routine...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Steve Baird	[Ada] Allow specifying volatility refinement aspects...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Piotr Trojanek	[Ada] Move duplicated routines for building itypes...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Eric Botcazou	[Ada] Consolidate handling of implicit dereferences...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Javier Miranda	[Ada] Crash on dispatching conditional entry call	blob \| commitdiff \| raw \| diff to current
2020-06-11	Justin Squirek	[Ada] Missing accessibility error on object in type...	blob \| commitdiff \| raw \| diff to current
2020-06-10	Eric Botcazou	[Ada] Add missing Sloc on new explicit dereferences	blob \| commitdiff \| raw \| diff to current
2020-06-10	Eric Botcazou	[Ada] Insert explicit dereferences when building actual...	blob \| commitdiff \| raw \| diff to current
2020-06-10	Ed Schonberg	[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_...	blob \| commitdiff \| raw \| diff to current
2020-06-10	Piotr Trojanek	[Ada] Minor fix style and typos in comments	blob \| commitdiff \| raw \| diff to current
2020-06-10	Justin Squirek	[Ada] Incorrect accessibility checks on functions calls	blob \| commitdiff \| raw \| diff to current
2020-06-09	Arnaud Charlet	[Ada] Code refactoring on calls to Set_Debug_Info_Needed	blob \| commitdiff \| raw \| diff to current
next

RSS Atom