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

Age	Commit message (Expand)	Author	Files	Lines
2014-01-27	[multiple changes]	Arnaud Charlet	1	-22/+45
2014-01-27	[multiple changes]	Arnaud Charlet	1	-33/+0
2014-01-27	sem_prag.adb (Set_Convention_From_Pragma): Check that convention Ghost can on...	Robert Dewar	1	-0/+4
2014-01-23	[multiple changes]	Arnaud Charlet	1	-0/+22
2014-01-21	[multiple changes]	Arnaud Charlet	1	-2/+4
2014-01-21	[multiple changes]	Arnaud Charlet	1	-15/+21
2014-01-21	[multiple changes]	Arnaud Charlet	1	-9/+85
2014-01-20	[multiple changes]	Arnaud Charlet	1	-1/+0
2014-01-20	einfo.adb (Non_Limited_View): Applies to abstract states.	Hristian Kirtchev	1	-4/+8
2013-10-17	[multiple changes]	Arnaud Charlet	1	-15/+12
2013-10-17	[multiple changes]	Arnaud Charlet	1	-1/+31
2013-10-14	[multiple changes]	Arnaud Charlet	1	-8/+9
2013-10-14	einfo.adb: Flag 263 is now known as Has_Visible_Refinement.	Hristian Kirtchev	1	-14/+60
2013-10-14	einfo.ads, einfo.adb (Default_Aspect_Component_Value): Is on base type only.	Robert Dewar	1	-4/+4
2013-10-14	[multiple changes]	Arnaud Charlet	1	-1/+14
2013-10-14	[multiple changes]	Arnaud Charlet	1	-0/+1
2013-10-14	aspects.adb: Add an entry in table Canonical_Aspect for Initializes.	Hristian Kirtchev	1	-40/+38
2013-10-13	gnat_rm.texi: Add documentation for pragmas Pre[_Class] Post[_Class].	Robert Dewar	1	-10/+12
2013-10-13	einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents.	Hristian Kirtchev	1	-28/+66
2013-10-10	[multiple changes]	Arnaud Charlet	1	-12/+26
2013-10-10	[multiple changes]	Arnaud Charlet	1	-1/+1
2013-10-10	freeze.adb: Minor reformatting.	Robert Dewar	1	-4/+0
2013-10-10	[multiple changes]	Arnaud Charlet	1	-2/+7
2013-10-10	[multiple changes]	Arnaud Charlet	1	-46/+42
2013-09-10	[multiple changes]	Arnaud Charlet	1	-32/+31
2013-09-10	einfo.adb, [...]: Minor reformatting.	Robert Dewar	1	-1/+1
2013-07-08	einfo.adb (Get_Pragma): Handle the retrieval of delayed pragmas stored in N_C...	Hristian Kirtchev	1	-9/+48
2013-07-05	aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.	Hristian Kirtchev	1	-1/+42
2013-04-25	[multiple changes]	Arnaud Charlet	1	-1/+1
2013-04-25	[multiple changes]	Arnaud Charlet	1	-1/+1
2013-04-25	[multiple changes]	Arnaud Charlet	1	-20/+24
2013-04-25	einfo.ads, einfo.adb: Remove with and use clauses for Namet.	Hristian Kirtchev	1	-1/+20
2013-04-25	[multiple changes]	Arnaud Charlet	1	-14/+4
2013-04-25	sem_ch7.adb, [...]: Minor reformatting.	Robert Dewar	1	-2/+1
2013-04-25	[multiple changes]	Arnaud Charlet	1	-10/+23
2013-04-24	[multiple changes]	Arnaud Charlet	1	-18/+14
2013-04-23	sinfo.ads, [...]: Minor reformatting and code clean up.	Robert Dewar	1	-2/+12
2013-04-23	[multiple changes]	Arnaud Charlet	1	-2/+12
2013-04-12	[multiple changes]	Arnaud Charlet	1	-2/+29
2013-04-12	aspects.adb: Alphabetize subprogram bodies in this unit.	Hristian Kirtchev	1	-16/+33
2013-04-11	[multiple changes]	Arnaud Charlet	1	-2/+21
2013-04-11	[multiple changes]	Arnaud Charlet	1	-1/+1
2013-04-11	[multiple changes]	Arnaud Charlet	1	-47/+106
2013-02-06	[multiple changes]	Arnaud Charlet	1	-3/+13
2013-01-29	[multiple changes]	Arnaud Charlet	1	-26/+90
2013-01-04	[multiple changes]	Arnaud Charlet	1	-1/+83
2013-01-04	[multiple changes]	Arnaud Charlet	1	-1/+5
2013-01-03	[multiple changes]	Arnaud Charlet	1	-27/+157
2013-01-03	[multiple changes]	Arnaud Charlet	1	-0/+16
2013-01-03	[multiple changes]	Arnaud Charlet	1	-11/+11