2014-01-21 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Robert Dewar | gnat_rm.texi, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Robert Dewar | gnat_rm.texi (Allow_Integer_Address): Remove note about...
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Robert Dewar | sem_attr.adb (Analyze_Attribute, [...]): Allow Loop_Entry...
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Robert Dewar | sem_aggr.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | sem_prag.adb (Process_Import_Or_Interface): In Relaxed_RM_Se...
|
commit | commitdiff | tree |
2014-01-20 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2014-01-20 |
Hristian Kirtchev | einfo.adb (Non_Limited_View): Applies to abstract states.
|
commit | commitdiff | tree |
2014-01-20 |
Bob Duff | sem_ch10.adb (Expand_With_Clause): Don't recurse on...
|
commit | commitdiff | tree |
2014-01-20 |
Yannick Moy | exp_spark.adb (Expand_SPARK_Call): Remove procedure.
|
commit | commitdiff | tree |
2014-01-20 |
Yannick Moy | 2014-01-20 Yannick Moy <moy@adacore.com>
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-17 |
Hristian Kirtchev | aspects.adb, [...]: Remove all entries for Refined_Pre...
|
commit | commitdiff | tree |
2013-10-17 |
Hristian Kirtchev | exp_util.adb, [...] (Entity_Of): Moved to Sem_Util.
|
commit | commitdiff | tree |
2013-10-17 |
Thomas Quinot | exp_util.adb (Get_Current_Value_Condition, [...]):...
|
commit | commitdiff | tree |
2013-10-17 |
Ed Schonberg | sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make...
|
commit | commitdiff | tree |
2013-10-17 |
Hristian Kirtchev | sem_ch13.adb (Analyze_Aspect_Specifications): Flag...
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-17 |
Tristan Gingold | g-cppexc.adb, [...]: New files.
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-17 |
Robert Dewar | gnat_ugn.texi: Document -gnatw.y/-gnatw.Y.
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-17 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-15 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-15 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-15 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-15 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | Complete previous change.
|
commit | commitdiff | tree |
2013-10-14 |
Tristan Gingold | trans.c: Synchronize declarations of other/all others...
|
commit | commitdiff | tree |
2013-10-14 |
Tristan Gingold | gigi.h (standard_datatypes): Add ADT_set_exception_parameter...
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Robert Dewar | sem_res.adb: Minor fix to error message text.
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | sem_prag.adb (Is_Matching_Input): Consume a matching...
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Robert Dewar | sem_ch3.adb: Minor fix to error message.
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Robert Dewar | sem_ch3.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | sem_prag.adb (Analyze_Depends_In_Decl_Part): Rename...
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | einfo.adb: Flag 263 is now known as Has_Visible_Refinement.
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | sem_prag.adb (Check_Mode): Do not emit an error when...
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | * gcc-interface/Makefile.in: Target pairs clean ups.
|
commit | commitdiff | tree |
2013-10-14 |
Vincent Celier | errout.adb (Write_Error_Summary): Do not output the...
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Tristan Gingold | cstand.adb (Create_Standard): Change Import_Code component...
|
commit | commitdiff | tree |
2013-10-14 |
Robert Dewar | gnat_ugn.texi: Document -gnateu switch.
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Vincent Celier | prj-attr.adb: New attributes in package Clean: Artifacts_In_...
|
commit | commitdiff | tree |
2013-10-14 |
Robert Dewar | exp_attr.adb (Expand_N_Attribute_Reference): Add error...
|
commit | commitdiff | tree |
2013-10-14 |
Robert Dewar | einfo.ads, einfo.adb (Default_Aspect_Component_Value...
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | sem_prag.adb (Analyze_Global_In_Decl_Part): Remove...
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | aspects.adb: Add an entry in table Canonical_Aspect...
|
commit | commitdiff | tree |
2013-10-13 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-13 |
Robert Dewar | gnat_rm.texi: Add documentation for pragmas Pre[_Class...
|
commit | commitdiff | tree |
2013-10-13 |
Hristian Kirtchev | einfo.adb: Add node/list usage for Refined_State and...
|
commit | commitdiff | tree |
next |