2011-08-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw |
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-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-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-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-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-05 |
Robert Dewar | exp_ch7.ads, [...]: Minor reformatting. |
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 |
Yannick Moy | gnat_rm.texi: Document new pragma and aspect. |
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 |
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-03 |
Yannick Moy | sem_ch11.adb (Analyze_Raise_xxx_Error): do not mark... |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Hristian Kirtchev | a-except.adb, [...] (Raise_From_Controlled_Operation... |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Robert Dewar | sem_aggr.adb, [...]: Minor reformatting |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-03 |
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 |
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 |
next |