2016-05-02 |
Yannick Moy | a-tigeli.adb (Get_Line): Always set Last prior to returning. 2016-05-02 Yannick Moy <moy@adacore.com> 2016-05-02 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Yannick Moy | sem_ch4.adb: Fix typos in comments. 2016-04-20 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2015-10-20 |
Yannick Moy | fmap.adb, [...]: Fix coding style for marking start... 2015-10-20 Yannick Moy <moy@adacore.com> 2015-10-20 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2015-05-26 |
Yannick Moy | sem_aux.adb, [...] (Get_Low_Bound): Use Type_Low_Bound. 2015-05-26 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2015-05-26 |
Yannick Moy | inline.adb (Has_Initialized_Type): Adapt to new names. 2015-05-26 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2015-02-05 |
Yannick Moy | sem_prag.adb, [...]: Minor code clean up. 2015-02-05 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2015-02-05 |
Yannick Moy | par-prag.adb (Pragma_Warnings): Update for extended... 2015-02-05 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2015-02-05 |
Yannick Moy | opt.ads (Warn_On_Suspicious_Contract): Update comment... 2015-02-05 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-08-04 |
Yannick Moy | sem.adb, sem.ads (In_Default_Expr): Global flag that... 2014-08-04 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-07-31 |
Yannick Moy | sem_parg.adb, [...] (Collect_Subprogram_Inputs_Outputs... 2014-07-31 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-07-30 |
Yannick Moy | inline.adb (Build_Body_To_Inline): Issue more precise... 2014-07-30 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-07-30 |
Yannick Moy | einfo.ads (Is_Inlined): Document new use in GNATprove... 2014-07-30 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-07-30 |
Yannick Moy | gnat1drv.adb (Adjust_Global_Switches): Set Ineffective_Inlin... 2014-07-30 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-07-29 |
Yannick Moy | 2014-07-29 Yannick Moy <moy@adacore.com> 2014-07-29 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-05-21 |
Yannick Moy | 2014-05-21 Yannick Moy <moy@adacore.com> 2014-05-21 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-02-25 |
Yannick Moy | sem_ch3.adb, [...]: Mark most references to SPARK RM... 2014-02-25 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-01-22 |
Yannick Moy | errout.adb (Initialize): Remove trick to add dummy... 2014-01-22 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-01-20 |
Yannick Moy | exp_spark.adb (Expand_SPARK_Call): Remove procedure. 2014-01-20 Yannick Moy <moy@adacore.com> 2014-01-20 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2014-01-20 |
Yannick Moy | 2014-01-20 Yannick Moy <moy@adacore.com> 2014-01-20 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2013-04-24 |
Yannick Moy | snames.ads-tmpl: Minor change to list Loop_(In)variant... 2013-04-24 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2013-04-24 |
Yannick Moy | adabkend.adb, [...]: Everything with name 'Alfa' renamed... 2013-04-24 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
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 |
|