2016-06-22 |
Arnaud Charlet | spark_xrefs.ads (Scope_Num): type refined to positive... 2016-06-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | Minor cleanup.
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | [multiple changes] 2016-06-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | lib-xref-spark_specific.adb (Generate_Dereference)... 2016-06-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-22 |
Ed Schonberg | exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary...
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | lib.ads: Code cleanup. 2016-06-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-20 |
Ed Schonberg | sem_ch13.adb (Visible_Component): New procedure...
|
commit | commitdiff | tree |
2016-06-20 |
Arnaud Charlet | [multiple changes] 2016-06-20 Arnaud Charlet <charlet@adacore.com> 2016-06-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-20 |
Arnaud Charlet | [multiple changes] 2016-06-16 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-16 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-16 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-06-16 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-16 |
Arnaud Charlet | [multiple changes] 2016-06-16 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-16 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-16 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-16 |
Eric Botcazou | sem_util.ads (Indexed_Component_Bit_Offset): Declare.
|
commit | commitdiff | tree |
2016-06-16 |
Hristian Kirtchev | bindgen.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2016-06-16 |
Gary Dismukes | sem_ch9.adb, [...]: Minor reformatting and typo fixes.
|
commit | commitdiff | tree |
2016-06-16 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-16 |
Arnaud Charlet | [multiple changes] 2016-06-16 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-14 |
Javier Miranda | sem_attr.adb (Analyze_Attribute_Old_Result): Adding...
|
commit | commitdiff | tree |
2016-06-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-14 |
Arnaud Charlet | [multiple changes] 2016-06-14 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-14 |
Arnaud Charlet | [multiple changes] 2016-06-14 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-14 |
Arnaud Charlet | [multiple changes] 2016-06-14 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-14 |
Arnaud Charlet | [multiple changes] 2016-06-14 Arnaud Charlet <charlet@adacore.com> 2016-06-14 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 | [multiple changes]
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
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 |
next |