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

2020-12-14	Piotr Trojanek	[Ada] Simplify prevention of cascaded errors for Refine...	blob \| commitdiff \| raw
2020-12-14	Yannick Moy	[Ada] Refine error messages on illegal Refined_State...	blob \| commitdiff \| raw \| diff to current
2020-12-14	Piotr Trojanek	[Ada] Avoid reanalysis of malformed dependency relations	blob \| commitdiff \| raw \| diff to current
2020-12-14	Piotr Trojanek	[Ada] Fix analysis of access objects in Depends contracts	blob \| commitdiff \| raw \| diff to current
2020-12-14	Piotr Trojanek	[Ada] Update comment for processing of pragma Assertion...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Gary Dismukes	[Ada] Implement inheritance for Default_Initial_Conditi...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Piotr Trojanek	[Ada] Assertion_Policy is not a valid assertion policy	blob \| commitdiff \| raw \| diff to current
2020-11-27	Piotr Trojanek	[Ada] Simplify check for illegal non-returning procedures	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ghjuvan Lacambre	[Ada] Emit error messages for null/generic nonreturning...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Piotr Trojanek	[Ada] Reuse Is_Generic_Subprogram where possible	blob \| commitdiff \| raw \| diff to current
2020-11-26	Gary Dismukes	[Ada] Minor reformatting and a typo fix	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ed Schonberg	[Ada] Crash on task declaration with Restriction_Warnin...	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-26	Piotr Trojanek	[Ada] Simplify checks for library unit pragmas	blob \| commitdiff \| raw \| diff to current
2020-11-25	Piotr Trojanek	[Ada] Reuse Is_Named_Number where possible	blob \| commitdiff \| raw \| diff to current
2020-11-25	Ghjuvan Lacambre	[Ada] Fix crash on invalid `pragma Profile`	blob \| commitdiff \| raw \| diff to current
2020-11-25	Piotr Trojanek	[Ada] Reuse Is_Named_Number where possible	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Fix inconsistent parameter of SPARK_Msg_NE	blob \| commitdiff \| raw \| diff to current
2020-11-24	Justin Squirek	[Ada] Compiler crash on assertion pragma in ghost region	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Reuse In_Same_List where possible	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Simplify Is_Loop_Pragma	blob \| commitdiff \| raw \| diff to current
2020-11-24	Ghjuvan Lacambre	[Ada] Implement No_Unrecognized_{Aspects,Pragmas} restr...	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-11-24	Yannick Moy	[Ada] Reject Global/Depends contracts on null procedures	blob \| commitdiff \| raw \| diff to current
2020-10-23	Piotr Trojanek	[Ada] Reject illegal syntax in pragma Contract_Cases	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	Piotr Trojanek	[Ada] Sync code for external properties with SPARK RM	blob \| commitdiff \| raw \| diff to current
2020-10-23	Piotr Trojanek	[Ada] Fix default value for re-analysis of external...	blob \| commitdiff \| raw \| diff to current
2020-10-22	Piotr Trojanek	[Ada] Refactor appending to possibly empty lists	blob \| commitdiff \| raw \| diff to current
2020-10-22	Ghjuvan Lacambre	[Ada] Fix error message for import aspect	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-20	Piotr Trojanek	[Ada] Support for new aspect Subprogram_Variant on...	blob \| commitdiff \| raw \| diff to current
2020-10-19	Ghjuvan Lacambre	[Ada] Implement initialization of CUDA runtime	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-19	Piotr Trojanek	[Ada] Fix typo in error message about contract cases	blob \| commitdiff \| raw \| diff to current
2020-10-16	Arnaud Charlet	[Ada] Remove support for -gnatP and pragma Polling	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-16	Arnaud Charlet	[Ada] Crash when specifying an abstract subprogram...	blob \| commitdiff \| raw \| diff to current
2020-10-15	Javier Miranda	[Ada] Ada2020: AI12-0003 Specifying the standard storag...	blob \| commitdiff \| raw \| diff to current
2020-10-15	Steve Baird	[Ada] Get finalization right when a function returns...	blob \| commitdiff \| raw \| diff to current
2020-10-15	Piotr Trojanek	[Ada] Adjust style in support for CUDA_Execute pragma	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	Gary Dismukes	[Ada] AI12-0194: Language-defined aspects and entry...	blob \| commitdiff \| raw \| diff to current
2020-07-23	Arnaud Charlet	[Ada] Stub CUDA_Execute and CUDA_Global pragmas	blob \| commitdiff \| raw \| diff to current
2020-07-16	Bob Duff	[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigne...	blob \| commitdiff \| raw \| diff to current
2020-07-16	Bob Duff	[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment...	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-10	Piotr Trojanek	[Ada] Fix failing assertions related to volatile objects	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-07	Ghjuvan Lacambre	[Ada] Ensure No_Specification_Of_Aspect forbids pragmas...	blob \| commitdiff \| raw \| diff to current
2020-06-19	Eric Botcazou	[Ada] Remove second warning for convention C_Variadic_n	blob \| commitdiff \| raw \| diff to current
2020-06-18	Eric Botcazou	[Ada] Add second warning for convention C_Variadic_n	blob \| commitdiff \| raw \| diff to current
2020-06-18	Ghjuvan Lacambre	[Ada] Do not treat pragma Compile_Time_Warning as error...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Javier Miranda	[Ada] Ada2020: AI12-0279 more dispatching points with...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Gary Dismukes	[Ada] Various typo corrections plus minor reformatting	blob \| commitdiff \| raw \| diff to current
2020-06-17	Ed Schonberg	[Ada] Ada_2020 AI12-0220 Pre/Postconditions on Access_T...	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	Javier Miranda	[Ada] Crash in tagged type constructor with task components	blob \| commitdiff \| raw \| diff to current
2020-06-15	Piotr Trojanek	[Ada] Do expect task discriminants in Global and Depend...	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	Piotr Trojanek	[Ada] Do not expect task discriminants in Global and...	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-12	Piotr Trojanek	[Ada] Alphabetic ordering for name and pragmas	blob \| commitdiff \| raw \| diff to current
2020-06-12	Eric Botcazou	[Ada] Implement AI12-0269 No_Return for functions	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-10	Bob Duff	[Ada] Disable unwanted warnings in Assertion_Policy...	blob \| commitdiff \| raw \| diff to current
2020-06-10	Arnaud Charlet	[Ada] Remove more references to ASIS	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-09	Eric Botcazou	[Ada] Implement AI12-0028: Import of variadic C functions	blob \| commitdiff \| raw \| diff to current
2020-06-08	Steve Baird	[Ada] Implement AI12-0073 (Ravenscar disallows Synchron...	blob \| commitdiff \| raw \| diff to current
2020-06-08	Steve Baird	[Ada] Implement AI12-0291 (Jorvik profile)	blob \| commitdiff \| raw \| diff to current
2020-06-05	Arnaud Charlet	[Ada] Replace ? by ?? in Error_Msg_N	blob \| commitdiff \| raw \| diff to current
2020-06-05	Arnaud Charlet	[Ada] AI12-0207 Convention of anonymous access types	blob \| commitdiff \| raw \| diff to current
2020-06-05	Bob Duff	[Ada] Assertion_Policy (Ignore) ignores invariants	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	Arnaud Charlet	[Ada] Remove OpenACC support	blob \| commitdiff \| raw \| diff to current
2020-06-03	Yannick Moy	[Ada] Improve handling of SPARK_Mode in generic instances	blob \| commitdiff \| raw \| diff to current
2020-06-03	Piotr Trojanek	[Ada] Iterate with procedural versions of Next_......	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] Accept objects from nested packages in Initialize...	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Address potentially uninitialized variables and...	blob \| commitdiff \| raw \| diff to current
2020-06-02	Yannick Moy	[Ada] Allow GNATprove to set overflow mode	blob \| commitdiff \| raw \| diff to current
2020-05-25	Yannick Moy	[Ada] Change pragma Compile_Time_Error to force compile...	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	Eric Botcazou	[Ada] Fix couple of oversights in the implementation...	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-13	Javier Miranda	[Ada] Pragma Linker_Section in subprogram instantiation...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Yannick Moy	[Ada] Avoid spurious errors on Global/Depends in instan...	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	Bob Duff	[Ada] T'Size in pragma Compile_Time_Error	blob \| commitdiff \| raw \| diff to current
2019-10-10	Bob Duff	[Ada] Assertion_Policy (Ignore) ignores invariants	blob \| commitdiff \| raw \| diff to current
2019-10-10	Anthony Leonardo...	[Ada] Mention GNAT Studio instead of GPS	blob \| commitdiff \| raw \| diff to current
2019-10-10	Piotr Trojanek	[Ada] Use declared type for deciding on SPARK pointer...	blob \| commitdiff \| raw \| diff to current
2019-09-19	Steve Baird	[Ada] Accept concatentation arguments to pragma Annotate	blob \| commitdiff \| raw \| diff to current
2019-09-19	Yannick Moy	[Ada] Use declared type for deciding on SPARK pointer...	blob \| commitdiff \| raw \| diff to current
2019-09-19	Yannick Moy	[Ada] Allow constants of access type in Global contracts	blob \| commitdiff \| raw \| diff to current
2019-08-21	Piotr Trojanek	[Ada] Do not rewrite argument of pragma Entry_Queue_Len...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Justin Squirek	[Ada] Max_Entry_Queue_Length aspect for protected entries	blob \| commitdiff \| raw \| diff to current
next

RSS Atom