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

Age	Commit message (Expand)	Author	Files	Lines
2018-01-11	[Ada] Bump copyright notices to 2018	Arnaud Charlet	1	-1/+1
2017-11-09	gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...	Pierre-Marie de Rodat	1	-74/+31
2017-11-08	[multiple changes]	Pierre-Marie de Rodat	1	-4/+0
2017-11-08	lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...	Pierre-Marie de Rodat	1	-3/+3
2017-11-08	[multiple changes]	Pierre-Marie de Rodat	1	-4/+3
2017-11-08	spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.	Piotr Trojanek	1	-1/+1
2017-11-08	spark_xrefs.ads (SPARK_File_Record): Remove string components.	Piotr Trojanek	1	-7/+0
2017-11-08	[multiple changes]	Pierre-Marie de Rodat	1	-9/+4
2017-11-08	spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.	Piotr Trojanek	1	-14/+0
2017-11-08	sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...	Pierre-Marie de Rodat	1	-53/+2
2016-05-02	a-tigeli.adb (Get_Line): Always set Last prior to returning.	Yannick Moy	1	-2/+5
2013-04-24	adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.	Yannick Moy	1	-0/+203