2020-11-27 |
Steve Baird | [Ada] Implement AI12-0187 (Stable properties of abstrac... |
blob | commitdiff | raw |
2020-10-23 |
Eric Botcazou | [Ada] Implement new legality rules introduced in C... |
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-22 |
Steve Baird | [Ada] AI12-0211: Consistency of inherited nonoverridabl... |
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-10-16 |
Arnaud Charlet | [Ada] Ada2020: AI12-0129 Make protected objects more... |
blob | commitdiff | raw | diff to current |
2020-07-23 |
Arnaud Charlet | [Ada] Stub CUDA_Execute and CUDA_Global pragmas |
blob | commitdiff | raw | diff to current |
2020-07-10 |
Ed Schonberg | [Ada] Part of implementation of AI12-0212: container... |
blob | commitdiff | raw | diff to current |
2020-07-06 |
Arnaud Charlet | [Ada] AI12-0376 Relax RM 13.1(10) rule wrt primitive... |
blob | commitdiff | raw | diff to current |
2020-06-17 |
Javier Miranda | [Ada] Ada2020: AI12-0279 more dispatching points with... |
blob | commitdiff | raw | diff to current |
2020-06-17 |
Gary Dismukes | [Ada] Implement static expression functions for Ada... |
blob | commitdiff | raw | diff to current |
2020-06-16 |
Steve Baird | [Ada] Implement AI12-0249, AI12-0295 (user-defined... |
blob | commitdiff | raw | diff to current |
2020-06-15 |
Arnaud Charlet | [Ada] Missing errors on aspect checking |
blob | commitdiff | raw | diff to current |
2020-06-15 |
Piotr Trojanek | [Ada] Support aspect Relaxed_Initialization and attribu... |
blob | commitdiff | raw | diff to current |
2020-06-12 |
Arnaud Charlet | [Ada] ACATS 4.2Q - BDD2007 |
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-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-05-30 |
Bob Duff | [Ada] Spell preanalysis, preanalyze correctly |
blob | commitdiff | raw | diff to current |
2018-01-11 |
Arnaud Charlet | [Ada] Bump copyright notices to 2018 |
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 |
2016-04-27 |
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-10-17 |
Robert Dewar | aspects.ads: Documentation fix, aspect Lock_Free does... |
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-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Robert Dewar | exp_ch5.adb, [...]: Minor comment additions. |
blob | commitdiff | raw | diff to current |
2014-07-18 |
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 |
Robert Dewar | a-except-2005.adb, [...]: Minor reformatting. |
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-09-10 |
Thomas Quinot | aspects.ads, [...]: Minor reformatting. |
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 |
Robert Dewar | sem_prag.adb: Minor code reorganization (correct misspe... |
blob | commitdiff | raw | diff to current |
2013-04-25 |
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-01-29 |
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-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-01 |
Ed Schonberg | aspects.ads: Type_Invariant'class is a valid aspect. |
blob | commitdiff | raw | diff to current |
2012-08-06 |
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-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-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-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-02-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
next |