2013-10-10 |
Robert Dewar | sem_aggr.adb (Resolve_Array_Aggregate): Identify duplicated...
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes] 2013-10-10 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes] 2013-10-10 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-10-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-09-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-09-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-09-10 |
Robert Dewar | gnatbind.adb: Correct starting date in --version string.
|
commit | commitdiff | tree |
2013-09-10 |
Robert Dewar | switch-c.adb: Minor reformatting.
|
commit | commitdiff | tree |
2013-09-10 |
Robert Dewar | sem_prag.adb (Analyze_Pragma, [...]): Don't allow REASON...
|
commit | commitdiff | tree |
2013-09-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-09-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-09-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-09-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-09-10 |
Thomas Quinot | aspects.ads, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2013-09-10 |
Robert Dewar | exp_prag.adb (Expand_Pragma_Check): Ignore pragma if...
|
commit | commitdiff | tree |
2013-09-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-09-10 |
Robert Dewar | sem_ch3.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2013-09-10 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-09-10 |
Ed Schonberg | sem_ch12.adb (Analyze_Package_Instantiation): If the...
|
commit | commitdiff | tree |
2013-09-10 |
Robert Dewar | einfo.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2013-09-10 |
Hristian Kirtchev | sem_prag.adb (Get_SPARK_Mode_Id): Handle the case where...
|
commit | commitdiff | tree |
2013-07-08 |
Hristian Kirtchev | einfo.adb (Get_Pragma): Handle the retrieval of delayed...
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Robert Dewar | sem_dim.adb: Minor error message change.
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Robert Dewar | sem_ch8.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-08 |
Ed Schonberg | sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...
|
commit | commitdiff | tree |
2013-07-05 |
Hristian Kirtchev | aspects.adb: Add an entry for SPARK_Mode in table Canonical_...
|
commit | commitdiff | tree |
2013-07-05 |
Ed Schonberg | sem_ch13.adb (Analyze_Aspect_Specifications): For pre...
|
commit | commitdiff | tree |
2013-07-05 |
Ed Schonberg | exp_ch3.adb (Build_Variant_Record_Equality): Add pairs...
|
commit | commitdiff | tree |
2013-07-05 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-05 |
Robert Dewar | exp_ch4.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2013-07-05 |
Hristian Kirtchev | exp_ch4.adb (Expand_Composite_Equality): Use the full...
|
commit | commitdiff | tree |
2013-07-05 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-05 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-05 |
Arnaud Charlet | [multiple changes] 2013-07-05 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2013-07-05 |
Robert Dewar | gnat_rm.texi: Document that -gnatR and -gnatD cannot...
|
commit | commitdiff | tree |
2013-07-05 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-05 |
Robert Dewar | freeze.adb (Freeze_Entity): Remove test of obsolete...
|
commit | commitdiff | tree |
2013-07-05 |
Robert Dewar | gnat_rm.texi, [...]: Minor comment/text fixes.
|
commit | commitdiff | tree |
2013-07-05 |
Robert Dewar | gnat_rm.texi: Add missing doc for various pragmas.
|
commit | commitdiff | tree |
2013-07-05 |
Robert Dewar | par_sco.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2013-07-05 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-05 |
Thomas Quinot | * tree-complex.c (expand_complex_operations_1): Fix...
|
commit | commitdiff | tree |
2013-07-05 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-07-05 |
Ed Schonberg | sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class...
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | Minor reformatting.
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | * gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Exclude...
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes] 2013-04-25 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2013-04-25 |
Robert Dewar | gnat_rm.texi: Document Reason argument for pragma Warnings.
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes] 2013-04-25 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Robert Dewar | sem_prag.adb: Minor code reorganization (correct misspelling...
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Robert Dewar | sem_ch12.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Hristian Kirtchev | einfo.ads, einfo.adb: Remove with and use clauses for...
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-25 |
Robert Dewar | sem_ch7.adb, [...]: Minor reformatting.
|
commit | commitdiff | tree |
2013-04-25 |
Thomas Quinot | sem_ch7.adb: Minor reformatting.
|
commit | commitdiff | tree |
2013-04-25 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-24 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
2013-04-24 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2013-04-24 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
next |