2013-07-08 |
Ed Schonberg | sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode... |
blob | commitdiff | raw |
2013-07-05 |
Hristian Kirtchev | aspects.adb: Add an entry for SPARK_Mode in table Canon... |
blob | commitdiff | raw | diff to current |
2013-07-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-07-05 |
Robert Dewar | freeze.adb (Freeze_Entity): Remove test of obsolete... |
blob | commitdiff | raw | diff to current |
2013-07-05 |
Robert Dewar | gnat_rm.texi, [...]: Minor comment/text fixes. |
blob | commitdiff | raw | diff to current |
2013-07-05 |
Robert Dewar | par_sco.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-07-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-07-05 |
Ed Schonberg | sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class... |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Robert Dewar | gnat_rm.texi: Document Reason argument for pragma Warnings. |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Robert Dewar | sem_prag.adb: Minor code reorganization (correct misspe... |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Yannick Moy | adabkend.adb, [...]: Everything with name 'Alfa' rename... |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Robert Dewar | gnat_rm.texi: Document pragma Assume. |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Robert Dewar | gnat_rm.texi: Document pragma Assert_And_Cut. |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Hristian Kirtchev | exp_ch6.adb: Remove with and use clause for Sem_Prag. |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Robert Dewar | sem_ch13.adb: Minor code reorganization (remove some... |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Robert Dewar | exp_prag.adb (Expand_Pragma_Check): Check for Assert... |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Yannick Moy | exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite... |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Robert Dewar | sem_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Yannick Moy | par-prag.adb, [...]: Remove all references to Pragma_Co... |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Yannick Moy | aspects.ads, [...]: Removal of references to Contract_Case. |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Robert Dewar | makeutl.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Hristian Kirtchev | aspects.adb (Find_Aspect): New routine. |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Hristian Kirtchev | aspects.adb: Alphabetize subprogram bodies in this... |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Ed Schonberg | s-rident.ads: Add various missing Ada 2012 restrictions... |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Hristian Kirtchev | sem_ch13.adb (Analyze_Aspect_Specifications): Aspect... |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Ed Schonberg | sem_prag.adb (Analyze_Pragma, [...]): pre-analyze expre... |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Robert Dewar | exp_ch4.adb (Expand_Concatenate): Remove wrapping in... |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Eric Botcazou | snames.ads-tmpl (Name_Loop_Optimize, [...]): New pragma... |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Robert Dewar | sem_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-04 |
Robert Dewar | exp_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Robert Dewar | checks.adb (Apply_Scalar_Range_Check): Implement Check_... |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Thomas Quinot | scos.ads (In_Decision): Add missing entry for 'a'. |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
next |