2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Geert Bosch | cstand.adb (Register_Float_Type): Print information...
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Ed Schonberg | sem_ch5.adb (Pre_Analyze_Range): new procedure extracted...
|
commit | commitdiff | tree |
2011-08-02 |
Javier Miranda | sem_ch5.adb (Analyze_Iteration_Scheme): Fix typo.
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes] 2011-08-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Ed Schonberg | sem_ch6.adb (New_Overloaded_Entity, [...]): Do not...
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | par-ch6.adb: Correct obsolete name in comments
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes] 2011-08-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Javier Miranda | exp_util.adb (Safe_Prefixed_Reference): Do not consider...
|
commit | commitdiff | tree |
2011-08-02 |
Robert Dewar | sem_ch3.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes] 2011-08-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2011-08-02 |
Robert Dewar | sem_res.adb: Minor reformatting.
|
commit | commitdiff | tree |
2011-08-02 |
Robert Dewar | a-cfdlli.ads, [...]: Remove unneeded with of Ada.Containers...
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Robert Dewar | a-cfdlli.ads, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | Fix typo.
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | Code clean up.
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | sem_ch3.adb (Analyze_Full_Type_Declaration): move test...
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | sem_aggr.adb (Resolve_Aggregate): disable incorrectly...
|
commit | commitdiff | tree |
2011-08-02 |
Yannick Moy | errout.adb, errout.ads (Check_Formal_Restriction):...
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Robert Dewar | sem_ch12.adb, [...]: New calling sequence for Analyze_Aspect...
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Robert Dewar | sem_ch8.adb: Minor code reorganization, comment updates.
|
commit | commitdiff | tree |
2011-08-02 |
Ed Schonberg | atree.h, [...]: New subprograms to manipulate Elist5.
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-02 |
Javier Miranda | sem_type.ads, [...] (Is_Ancestor): Addition of a new...
|
commit | commitdiff | tree |
2011-08-02 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Robert Dewar | sem_util.ads, [...] (Last_Source_Statement): Replaces...
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Pascal Obry | prj-env.adb: Remove <prefix>/lib/gpr/<target> project...
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Yannick Moy | err_vars.ads (Error_Msg_Lang, [...]): new variables...
|
commit | commitdiff | tree |
2011-08-01 |
Robert Dewar | sem_ch3.adb, [...]: Minor reformatting
|
commit | commitdiff | tree |
2011-08-01 |
Pascal Obry | prj-part.ads, [...] (Parse): Add Target_Name parameter.
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes] 2011-08-01 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2011-08-01 |
Yannick Moy | par-endh.adb (Check_End): issue a syntax error in SPARK...
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | Update header.
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | Update header.
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | Switch to GPLv3 run-time license.
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | Update to GPLv3 run-time license.
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes] 2011-08-01 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes] 2011-08-01 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2011-08-01 |
Ed Schonberg | sem_ch4.adb (Operator_Check): improve error message...
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes] 2011-08-01 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Geert Bosch | sem_prag.adb (Check_No_Link_Name): New procedure.
|
commit | commitdiff | tree |
2011-08-01 |
Geert Bosch | cstand.adb: Fix comments.
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Robert Dewar | aspects.ads, [...]: Add aspect Type_Invariant, Precondition...
|
commit | commitdiff | tree |
2011-08-01 |
Robert Dewar | freeze.adb (Freeze_Entity): Don't call Check_Aspect_At_Freez...
|
commit | commitdiff | tree |
2011-08-01 |
Robert Dewar | aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate.
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Vincent Celier | a-stzfix.adb, [...] (Replace_Slice): Fixed computation...
|
commit | commitdiff | tree |
2011-08-01 |
Robert Dewar | a-ztexio.ads, [...]: Fix comment.
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2011-08-01 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
next |