2014-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Robert Dewar | sem_ch3.adb, [...]: Code clean ups. |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Eric Botcazou | einfo.ads (Has_Private_Ancestor): Remove obsolete usage. |
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 |
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-31 |
Robert Dewar | gnat_ugn.texi: Document new switch -gnato0. |
blob | commitdiff | raw | diff to current |
2014-07-31 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-30 |
Robert Dewar | gnat_ugn.texi: Minor spelling correction. |
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-30 |
Yannick Moy | einfo.ads (Is_Inlined): Document new use in GNATprove... |
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-29 |
Robert Dewar | sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Stati... |
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 |
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 |
Robert Dewar | par_sco.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-07-17 |
Robert Dewar | sem_ch3.adb, [...]: Remove the word kludge from ada... |
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-06-13 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-05-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-05-21 |
Robert Dewar | einfo.ads (Can_Never_Be_Null): Minor comment update. |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Hristian Kirtchev | 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com> |
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-20 |
Robert Dewar | einfo.ads: Minor comment addition: Etype of package... |
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-02-04 |
Robert Dewar | exp_ch5.adb, [...]: Minor reformatting. |
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 |
Robert Dewar | a-except-2005.adb, [...]: Minor reformatting. |
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 |
Robert Dewar | sem_prag.adb (Set_Convention_From_Pragma): Check that... |
blob | commitdiff | raw | diff to current |
2014-01-24 |
Arnaud Charlet | [multiple changes] |
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-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 |
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 |
Hristian Kirtchev | aspects.adb: Add an entry in table Canonical_Aspect... |
blob | commitdiff | raw | diff to current |
2013-10-13 |
Arnaud Charlet | [multiple changes] |
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 |
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-09-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-09-10 |
Robert Dewar | sem_ch3.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-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 |
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 |
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 |
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-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 |
next |