git.ipfire.org Git - thirdparty/gcc.git/history

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

projects / thirdparty / gcc.git / history

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

2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw
2018-11-14	Hristian Kirtchev	[Ada] Crash on ignored Ghost assignment	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Lingering loop for ignored Ghost assignment	blob \| commitdiff \| raw \| diff to current
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-09-25	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Arnaud Charlet	[multiple changes]	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-19	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
2017-01-12	Bob Duff	contracts.adb, [...] (Pragma_Name): Change name to...	blob \| commitdiff \| raw \| diff to current
2017-01-06	Bob Duff	snames.ads-tmpl (Renamed): New name for the pragma...	blob \| commitdiff \| raw \| diff to current
2017-01-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-10-12	Hristian Kirtchev	exp_ch5.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2016-10-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-07-07	Yannick Moy	sem_ch6.adb (Process_Formals): Set ghost flag on formal...	blob \| commitdiff \| raw \| diff to current
2016-07-04	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-07-04	Ed Schonberg	ghost.adb (Prune_Node): A freeze node for an ignored...	blob \| commitdiff \| raw \| diff to current
2016-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-20	Hristian Kirtchev	sem_util.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2016-04-20	Javier Miranda	contracts.adb (Build_Postconditions_Procedure): Code...	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-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	Arnaud Charlet	[multiple changes]	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-05-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-01-07	Robert Dewar	prj.ads, [...]: Minor reformatting.	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

RSS Atom