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

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

projects / thirdparty / gcc.git / history

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

2021-05-07	Bob Duff	[Ada] Variable-sized node types	blob \| commitdiff \| raw
2021-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw \| diff to current
2020-11-27	Steve Baird	[Ada] Implement AI12-0187 (Stable properties of abstrac...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Charlet	[Ada] Update header of front-end files	blob \| commitdiff \| raw \| diff to current
2020-10-20	Arnaud Charlet	[Ada] Add support for Unreferenced aspect on formal...	blob \| commitdiff \| raw \| diff to current
2020-07-27	Arnaud Charlet	[Ada] Use membership tests in front-end	blob \| commitdiff \| raw \| diff to current
2020-06-04	Bob Duff	[Ada] Put_Image attribute	blob \| commitdiff \| raw \| diff to current
2020-06-03	Arnaud Charlet	[Ada] Remove ASIS tree generation	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw \| diff to current
2019-08-20	Gary Dismukes	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2019-08-13	Justin Squirek	[Ada] Implement pragma Max_Entry_Queue_Length	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-07-23	Ed Schonberg	[Ada] Iterators are view-specific	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-05-30	Justin Squirek	[Ada] Implement pragma Max_Entry_Queue_Depth	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-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-06	Patrick Bernardi	aspects.adb, [...]: Reverted previous change for now.	blob \| commitdiff \| raw \| diff to current
2017-01-06	Patrick Bernardi	aspect.adb, aspect.ads: Added new aspect Secondary_Stac...	blob \| commitdiff \| raw \| diff to current
2017-01-06	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-20	Hristian Kirtchev	2015-10-20 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2015-10-16	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-05-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-05-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-03-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-10-31	Arnaud Charlet	2014-10-31 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2014-10-31	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-10-30	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-10-20	Robert Dewar	gnat_rm.texi: Document No_Tagged_Streams pragma and...	blob \| commitdiff \| raw \| diff to current
2014-10-17	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-08-04	Robert Dewar	aspects.ads, [...]: Add entries for aspect Obsolescent.	blob \| commitdiff \| raw \| diff to current
2014-08-04	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-08-01	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-07-17	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-06-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-25	Arnaud Charlet	lib.ads, [...]: Implement pragma Compiler_Unit_Warning...	blob \| commitdiff \| raw \| diff to current
2014-02-24	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-02-19	Ed Schonberg	style.adb (Missing_Overriding): Warning does not apply...	blob \| commitdiff \| raw \| diff to current
2014-01-29	Hristian Kirtchev	2014-01-29 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2014-01-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-21	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-17	Hristian Kirtchev	aspects.adb, [...]: Remove all entries for Refined_Pre...	blob \| commitdiff \| raw \| diff to current
2013-10-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-14	Hristian Kirtchev	aspects.adb: Add an entry in table Canonical_Aspect...	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-09-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-09-10	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-07-05	Hristian Kirtchev	aspects.adb: Add an entry for SPARK_Mode in table Canon...	blob \| commitdiff \| raw \| diff to current
2013-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-23	Robert Dewar	sinfo.ads, [...]: Minor reformatting and code clean up.	blob \| commitdiff \| raw \| diff to current
2013-04-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-22	Yannick Moy	aspects.ads, [...]: Removal of references to Contract_Case.	blob \| commitdiff \| raw \| diff to current
2013-04-12	Hristian Kirtchev	aspects.adb (Find_Aspect): New routine.	blob \| commitdiff \| raw \| diff to current
2013-04-12	Hristian Kirtchev	aspects.adb: Alphabetize subprogram bodies in this...	blob \| commitdiff \| raw \| diff to current
2013-04-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-01-04	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-01-03	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-12-05	Ed Schonberg	aspects.ads, [...]: Add aspect Relative_Deadline.	blob \| commitdiff \| raw \| diff to current
2012-12-05	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-10-29	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-05-15	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-05-15	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-04-10	Mike Stump	a-assert.ads: Remove execute permission.	blob \| commitdiff \| raw \| diff to current
2012-03-15	Yannick Moy	aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_...	blob \| commitdiff \| raw \| diff to current
2012-03-09	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-02-17	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-02-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-02-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-01-30	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2012-01-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-12-21	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-12-15	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-11-21	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-11-21	Arnaud Charlet	sem_ch6.adb (Is_Public_Subprogram_For): New procedure	blob \| commitdiff \| raw \| diff to current
2011-11-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-09-01	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-31	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-29	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-29	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-05	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-05	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-05	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-04	Yannick Moy	gnat_rm.texi: Document new pragma and aspect.	blob \| commitdiff \| raw \| diff to current
2011-08-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-01	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-01	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2011-08-01	Robert Dewar	aspects.ads, [...]: Add aspect Type_Invariant, Precondi...	blob \| commitdiff \| raw \| diff to current
2011-08-01	Robert Dewar	aspects.ads, [...]: Add Static_Predicate and Dynamic_Pr...	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom