git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/ghost.ads

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/ghost.ads

projects / thirdparty / gcc.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[thirdparty/gcc.git] / gcc / ada / ghost.ads

2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw
2018-07-17	Hristian Kirtchev	[Ada] New ignored Ghost code removal mechanism	blob \| commitdiff \| raw \| diff to current
2018-05-24	Hristian Kirtchev	[Ada] Fix crash on formal containers	blob \| commitdiff \| raw \| diff to current
2018-01-11	Hristian Kirtchev	[Ada] Prohibit concurrent types in Ghost regions	blob \| commitdiff \| raw \| diff to current
2018-01-11	Arnaud Charlet	[Ada] Bump copyright notices to 2018	blob \| commitdiff \| raw \| diff to current
2017-04-25	Hristian Kirtchev	contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contrac...	blob \| commitdiff \| raw \| diff to current
2017-01-23	Hristian Kirtchev	ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.	blob \| commitdiff \| raw \| diff to current
2017-01-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Hristian Kirtchev	atree.adb (Allocate_Initialize_Node): A newly created...	blob \| commitdiff \| raw \| diff to current
2016-04-18	Hristian Kirtchev	contracts.adb (Analyze_Object_Contract): Update referen...	blob \| commitdiff \| raw \| diff to current
2015-10-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-16	Hristian Kirtchev	exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not...	blob \| commitdiff \| raw \| diff to current
2015-05-26	Hristian Kirtchev	exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture...	blob \| commitdiff \| raw \| diff to current
2015-01-07	Hristian Kirtchev	2015-01-07 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current

Mirror of https://gcc.gnu.org/git/gcc.git