projects / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...
[gcc.git] / gcc / ada / sem_prag.adb
2013-07-08 Ed Schonbergsem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode... blob | commitdiff | raw
2013-07-05 Hristian Kirtchevaspects.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 Dewarfreeze.adb (Freeze_Entity): Remove test of obsolete... blob | commitdiff | raw | diff to current
2013-07-05 Robert Dewargnat_rm.texi, [...]: Minor comment/text fixes. blob | commitdiff | raw | diff to current
2013-07-05 Robert Dewarpar_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 Schonbergsem_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 Dewargnat_rm.texi: Document Reason argument for pragma Warnings. blob | commitdiff | raw | diff to current
2013-04-25 Robert Dewarsem_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 Moyadabkend.adb, [...]: Everything with name 'Alfa' rename... blob | commitdiff | raw | diff to current
2013-04-24 Robert Dewargnat_rm.texi: Document pragma Assume. blob | commitdiff | raw | diff to current
2013-04-24 Robert Dewargnat_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 Kirtchevexp_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 Dewarsem_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 Dewarexp_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 Moyexp_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 Dewarsem_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 Moypar-prag.adb, [...]: Remove all references to Pragma_Co... blob | commitdiff | raw | diff to current
2013-04-22 Yannick Moyaspects.ads, [...]: Removal of references to Contract_Case. blob | commitdiff | raw | diff to current
2013-04-12 Robert Dewarmakeutl.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 Kirtchevaspects.adb (Find_Aspect): New routine. blob | commitdiff | raw | diff to current
2013-04-12 Hristian Kirtchevaspects.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 Schonbergs-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 Kirtchevsem_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 Schonbergsem_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 Dewarexp_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 Botcazousnames.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 Dewarsem_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 Dewarexp_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 Dewarchecks.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 Quinotscos.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