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

Age	Commit message (Expand)	Author	Files	Lines
2022-07-06	[Ada] Support ghost generic formal parameters	Yannick Moy	1	-0/+27
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
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-07-17	[Ada] New ignored Ghost code removal mechanism	Hristian Kirtchev	1	-4/+0
2018-05-24	[Ada] Fix crash on formal containers	Hristian Kirtchev	1	-14/+20
2018-01-11	[Ada] Prohibit concurrent types in Ghost regions	Hristian Kirtchev	1	-0/+4
2018-01-11	[Ada] Bump copyright notices to 2018	Arnaud Charlet	1	-1/+1
2017-04-25	contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...	Hristian Kirtchev	1	-38/+20
2017-01-23	ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.	Hristian Kirtchev	1	-0/+4
2017-01-20	[multiple changes]	Arnaud Charlet	1	-0/+5
2017-01-13	atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke...	Hristian Kirtchev	1	-57/+139
2016-04-18	contracts.adb (Analyze_Object_Contract): Update references to SPARK RM.	Hristian Kirtchev	1	-8/+17
2015-10-23	[multiple changes]	Arnaud Charlet	1	-4/+0
2015-10-16	exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...	Hristian Kirtchev	1	-6/+0
2015-05-26	exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh...	Hristian Kirtchev	1	-17/+46
2015-01-07	2015-01-07 Hristian Kirtchev <kirtchev@adacore.com>	Hristian Kirtchev	1	-0/+115