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

2020-11-24	Piotr Trojanek	[Ada] Reuse In_Same_List where possible	blob \| commitdiff \| raw
2020-11-24	Eric Botcazou	[Ada] Fix internal error on multiple nested instantiations	blob \| commitdiff \| raw \| diff to current
2020-10-26	Yannick Moy	[Ada] Fix GNATprove crash on generics with access types	blob \| commitdiff \| raw \| diff to current
2020-10-26	Yannick Moy	[Ada] Do not instantiate generic bodies outside of...	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-21	Eric Botcazou	[Ada] Fix problematic placement of freeze node after...	blob \| commitdiff \| raw \| diff to current
2020-10-21	Javier Miranda	[Ada] Spurious error in current instance used as formal...	blob \| commitdiff \| raw \| diff to current
2020-10-21	Eric Botcazou	[Ada] Use helper function in Freeze_Subprogram_Body	blob \| commitdiff \| raw \| diff to current
2020-10-20	Javier Miranda	[Ada] Spurious error in current instance used as formal...	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-16	Javier Miranda	[Ada] Crash in generic renaming declaration of child...	blob \| commitdiff \| raw \| diff to current
2020-10-15	Arnaud Charlet	[Ada] Assert failure on incorrect code	blob \| commitdiff \| raw \| diff to current
2020-10-15	Piotr Trojanek	[Ada] Simplify membership tests with N_Entity subtype	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-27	Eric Botcazou	[Ada] Remove obsolete special case in Switch_View	blob \| commitdiff \| raw \| diff to current
2020-07-16	Ed Schonberg	[Ada] Spurious error in instance nested in formal package	blob \| commitdiff \| raw \| diff to current
2020-07-08	Piotr Trojanek	[Ada] Accept aspect Relaxed_Initialization on generic...	blob \| commitdiff \| raw \| diff to current
2020-07-08	Piotr Trojanek	[Ada] Analyze aspects once generic subprograms are...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Piotr Trojanek	[Ada] Use Is_Generic_Subprogram where possible	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-06	Justin Squirek	[Ada] Hang on generic declaration with ambiguous formal...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Piotr Trojanek	[Ada] Add assertions to Preserve_Comes_From_Source...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Piotr Trojanek	[Ada] Fix casing from GNATProve to GNATprove	blob \| commitdiff \| raw \| diff to current
2020-06-16	Eric Botcazou	[Ada] Implement AI12-0351 Matching for actuals for...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Ed Schonberg	[Ada] Compiler locks up with -gnatX and formal subprogr...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Ed Schonberg	[Ada] Compiler crash on instance with overloaded actual...	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	Javier Miranda	[Ada] Crash on dispatching conditional entry call	blob \| commitdiff \| raw \| diff to current
2020-06-10	Gary Dismukes	[Ada] Minor reformatting and some typo fixes	blob \| commitdiff \| raw \| diff to current
2020-06-09	Arnaud Charlet	[Ada] Remove kludge for AI05-0087	blob \| commitdiff \| raw \| diff to current
2020-06-09	Ed Schonberg	[Ada] Ada2020 AI12-0282: Shared variable control aspect...	blob \| commitdiff \| raw \| diff to current
2020-06-09	Ed Schonberg	[Ada] Ada2020 AI12-0282: Shared variable control aspect...	blob \| commitdiff \| raw \| diff to current
2020-06-08	Arnaud Charlet	[Ada] Remove processing of SPARK_05 restriction	blob \| commitdiff \| raw \| diff to current
2020-06-08	Arnaud Charlet	[Ada] AI12-0287 Legality Rules for null exclusions...	blob \| commitdiff \| raw \| diff to current
2020-06-05	Arnaud Charlet	[Ada] Minor wording changes wrt Ada 202x	blob \| commitdiff \| raw \| diff to current
2020-06-04	Ed Schonberg	[Ada] Ada_2020: contracts for formal subprograms	blob \| commitdiff \| raw \| diff to current
2020-06-04	Bob Duff	[Ada] Put_Image attribute	blob \| commitdiff \| raw \| diff to current
2020-06-04	Eric Botcazou	[Ada] Set convention and inlined flag on default null...	blob \| commitdiff \| raw \| diff to current
2020-06-04	Eric Botcazou	[Ada] Add another ad-hoc case to the Has_Private_View...	blob \| commitdiff \| raw \| diff to current
2020-06-04	Eric Botcazou	[Ada] Fix fallout of cleanup to Has_Private_View mechanism	blob \| commitdiff \| raw \| diff to current
2020-06-04	Gary Dismukes	[Ada] Minor editorial fixes	blob \| commitdiff \| raw \| diff to current
2020-06-03	Eric Botcazou	[Ada] Fix for missing calls to Adjust primitive with...	blob \| commitdiff \| raw \| diff to current
2020-06-03	Eric Botcazou	[Ada] Small housekeeping work in Check_Private_View	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Remove ASIS_Mode	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw \| diff to current
2020-06-02	Piotr Trojanek	[Ada] Reuse Is_Package_Or_Generic_Package where possible	blob \| commitdiff \| raw \| diff to current
2019-12-18	Ed Schonberg	[Ada] AI12-0282: shared variable control aspects on...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Ghjuvan Lacambre	[Ada] Validate_Access_Subprogram_Instance: check if...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Eric Botcazou	[Ada] Implement new legality rules introduced in C...	blob \| commitdiff \| raw \| diff to current
2019-12-12	Piotr Trojanek	[Ada] Fix repeated words and typos in doc and comments	blob \| commitdiff \| raw \| diff to current
2019-12-12	Steve Baird	[Ada] Implement AI12-0036 (a new legality check for...	blob \| commitdiff \| raw \| diff to current
2019-10-10	Gary Dismukes	[Ada] Various minor typo fixes	blob \| commitdiff \| raw \| diff to current
2019-10-10	Ed Schonberg	[Ada] Spurious visibility error on formal package with...	blob \| commitdiff \| raw \| diff to current
2019-09-19	Eric Botcazou	[Ada] Sem_Ch12: add a comment to indicate future work	blob \| commitdiff \| raw \| diff to current
2019-09-19	Eric Botcazou	[Ada] Fix bogus "too late" error with nested generics...	blob \| commitdiff \| raw \| diff to current
2019-09-19	Eric Botcazou	[Ada] Fix spurious type mismatch failure on nested...	blob \| commitdiff \| raw \| diff to current
2019-08-19	Eric Botcazou	[Ada] Lift restriction on instantiations that are compi...	blob \| commitdiff \| raw \| diff to current
2019-08-19	Piotr Trojanek	[Ada] Minor refactorings	blob \| commitdiff \| raw \| diff to current
2019-08-19	Eric Botcazou	[Ada] Further cleanup in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Further cleanup in the inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Compiler speedup with inlining across units	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Remove obsolete Pending_Descriptor table and...	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Fix internal error on inlined subprogram instance	blob \| commitdiff \| raw \| diff to current
2019-08-13	Eric Botcazou	[Ada] Fix spurious instantiation error on private recor...	blob \| commitdiff \| raw \| diff to current
2019-08-13	Eric Botcazou	[Ada] Small cleanup and improvement in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-13	Eric Botcazou	[Ada] Fix spurious error on nested instantiation with...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Bob Duff	[Ada] Do not suppress checks in instances of internal...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-09	Ed Schonberg	[Ada] Spurious error when instance of generic is used...	blob \| commitdiff \| raw \| diff to current
2019-07-04	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-04	Justin Squirek	[Ada] Hang on expansion of library-level instantiation	blob \| commitdiff \| raw \| diff to current
2019-07-03	Gary Dismukes	[Ada] Minor editorial corrections and reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-03	Hristian Kirtchev	[Ada] ABE checks v3.0, foundations of Elaboration order...	blob \| commitdiff \| raw \| diff to current
2019-07-03	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-01	Ed Schonberg	[Ada] Spurious error on inst. of partially defaulted...	blob \| commitdiff \| raw \| diff to current
2019-07-01	Eric Botcazou	[Ada] Make No_Inline pragma effective for generic subpr...	blob \| commitdiff \| raw \| diff to current
2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw \| diff to current
2018-11-14	Piotr Trojanek	[Ada] Fix handling of generic actuals with default...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Hristian Kirtchev	[Ada] Spurious elaboration issue due to inlining	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Configuration state not observed for instance...	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ed Schonberg	[Ada] Fix Default_Storage_Pool aspect handling in gener...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-06-11	Ed Schonberg	[Ada] Crash on instantiation of nested generic in priva...	blob \| commitdiff \| raw \| diff to current
2018-05-25	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-25	Ed Schonberg	[Ada] Strengthen checks for instantiation with interfac...	blob \| commitdiff \| raw \| diff to current
2018-05-25	Ed Schonberg	[Ada] Checks on instantiations with formal derived...	blob \| commitdiff \| raw \| diff to current
2018-05-24	Hristian Kirtchev	[Ada] Fix crash on formal containers	blob \| commitdiff \| raw \| diff to current
2018-05-23	Hristian Kirtchev	[Ada] Suppression of elaboration-related warnings	blob \| commitdiff \| raw \| diff to current
2018-05-22	Ed Schonberg	[Ada] Spurious visibility error in a nested instance...	blob \| commitdiff \| raw \| diff to current
2018-05-22	Justin Squirek	[Ada] No error on misplaced pragma Pure_Function	blob \| commitdiff \| raw \| diff to current
2018-05-21	Hristian Kirtchev	[Ada] Spurious error on early call region of tagged...	blob \| commitdiff \| raw \| diff to current
2018-01-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-01-11	Ed Schonberg	[Ada] Warning on use of predefined operations on an...	blob \| commitdiff \| raw \| diff to current
2018-01-11	Hristian Kirtchev	[Ada] Encoding of with clauses in ALI files	blob \| commitdiff \| raw \| diff to current
2017-12-05	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-16	Hristian Kirtchev	opt.ads: Elaboration warnings are now on by default.	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
next

RSS Atom