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

Age	Commit message (Expand)	Author	Files	Lines
2019-01-08	[Ada] Bump copyright years to 2019	Pierre-Marie de Rodat	1	-1/+1
2018-12-11	[Ada] Minor reformattings	Gary Dismukes	1	-3/+3
2018-11-14	[Ada] Minor reformatting	Hristian Kirtchev	1	-1/+0
2018-10-09	[Ada] SPARK: fix bug related to non access object permissions	Maroua Maalej	1	-18/+2
2018-09-26	[Ada] SPARK: fix a bug related to loop exit environment	Maroua Maalej	1	-23/+51
2018-09-26	[Ada] SPARK: update borrowing effects for IN parameters	Maroua Maalej	1	-19/+32
2018-08-21	[Ada] Update for Ownership rules for access types according to AI12-0240	Maroua Maalej	1	-2758/+1144
2018-05-23	[Ada] Minor reformattings	Hristian Kirtchev	1	-25/+29
2018-05-23	[Ada] Fix of some permission rules of pointers in SPARK	Maroua Maalej	1	-35/+60
2018-05-22	[Ada] Ada2020: Reduction expressions	Ed Schonberg	1	-6/+0
2018-01-11	[Ada] Bump copyright notices to 2018	Arnaud Charlet	1	-1/+1
2017-12-15	[multiple changes]	Pierre-Marie de Rodat	1	-0/+6
2017-11-08	exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...	Hristian Kirtchev	1	-0/+1
2017-10-09	[multiple changes]	Pierre-Marie de Rodat	1	-2/+2
2017-10-09	[multiple changes]	Pierre-Marie de Rodat	1	-0/+1
2017-09-12	[multiple changes]	Arnaud Charlet	1	-0/+6188