2014-02-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw |
2014-02-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-06 |
Arnaud Charlet | 2014-02-06 Sergey Rybin <rybin@adacore.com frybin> |
blob | commitdiff | raw | diff to current |
2014-02-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-29 |
Arnaud Charlet | [multiple changes] |
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-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-24 |
Arnaud Charlet | sinfo.ads: Documentation update. |
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-21 |
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 |
Robert Dewar | sem_aggr.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Yannick Moy | exp_spark.adb (Expand_SPARK_Call): Remove procedure. |
blob | commitdiff | raw | diff to current |
2013-10-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Robert Dewar | exp_attr.adb (Expand_N_Attribute_Reference): Add error... |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Robert Dewar | einfo.ads, einfo.adb (Default_Aspect_Component_Value... |
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 | Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Robert Dewar | freeze.adb: Minor reformatting. |
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-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 |
Robert Dewar | switch-c.adb: Minor reformatting. |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-09-10 |
Robert Dewar | exp_prag.adb (Expand_Pragma_Check): Ignore pragma if... |
blob | commitdiff | raw | diff to current |
2013-09-10 |
Robert Dewar | sem_ch3.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-09-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
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-07-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
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-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-22 |
Arnaud Charlet | [multiple changes] |
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-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-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Robert Dewar | exp_ch11.ads, [...] (Expand_N_Raise_Expression): New... |
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-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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-02 |
Robert Dewar | sinfo.adb, [...]: Get rid of internal use of N_Return_S... |
blob | commitdiff | raw | diff to current |
2012-10-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-02 |
Robert Dewar | par_sco.adb, [...]: Change name Conditional_Expression... |
blob | commitdiff | raw | diff to current |
2012-10-02 |
Robert Dewar | checks.adb (Apply_Arithmetic_Overflow_Checked_Suppresse... |
blob | commitdiff | raw | diff to current |
2012-10-01 |
Robert Dewar | checks.adb (Apply_Arithmetic_Overflow_Minimized_Elimina... |
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-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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-08-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-08-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-07-16 |
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-06-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-05-15 |
Hristian Kirtchev | exp_ch4.adb (Insert_Dereference_Action): Reimplemented. |
blob | commitdiff | raw | diff to current |
2012-04-02 |
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-15 |
Yannick Moy | aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_... |
blob | commitdiff | raw | diff to current |
2012-01-06 |
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-02 |
Robert Dewar | sinfo.ads: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2011-11-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-11-21 |
Robert Dewar | exp_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2011-11-21 |
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-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-11-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-11-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-10-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-27 |
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-02 |
Ed Schonberg | sinfo.ads, sinfo.adb: New semantic attribute Premature_... |
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 |
next |