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

Age	Commit message (Expand)	Author	Files	Lines
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-11-30	[Ada] Add comment on special Heap variable used in GNATprove	Yannick Moy	1	-1/+2
2020-06-02	[Ada] Bump copyright year	Arnaud Charlet	1	-1/+1
2019-01-08	[Ada] Bump copyright years to 2019	Pierre-Marie de Rodat	1	-1/+1
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	-114/+4
2017-11-08	[multiple changes]	Pierre-Marie de Rodat	1	-4/+1
2017-11-08	[multiple changes]	Pierre-Marie de Rodat	1	-8/+0
2017-11-08	lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...	Pierre-Marie de Rodat	1	-1/+0
2017-11-08	[multiple changes]	Pierre-Marie de Rodat	1	-10/+3
2017-11-08	spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.	Piotr Trojanek	1	-2/+2
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	-8/+7
2017-11-08	spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.	Piotr Trojanek	1	-33/+0
2017-11-08	sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...	Pierre-Marie de Rodat	1	-161/+5
2017-09-06	[multiple changes]	Arnaud Charlet	1	-8/+11
2017-01-19	[multiple changes]	Arnaud Charlet	1	-1/+1
2017-01-12	[multiple changes]	Arnaud Charlet	1	-20/+20
2016-06-22	spark_xrefs.ads (Scope_Num): type refined to positive integers.	Arnaud Charlet	1	-1/+1
2016-05-02	2016-05-02 Arnaud Charlet <charlet@adacore.com>	Arnaud Charlet	1	-11/+14
2016-05-02	lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.	Arnaud Charlet	1	-2/+2
2016-04-18	[multiple changes]	Arnaud Charlet	1	-1/+1
2016-04-18	[multiple changes]	Arnaud Charlet	1	-7/+13
2015-10-27	[multiple changes]	Arnaud Charlet	1	-1/+1
2015-10-27	sinput.ads, [...]: Fix typos.	Arnaud Charlet	1	-5/+5
2015-10-26	[multiple changes]	Arnaud Charlet	1	-4/+5
2014-10-17	[multiple changes]	Arnaud Charlet	1	-1/+16
2014-01-27	[multiple changes]	Arnaud Charlet	1	-0/+2
2014-01-20	[multiple changes]	Arnaud Charlet	1	-2/+1
2013-04-24	adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.	Yannick Moy	1	-0/+367