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

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

projects / thirdparty / gcc.git / history

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

2013-10-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw
2013-10-14	Hristian Kirtchev	sem_prag.adb (Analyze_Global_In_Decl_Part): Remove...	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	Hristian Kirtchev	aspects.adb: Add an entry in table Canonical_Aspect...	blob \| commitdiff \| raw \| diff to current
2013-10-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-13	Robert Dewar	gnat_rm.texi: Add documentation for pragmas Pre[_Class...	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	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	Robert Dewar	sem_prag.adb (Analyze_Pragma, [...]): Don't allow REASO...	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	Robert Dewar	exp_prag.adb (Expand_Pragma_Check): Ignore pragma if...	blob \| commitdiff \| raw \| diff to current
2013-09-10	Robert Dewar	sem_ch3.adb, [...]: Minor reformatting.	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-09-10	Robert Dewar	einfo.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2013-09-10	Hristian Kirtchev	sem_prag.adb (Get_SPARK_Mode_Id): Handle the case where...	blob \| commitdiff \| raw \| diff to current
2013-07-08	Hristian Kirtchev	einfo.adb (Get_Pragma): Handle the retrieval of delayed...	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	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	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-07-05	Robert Dewar	freeze.adb (Freeze_Entity): Remove test of obsolete...	blob \| commitdiff \| raw \| diff to current
2013-07-05	Robert Dewar	gnat_rm.texi, [...]: Minor comment/text fixes.	blob \| commitdiff \| raw \| diff to current
2013-07-05	Robert Dewar	par_sco.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2013-07-05	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-07-05	Ed Schonberg	sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class...	blob \| commitdiff \| raw \| diff to current
2013-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-25	Robert Dewar	gnat_rm.texi: Document Reason argument for pragma Warnings.	blob \| commitdiff \| raw \| diff to current
2013-04-25	Robert Dewar	sem_prag.adb: Minor code reorganization (correct misspe...	blob \| commitdiff \| raw \| diff to current
2013-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-25	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	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	Yannick Moy	adabkend.adb, [...]: Everything with name 'Alfa' rename...	blob \| commitdiff \| raw \| diff to current
2013-04-24	Robert Dewar	gnat_rm.texi: Document pragma Assume.	blob \| commitdiff \| raw \| diff to current
2013-04-24	Robert Dewar	gnat_rm.texi: Document pragma Assert_And_Cut.	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	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	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	Robert Dewar	exp_prag.adb (Expand_Pragma_Check): Check for Assert...	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-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-22	Yannick Moy	exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite...	blob \| commitdiff \| raw \| diff to current
2013-04-22	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	Robert Dewar	sem_prag.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2013-04-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-22	Yannick Moy	par-prag.adb, [...]: Remove all references to Pragma_Co...	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	Robert Dewar	makeutl.adb, [...]: Minor reformatting.	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	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	Hristian Kirtchev	aspects.adb: Alphabetize subprogram bodies in this...	blob \| commitdiff \| raw \| diff to current
2013-04-12	Arnaud Charlet	[multiple changes]	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	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	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-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-11	Ed Schonberg	sem_prag.adb (Analyze_Pragma, [...]): pre-analyze expre...	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
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