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

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

2019-08-12	Yannick Moy	[Ada] New aspect/pragma No_Caching for analysis of...	blob \| commitdiff \| raw
2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Missing error on hidden state in instantiation	blob \| commitdiff \| raw \| diff to current
2018-01-11	Arnaud Charlet	[Ada] Bump copyright notices to 2018	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	Code cleanups.	blob \| commitdiff \| raw \| diff to current
2015-11-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-11-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current

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