review.tizen.org Git - platform/upstream/gcc.git/history

projects / platform / upstream / gcc.git / history

[platform/upstream/gcc.git] / gcc / ada / aspects.adb

2013-07-05	Hristian Kirtchev	aspects.adb: Add an entry for SPARK_Mode in table Canon...	blob \| commitdiff
2013-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2013-04-23	Robert Dewar	sinfo.ads, [...]: Minor reformatting and code clean up.	blob \| commitdiff \| diff to current
2013-04-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2013-04-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2013-04-22	Yannick Moy	aspects.ads, [...]: Removal of references to Contract_Case.	blob \| commitdiff \| diff to current
2013-04-12	Hristian Kirtchev	aspects.adb (Find_Aspect): New routine.	blob \| commitdiff \| diff to current
2013-04-12	Hristian Kirtchev	aspects.adb: Alphabetize subprogram bodies in this...	blob \| commitdiff \| diff to current
2013-04-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2013-04-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2013-01-04	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2013-01-03	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-12-05	Ed Schonberg	aspects.ads, [...]: Add aspect Relative_Deadline.	blob \| commitdiff \| diff to current
2012-12-05	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-10-29	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-05-15	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-05-15	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-04-10	Mike Stump	a-assert.ads: Remove execute permission.	blob \| commitdiff \| diff to current
2012-03-15	Yannick Moy	aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_...	blob \| commitdiff \| diff to current
2012-03-09	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-02-17	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-02-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-02-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-01-30	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2012-01-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-12-21	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-12-15	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-11-21	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-11-21	Arnaud Charlet	sem_ch6.adb (Is_Public_Subprogram_For): New procedure	blob \| commitdiff \| diff to current
2011-11-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-09-01	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-31	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-29	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-29	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-05	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-05	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-05	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-04	Yannick Moy	gnat_rm.texi: Document new pragma and aspect.	blob \| commitdiff \| diff to current
2011-08-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-01	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-01	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2011-08-01	Robert Dewar	aspects.ads, [...]: Add aspect Type_Invariant, Precondi...	blob \| commitdiff \| diff to current
2011-08-01	Robert Dewar	aspects.ads, [...]: Add Static_Predicate and Dynamic_Pr...	blob \| commitdiff \| diff to current
2010-10-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2010-10-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2010-10-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2010-10-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current
2010-10-11	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| diff to current

Domain: System / Toolchain;

RSS Atom