2013-07-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw |
2013-07-08 |
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 | gnat_rm.texi: Document Reason argument for pragma Warnings. |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Robert Dewar | sem_ch7.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Yannick Moy | snames.ads-tmpl: Minor change to list Loop_(In)variant... |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Robert Dewar | exp_prag.adb (Expand_Pragma_Check): Check for Assert... |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Yannick Moy | par-prag.adb, [...]: Remove all references to Pragma_Co... |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
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-12 |
Ed Schonberg | s-rident.ads: Add various missing Ada 2012 restrictions... |
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-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Eric Botcazou | snames.ads-tmpl (Name_Loop_Optimize, [...]): New pragma... |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
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 |
2013-01-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Robert Dewar | checks.adb (Apply_Scalar_Range_Check): Implement Check_... |
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-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-12-05 |
Robert Dewar | gnat_rm.texi: Update overflow description. |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Robert Dewar | checks.ads, [...]: Minor changes throughout for new... |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-29 |
Thomas Quinot | gnat_rm.texi, [...] (Sem_Prag.Analyze_Pragma): Handle... |
blob | commitdiff | raw | diff to current |
2012-10-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-08-06 |
Vincent Pucci | re PR ada/54125 (s-atopri.adb:40:10: "Support_Atomic_Pr... |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-07-09 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-07-09 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-07-09 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-12 |
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-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-04-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-03-19 |
Arnaud Charlet | [multiple changes] |
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-15 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-03-09 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-02-22 |
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-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-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-01-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-01-23 |
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-21 |
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 | sem_ch6.adb (Is_Public_Subprogram_For): New procedure |
blob | commitdiff | raw | diff to current |
2011-10-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-27 |
Pascal Obry | rtsfind.ads: Add RE_Lock_Read_Only into rtsfind circuitry. |
blob | commitdiff | raw | diff to current |
2011-09-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-06 |
Robert Dewar | a-cbprqu.ads, [...]: Mark all entities as Implementatio... |
blob | commitdiff | raw | diff to current |
2011-09-01 |
Ed Schonberg | exp_attr.adb, [...]: Implementation of attributes Same_... |
blob | commitdiff | raw | diff to current |
2011-08-31 |
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-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-29 |
Robert Dewar | exp_ch9.adb, [...]: Minor reformatting. |
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-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-05 |
Robert Dewar | a-cbmutr.adb: Minor reformatting |
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-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Hristian Kirtchev | exp_ch13.adb: Add with and use clause for Targparm; |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Hristian Kirtchev | a-except.adb, [...] (Raise_From_Controlled_Operation... |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Robert Dewar | sem_aggr.adb, [...]: Minor reformatting |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Yannick Moy | err_vars.ads (Error_Msg_Lang, [...]): new variables... |
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 |
2010-10-22 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
next |