2016-05-02 |
Gary Dismukes | exp_util.ads, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-05-02 |
Gary Dismukes | exp_ch9.adb, [...]: Minor reformatting and typo fixes.
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes] 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes] 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-05-02 |
Hristian Kirtchev | sem_ch13.adb (Alignment_Error): Removed.
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | 2016-05-02 Arnaud Charlet <charlet@adacore.com> 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize... 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Yannick Moy | a-tigeli.adb (Get_Line): Always set Last prior to returning.
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | lib-xref-spark_specific.adb (Add_SPARK_Scope): add... 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | make.adb: Minor... 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-05-02 |
Ed Schonberg | sem_util.adb (Normalize_Actuals): Take into account...
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-05-02 |
Thomas Quinot | freeze.adb (Check_Component_Storage_Order): Get full...
|
commit | commitdiff | tree |
2016-05-02 |
Hristian Kirtchev | checks.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes] 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes] 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes] 2016-04-27 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes] 2016-04-27 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes] 2016-04-27 Arnaud Charlet <charleT@adacore.com>
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | sinput.ads, [...]: Minor editing. 2016-04-27 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes] 2016-04-27 Arnaud Charlet <charlet@adacore.com> 2016-04-27 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-27 |
Bob Duff | exp_ch3.adb (Expand_N_Object_Declaration): Rewrite...
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | a-tasatt.adb, [...] (Fast_Path): Rewritten to avoid... 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | gnat_rm.texi, [...]: Update doc.
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes] 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Hristian Kirtchev | lib-writ.adb, [...]: Minor reformatting and code cleanup.
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes] 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Hristian Kirtchev | sem_ch3.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2016-04-21 |
Javier Miranda | exp_aggr.adb (Component_Check): Extend the check that...
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes] 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes] 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | exp_aggr.adb (Component_Not_OK_For_Backend): Refine... 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes] 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-04-21 |
Ed Schonberg | freeze.adb: Freeze profile in ASIS mode.
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Ed Schonberg | sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the...
|
commit | commitdiff | tree |
2016-04-21 |
Javier Miranda | sem_ch6.adb (Build_Subprogram_Declaration): Propagate...
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-21 |
Javier Miranda | frontend.adb: Update call to Unnest_Subprograms.
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | [multiple changes] 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | * gnat.dg/self1.adb: Remove now incorrect test.
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Ed Schonberg | sem_util.ads, [...] (Is_Expanded_Priority_Attribute...
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Yannick Moy | sem_ch4.adb: Fix typos in comments.
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes] 2016-04-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | exp_unst.adb: Minor reformatting.
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes] 2016-04-20 Arnaud Charlet <charlet@adacore.com> 2016-04-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | sem_ch12.adb (Qualify_Universal_Operands): New routine.
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes] 2016-04-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | s-imgllu.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | sem_res.adb (Rewrite_Renamed_Operator): Do not rewrite...
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes] 2016-04-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid... 2016-04-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | sem_util.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2016-04-20 |
Javier Miranda | contracts.adb (Build_Postconditions_Procedure): Code...
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes] 2016-04-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes] 2016-04-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | sem_ch13.adb (Build_Invariant_Procedure): Reimplement...
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-04-19 |
Arnaud Charlet | standard_and_implementation_defined_restrictions.rst...
|
commit | commitdiff | tree |
next |