riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2014-01-29	[multiple changes]	Arnaud Charlet	1	-0/+2
2014-01-29	a-except-2005.adb, [...]: Minor reformatting.	Robert Dewar	1	-4/+4
2014-01-29	[multiple changes]	Arnaud Charlet	1	-13/+4
2014-01-29	2014-01-29 Hristian Kirtchev <kirtchev@adacore.com>	Hristian Kirtchev	1	-10/+20
2014-01-27	[multiple changes]	Arnaud Charlet	1	-18/+0
2014-01-27	sem_prag.adb (Set_Convention_From_Pragma): Check that convention Ghost can on...	Robert Dewar	1	-2/+6
2014-01-24	[multiple changes]	Arnaud Charlet	1	-10/+0
2014-01-23	[multiple changes]	Arnaud Charlet	1	-4/+29
2014-01-21	[multiple changes]	Arnaud Charlet	1	-11/+18
2014-01-21	[multiple changes]	Arnaud Charlet	1	-12/+58
2014-01-20	[multiple changes]	Arnaud Charlet	1	-5/+4
2014-01-20	[multiple changes]	Arnaud Charlet	1	-3/+7
2014-01-20	[multiple changes]	Arnaud Charlet	1	-7/+8
2014-01-20	einfo.adb (Non_Limited_View): Applies to abstract states.	Hristian Kirtchev	1	-7/+10
2013-10-17	[multiple changes]	Arnaud Charlet	1	-19/+11
2013-10-17	[multiple changes]	Arnaud Charlet	1	-0/+20
2013-10-14	[multiple changes]	Arnaud Charlet	1	-0/+2
2013-10-14	einfo.adb: Flag 263 is now known as Has_Visible_Refinement.	Hristian Kirtchev	1	-7/+20
2013-10-14	einfo.ads, einfo.adb (Default_Aspect_Component_Value): Is on base type only.	Robert Dewar	1	-10/+10
2013-10-14	[multiple changes]	Arnaud Charlet	1	-77/+86
2013-10-14	aspects.adb: Add an entry in table Canonical_Aspect for Initializes.	Hristian Kirtchev	1	-15/+9
2013-10-13	[multiple changes]	Arnaud Charlet	1	-1/+1
2013-10-13	einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents.	Hristian Kirtchev	1	-11/+37
2013-10-10	[multiple changes]	Arnaud Charlet	1	-8/+14
2013-10-10	freeze.adb: Minor reformatting.	Robert Dewar	1	-4/+6
2013-10-10	[multiple changes]	Arnaud Charlet	1	-19/+15
2013-09-10	[multiple changes]	Arnaud Charlet	1	-2/+29
2013-09-10	sem_ch3.adb, [...]: Minor reformatting.	Robert Dewar	1	-0/+1
2013-07-08	einfo.adb (Get_Pragma): Handle the retrieval of delayed pragmas stored in N_C...	Hristian Kirtchev	1	-1/+3
2013-07-08	[multiple changes]	Arnaud Charlet	1	-2/+1
2013-07-05	aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.	Hristian Kirtchev	1	-0/+14
2013-04-25	[multiple changes]	Arnaud Charlet	1	-6/+5
2013-04-25	[multiple changes]	Arnaud Charlet	1	-6/+8
2013-04-25	einfo.ads, einfo.adb: Remove with and use clauses for Namet.	Hristian Kirtchev	1	-0/+6
2013-04-25	[multiple changes]	Arnaud Charlet	1	-5/+15
2013-04-24	[multiple changes]	Arnaud Charlet	1	-9/+10
2013-04-23	[multiple changes]	Arnaud Charlet	1	-1/+1
2013-04-23	[multiple changes]	Arnaud Charlet	1	-1/+1
2013-04-23	[multiple changes]	Arnaud Charlet	1	-5/+6
2013-04-12	[multiple changes]	Arnaud Charlet	1	-1/+27
2013-04-12	aspects.adb: Alphabetize subprogram bodies in this unit.	Hristian Kirtchev	1	-1/+7
2013-04-11	[multiple changes]	Arnaud Charlet	1	-0/+10
2013-04-11	einfo.ads, [...]: Minor reformatting.	Robert Dewar	1	-5/+3
2013-04-11	[multiple changes]	Arnaud Charlet	1	-8/+11
2013-04-11	[multiple changes]	Arnaud Charlet	1	-9/+45
2013-02-06	[multiple changes]	Arnaud Charlet	1	-0/+10
2013-02-06	[multiple changes]	Arnaud Charlet	1	-6/+7
2013-01-29	[multiple changes]	Arnaud Charlet	1	-5/+11
2013-01-03	[multiple changes]	Arnaud Charlet	1	-14/+73
2013-01-03	[multiple changes]	Arnaud Charlet	1	-0/+10