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

Age	Commit message (Expand)	Author	Files	Lines
2017-01-12	[multiple changes]	Arnaud Charlet	1	-1/+1
2016-04-27	[multiple changes]	Arnaud Charlet	1	-19/+15
2016-04-18	[multiple changes]	Arnaud Charlet	1	-4/+7
2016-04-18	[multiple changes]	Arnaud Charlet	1	-6/+26
2015-10-20	[multiple changes]	Arnaud Charlet	1	-1/+22
2014-01-20	exp_spark.adb (Expand_SPARK_Call): Remove procedure.	Yannick Moy	1	-38/+0
2014-01-20	2014-01-20 Yannick Moy <moy@adacore.com>	Yannick Moy	1	-44/+20
2013-10-17	[multiple changes]	Arnaud Charlet	1	-7/+0
2013-10-13	[multiple changes]	Arnaud Charlet	1	-14/+2
2013-10-13	[multiple changes]	Arnaud Charlet	1	-110/+0
2013-04-25	[multiple changes]	Arnaud Charlet	1	-18/+0
2013-04-24	adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.	Yannick Moy	1	-0/+321