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

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

projects / thirdparty / gcc.git / history

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

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

2021-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw
2020-12-15	Justin Squirek	[Ada] Postcondition checks performed before finalization	blob \| commitdiff \| raw \| diff to current
2020-10-20	Piotr Trojanek	[Ada] Support for new aspect Subprogram_Variant on...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Steve Baird	[Ada] Allow specifying volatility refinement aspects...	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] New aspect/pragma No_Caching for analysis of...	blob \| commitdiff \| raw \| diff to current
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