| 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 |
