git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sem_ch13.adb

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / sem_ch13.adb

2014-02-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw
2014-02-25	Hristian Kirtchev	exp_ch6.adb (Add_Or_Save_Precondition): New routine.	blob \| commitdiff \| raw \| diff to current
2014-02-24	Hristian Kirtchev	sem_ch6.adb (Analyze_Subprogram_Body_Contract): Do...	blob \| commitdiff \| raw \| diff to current
2014-02-24	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-24	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-20	Robert Dewar	einfo.ads: Minor comment addition: Etype of package...	blob \| commitdiff \| raw \| diff to current
2014-02-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-19	Robert Dewar	par-ch9.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2014-02-19	Ed Schonberg	style.adb (Missing_Overriding): Warning does not apply...	blob \| commitdiff \| raw \| diff to current
2014-02-06	Robert Dewar	exp_util.ads, [...]: Minor reformatting and code clean...	blob \| commitdiff \| raw \| diff to current
2014-02-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-04	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-29	Robert Dewar	a-except-2005.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2014-01-29	Robert Dewar	exp_ch9.adb, [...]: Minor reformatting and code clean up.	blob \| commitdiff \| raw \| diff to current
2014-01-29	Hristian Kirtchev	2014-01-29 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2014-01-24	Robert Dewar	back_end.adb: Remove Short_Enums handling (handled...	blob \| commitdiff \| raw \| diff to current
2014-01-24	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-22	Robert Dewar	sem_ch3.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2014-01-21	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-20	Yannick Moy	2014-01-20 Yannick Moy <moy@adacore.com>	blob \| commitdiff \| raw \| diff to current
2013-10-17	Hristian Kirtchev	aspects.adb, [...]: Remove all entries for Refined_Pre...	blob \| commitdiff \| raw \| diff to current
2013-10-17	Thomas Quinot	exp_util.adb (Get_Current_Value_Condition, [...]):...	blob \| commitdiff \| raw \| diff to current
2013-10-17	Hristian Kirtchev	sem_ch13.adb (Analyze_Aspect_Specifications): Flag...	blob \| commitdiff \| raw \| diff to current
2013-10-17	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-14	Robert Dewar	einfo.ads, einfo.adb (Default_Aspect_Component_Value...	blob \| commitdiff \| raw \| diff to current
2013-10-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-14	Hristian Kirtchev	aspects.adb: Add an entry in table Canonical_Aspect...	blob \| commitdiff \| raw \| diff to current
2013-10-13	Hristian Kirtchev	einfo.adb: Add node/list usage for Refined_State and...	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Robert Dewar	freeze.adb: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Robert Dewar	sem_aggr.adb (Resolve_Array_Aggregate): Identify duplic...	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-09-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-09-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-09-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-09-10	Thomas Quinot	aspects.ads, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2013-09-10	Robert Dewar	exp_prag.adb (Expand_Pragma_Check): Ignore pragma if...	blob \| commitdiff \| raw \| diff to current
2013-09-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-09-10	Ed Schonberg	sem_ch12.adb (Analyze_Package_Instantiation): If the...	blob \| commitdiff \| raw \| diff to current
2013-07-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-07-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-07-08	Ed Schonberg	sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...	blob \| commitdiff \| raw \| diff to current
2013-07-05	Hristian Kirtchev	aspects.adb: Add an entry for SPARK_Mode in table Canon...	blob \| commitdiff \| raw \| diff to current
2013-07-05	Ed Schonberg	sem_ch13.adb (Analyze_Aspect_Specifications): For pre...	blob \| commitdiff \| raw \| diff to current
2013-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-25	Hristian Kirtchev	einfo.ads, einfo.adb: Remove with and use clauses for...	blob \| commitdiff \| raw \| diff to current
2013-04-24	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-24	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-24	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-24	Hristian Kirtchev	exp_ch6.adb: Remove with and use clause for Sem_Prag.	blob \| commitdiff \| raw \| diff to current
2013-04-24	Ed Schonberg	exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration...	blob \| commitdiff \| raw \| diff to current
2013-04-24	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-23	Robert Dewar	sem_ch13.adb: Minor code reorganization (remove some...	blob \| commitdiff \| raw \| diff to current
2013-04-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-22	Yannick Moy	aspects.ads, [...]: Removal of references to Contract_Case.	blob \| commitdiff \| raw \| diff to current
2013-04-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-12	Hristian Kirtchev	aspects.adb (Find_Aspect): New routine.	blob \| commitdiff \| raw \| diff to current
2013-04-12	Ed Schonberg	s-rident.ads: Add various missing Ada 2012 restrictions...	blob \| commitdiff \| raw \| diff to current
2013-04-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-12	Hristian Kirtchev	sem_ch13.adb (Analyze_Aspect_Specifications): Aspect...	blob \| commitdiff \| raw \| diff to current
2013-04-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom