2011-09-15 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw |
2011-09-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-06 |
Steve Baird | einfo.ads (Extra_Accessibility_Of_Result): New function... |
blob | commitdiff | raw | diff to current |
2011-09-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Robert Dewar | sem_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2011-09-02 |
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 |
Robert Dewar | exp_util.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-01 |
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-31 |
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-31 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-30 |
Javier Miranda | sem_ch3.adb (Check_Abstract_Overriding): Code cleanup... |
blob | commitdiff | raw | diff to current |
2011-08-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-30 |
Gary Dismukes | sem_ch6.adb (Check_Return_Subtype_Indication): Issue... |
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-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 |
next |