2013-04-22 |
Yannick Moy | exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite... 2013-04-22 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2013-04-22 |
Yannick Moy | par-prag.adb, [...]: Remove all references to Pragma_Contrac... 2013-04-22 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2013-04-22 |
Yannick Moy | aspects.ads, [...]: Removal of references to Contract_Case. 2013-04-22 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2012-10-01 |
Yannick Moy | sem_ch13.adb (Add_Invariants): Analyze the invariant... 2012-10-01 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2012-03-30 |
Yannick Moy | lib-xref-alfa.adb, [...]: Minor addition of comments... 2012-03-30 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2012-03-30 |
Yannick Moy | lib-xref-alfa.adb (Generate_Dereference): Use Get_Code_Unit... 2012-03-30 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2012-03-30 |
Yannick Moy | lib-xref-alfa.adb (Add_Alfa_File): Take into account... 2012-03-30 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2012-03-20 |
Yannick Moy | gnat_rm.texi, [...]: Update documentation. 2012-03-20 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2012-03-15 |
Yannick Moy | aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_Contr... 2012-03-15 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-12-02 |
Yannick Moy | sem_util.adb (Unique_Name): Reach through Unique_Entity... 2011-12-02 Yannick Moy <moy@adacore.com> 2011-12-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-09-02 |
Yannick Moy | usage.adb, [...]: Disable by default warnings on suspicious... 2011-09-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-30 |
Yannick Moy | * gcc-interface/Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2011-08-04 |
Yannick Moy | gnat_rm.texi: Document new pragma and aspect. 2011-08-04 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-04 |
Yannick Moy | sem_ch3.adb (Constrain_Enumeration, [...]): remove... 2011-08-04 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-04 |
Yannick Moy | sem_ch3.adb (Analyze_Object_Declaration): remove obsolete... 2011-08-04 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-03 |
Yannick Moy | sem_ch11.adb (Analyze_Raise_xxx_Error): do not mark... 2011-08-03 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | sem_ch3.adb, [...]: Protect call to Current_Subprogram... 2011-08-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | sem_res.adb: Protect calls to Matching_Static_Array_Bounds... 2011-08-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get... 2011-08-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | sem_aggr.adb, [...]: cleanup of SPARK mode 2011-08-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | cstand.adb (Create_Standard): sets Is_In_ALFA component... 2011-08-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | errout.adb (First_Node): minor renaming 2011-08-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | par-ch6.adb: Correct obsolete name in comments 2011-08-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | sem_aggr.adb (Resolve_Aggregate): disable incorrectly... 2011-08-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | errout.adb, errout.ads (Check_Formal_Restriction):... 2011-08-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-01 |
Yannick Moy | err_vars.ads (Error_Msg_Lang, [...]): new variables... 2011-08-01 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2011-08-01 |
Yannick Moy | par-endh.adb (Check_End): issue a syntax error in SPARK... 2011-08-01 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
|