2016-07-06 |
Javier Miranda | sem_ch6.adb (Check_Inline_Pragma): if the subprogram...
|
commit | commitdiff | tree |
2016-07-06 |
Yannick Moy | sem_ch6.adb (Analyze_Expression_Function): Mark body...
|
commit | commitdiff | tree |
2016-07-06 |
Arnaud Charlet | [multiple changes] 2016-07-06 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-07-06 |
Javier Miranda | sem_ch7.adb (Analyze_Package_Specification): Insert...
|
commit | commitdiff | tree |
2016-07-06 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-07-06 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-07-06 |
Arnaud Charlet | [multiple changes] 2016-07-06 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-07-06 |
Bob Duff | sem_attr.adb (Analyze_Attribute): Allow any expression...
|
commit | commitdiff | tree |
2016-07-05 |
Arnaud Charlet | Update documentation.
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | Update documentation.
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | Cleanups.
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | [multiple changes] 2016-07-04 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-07-04 |
Bob Duff | sem_attr.adb (Eval_Attribute): The code was assuming...
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-07-04 |
Bob Duff | sem_eval.adb (Decompose_Expr): Set 'out' parameters...
|
commit | commitdiff | tree |
2016-07-04 |
Hristian Kirtchev | g-sercom-mingw.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | [multiple changes] 2016-07-04 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-07-04 |
Ed Schonberg | ghost.adb (Prune_Node): A freeze node for an ignored...
|
commit | commitdiff | tree |
2016-07-04 |
Gary Dismukes | sem_type.adb, [...]: Minor reformatting and typo fix.
|
commit | commitdiff | tree |
2016-07-04 |
Hristian Kirtchev | sem_ch3.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | [multiple changes] 2016-07-04 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-07-04 |
Justin Squirek | einfo.adb (Has_Pragma_Unused): Create this function...
|
commit | commitdiff | tree |
2016-07-04 |
Ed Schonberg | freeze.adb (Check_Inherited_Conditions): Perform two...
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | [multiple changes] 2016-07-04 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | sem_prag.adb: Revert unwanted change in previous commit... 2016-06-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-22 |
Ed Schonberg | sem_prag.ads (Build_Classwide_Expression): new procedure...
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-22 |
Olivier Hainque | * vxworks-crtbe-link.spec: Removed, no longer used.
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | Code cleanup.
|
commit | commitdiff | tree |
2016-06-22 |
Justin Squirek | sem_ch8.adb (Push_Scope): Add a check for when the...
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
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 |
next |