2011-08-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Yannick Moy | sem_ch3.adb, [...]: Protect call to Current_Subprogram... |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Yannick Moy | einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get... |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
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 |
Yannick Moy | cstand.adb (Create_Standard): sets Is_In_ALFA component... |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Ed Schonberg | sem_ch6 (Analyze_Expression_Function): treat the functi... |
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 |
Ed Schonberg | sem_ch6.adb (New_Overloaded_Entity, [...]): Do not... |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Yannick Moy | par-ch6.adb: Correct obsolete name in comments |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | Minor reformatting. |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Yannick Moy | errout.adb, errout.ads (Check_Formal_Restriction):... |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Robert Dewar | sem_ch12.adb, [...]: New calling sequence for Analyze_A... |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
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 | sem_ch3.adb, [...]: Minor reformatting |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Yannick Moy | par-endh.adb (Check_End): issue a syntax error in SPARK... |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-12-20 |
Ralf Wildenhues | Fix typos in gcc/ada. |
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 |
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 |
2010-10-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-22 |
Gary Dismukes | sem_ch3.adb (Check_Or_Process_Discriminants): In Ada... |
blob | commitdiff | raw | diff to current |
2010-10-22 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-22 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-22 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-21 |
Robert Dewar | einfo.ads, einfo.adb: Add handling of predicates. |
blob | commitdiff | raw | diff to current |
2010-10-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-18 |
Eric Botcazou | exp_ch6.adb (Expand_N_Subprogram_Declaration): Use... |
blob | commitdiff | raw | diff to current |
2010-10-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Robert Dewar | debug.adb: Add comment. |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Bob Duff | par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05... |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Robert Dewar | sem_ch3.adb, [...]: Minor reformatting |
blob | commitdiff | raw | diff to current |
2010-10-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-08 |
Robert Dewar | sem_ch4.adb: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Robert Dewar | gnat_rm.texi, [...]: Change spelling parametrize(d... |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Robert Dewar | sem_ch12.adb: Add comment. |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Robert Dewar | exp_util.adb (Insert_Actions): Add handling of N_Parame... |
blob | commitdiff | raw | diff to current |
2010-10-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-09-10 |
Arnaud Charlet | Update comments. |
blob | commitdiff | raw | diff to current |
2010-09-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-09-09 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-09-09 |
Robert Dewar | sem_ch13.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2010-09-09 |
Javier Miranda | sem_ch3.adb (Derive_Subprogram): The code that checks... |
blob | commitdiff | raw | diff to current |
2010-09-09 |
Robert Dewar | nlists.ads, nlists.adb (In_Same_List): New function. |
blob | commitdiff | raw | diff to current |
2010-09-09 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-08-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-23 |
Arnaud Charlet | xr_tabls.adb, [...]: Update to latest lib-xref.ads... |
blob | commitdiff | raw | diff to current |
2010-06-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-23 |
Robert Dewar | sem_ch6.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2010-06-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-18 |
Arnaud Charlet | par-ch9.adb, [...]: Update comments. |
blob | commitdiff | raw | diff to current |
2010-06-18 |
Robert Dewar | checks.adb (Safe_To_Capture_In_Parameter_Value): Deal... |
blob | commitdiff | raw | diff to current |
2010-06-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
next |