2014-01-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw |
2014-01-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Arnaud Charlet | [multiple changes] |
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 |
2014-01-20 |
Yannick Moy | 2014-01-20 Yannick Moy <moy@adacore.com> |
blob | commitdiff | raw | diff to current |
2013-10-17 |
Robert Dewar | gnat_ugn.texi: Document -gnatw.y/-gnatw.Y. |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Robert Dewar | gnat_ugn.texi: Document -gnateu switch. |
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-07-05 |
Robert Dewar | freeze.adb (Freeze_Entity): Remove test of obsolete... |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Yannick Moy | adabkend.adb, [...]: Everything with name 'Alfa' rename... |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Robert Dewar | sem_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Robert Dewar | gnat1drv.adb (Gnat1drv): Test Target_Dependent_Info_Wri... |
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 |
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 |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-29 |
Javier Miranda | errout.ads, errout.adb (Get_Ignore_Errors): New subprogram. |
blob | commitdiff | raw | diff to current |
2013-01-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-04 |
Robert Dewar | exp_prag.adb, [...]: Minor reformatting. |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
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 |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Robert Dewar | errout.adb (Set_Msg_Insertion_Warning): Correct typo... |
blob | commitdiff | raw | diff to current |
2013-01-02 |
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-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-04 |
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-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-06-12 |
Robert Dewar | switch-c.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2012-06-12 |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-12-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-11-21 |
Robert Dewar | sem_ch3.adb, [...]: Minor reformatting. |
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-10-06 |
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-02 |
Yannick Moy | usage.adb, [...]: Disable by default warnings on suspic... |
blob | commitdiff | raw | diff to current |
2011-09-02 |
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-30 |
Robert Dewar | opt.ads, [...]: Update comment. |
blob | commitdiff | raw | diff to current |
2011-08-30 |
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-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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-04 |
Robert Dewar | bindgen.adb, [...]: Minor reformatting |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Yannick Moy | sem_aggr.adb, [...]: cleanup of SPARK mode |
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-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 |
Robert Dewar | sem_util.ads, [...] (Last_Source_Statement): Replaces... |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Robert Dewar | opt.ads: Move documentation on checksum stuff here... |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Vincent Celier | opt.ads (Checksum_Accumulate_Token_Checksum): New Boole... |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Vincent Celier | opt.ads (Old_Checksums, [...]): New Boolean flags,... |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
next |