2015-05-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw |
2015-05-12 |
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 |
2015-03-13 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-03-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-03-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-03-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-03-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-03-02 |
Robert Dewar | debug.adb: Document new debug flag -gnatd.1. |
blob | commitdiff | raw | diff to current |
2015-03-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-03-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-02-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-02-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-01-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-01-07 |
Hristian Kirtchev | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> |
blob | commitdiff | raw | diff to current |
2015-01-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-01-06 |
Eric Botcazou | einfo.ads (Is_Independent): Document extended usage. |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-11-07 |
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-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-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-04 |
Ed Schonberg | exp_ch5.adb: minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-08-04 |
Robert Dewar | exp_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-08-04 |
Arnaud Charlet | [multiple changes] |
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-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Robert Dewar | a-numaux-vxworks.ads, [...]: Fix bad package header... |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Ed Schonberg | 2014-08-01 Ed Schonberg <schonberg@adacore.com> |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Robert Dewar | gnatchop.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-07-31 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-31 |
Robert Dewar | cstand.adb, [...]: Remove obsolete VMS-specific code. |
blob | commitdiff | raw | diff to current |
2014-07-31 |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Robert Dewar | einfo.ads, einfo.adb (Static_Real_Or_String_Predicate... |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Robert Dewar | sem_aggr.adb, [...]: General cleanup of static predicat... |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Robert Dewar | gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old. |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Robert Dewar | sem_aggr.adb, [...]: Change name Packed_Array_Type... |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Robert Dewar | par_sco.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-07-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-11 |
Arnaud Charlet | Code clean ups. |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Arnaud Charlet | [multiple changes] |
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-06 |
Arnaud Charlet | 2014-02-06 Sergey Rybin <rybin@adacore.com frybin> |
blob | commitdiff | raw | diff to current |
2014-02-06 |
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 |
Hristian Kirtchev | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Robert Dewar | sem_prag.adb (Set_Convention_From_Pragma): Check that... |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Hristian Kirtchev | einfo.adb (Non_Limited_View): Applies to abstract states. |
blob | commitdiff | raw | diff to current |
2013-10-17 |
Arnaud Charlet | [multiple changes] |
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 |
Hristian Kirtchev | einfo.adb: Flag 263 is now known as Has_Visible_Refinement. |
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 |
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 |
Hristian Kirtchev | aspects.adb: Add an entry in table Canonical_Aspect... |
blob | commitdiff | raw | diff to current |
2013-10-13 |
Robert Dewar | gnat_rm.texi: Add documentation for pragmas Pre[_Class... |
blob | commitdiff | raw | diff to current |
2013-10-13 |
Hristian Kirtchev | einfo.adb: Add node/list usage for Refined_State and... |
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 |
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-09-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-09-10 |
Robert Dewar | einfo.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-07-08 |
Hristian Kirtchev | einfo.adb (Get_Pragma): Handle the retrieval of delayed... |
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 |
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-25 |
Hristian Kirtchev | einfo.ads, einfo.adb: Remove with and use clauses for... |
blob | commitdiff | raw | diff to current |
next |