aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_prag.adb
AgeCommit message (Expand)AuthorFilesLines
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Suppress call to Initial_Condition when the annotation is ignoredHristian Kirtchev1-1/+7
2018-11-14[Ada] Lingering loop for ignored Ghost assignmentHristian Kirtchev1-2/+2
2018-06-11[Ada] Suppress the expansion of ignored assertion pragmasHristian Kirtchev1-4/+18
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-47/+253
2017-09-08[multiple changes]Arnaud Charlet1-14/+19
2017-09-08[multiple changes]Arnaud Charlet1-1/+1
2017-09-08[multiple changes]Arnaud Charlet1-0/+88
2017-04-28[multiple changes]Arnaud Charlet1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-6/+10
2017-04-25[multiple changes]Arnaud Charlet1-2/+4
2017-04-25[multiple changes]Arnaud Charlet1-1/+1
2017-04-25[multiple changes]Arnaud Charlet1-1/+1
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev1-1/+0
2017-01-13atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke...Hristian Kirtchev1-49/+6
2017-01-12contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.Bob Duff1-2/+2
2017-01-06snames.ads-tmpl (Renamed): New name for the pragma argument.Bob Duff1-34/+30
2016-05-02[multiple changes]Arnaud Charlet1-2/+2
2016-05-02[multiple changes]Arnaud Charlet1-11/+24
2016-04-20[multiple changes]Arnaud Charlet1-4/+4
2015-10-23[multiple changes]Arnaud Charlet1-1/+21
2015-10-16exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...Hristian Kirtchev1-56/+28
2015-05-27[multiple changes]Arnaud Charlet1-29/+39
2015-05-26[multiple changes]Arnaud Charlet1-3/+4
2015-05-26exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh...Hristian Kirtchev1-6/+74
2015-05-26[multiple changes]Arnaud Charlet1-2/+2
2015-05-26exp_ch6.adb (Process_Contract_Cases_For): Update the call to Expand_Pragma_Co...Hristian Kirtchev1-407/+405
2015-05-12[multiple changes]Arnaud Charlet1-0/+9
2015-03-02[multiple changes]Arnaud Charlet1-36/+72
2015-02-20exp_ch3.adb (Default_Initialize_Object): Call Add_Inlined_Body on the Abort_U...Eric Botcazou1-6/+11
2014-10-17[multiple changes]Arnaud Charlet1-0/+21
2014-10-17[multiple changes]Arnaud Charlet1-28/+62
2014-08-04exp_prag.adb, [...]: Minor reformatting.Robert Dewar1-2/+1
2014-08-04[multiple changes]Arnaud Charlet1-11/+93
2014-07-31cstand.adb, [...]: Remove obsolete VMS-specific code.Robert Dewar1-179/+0
2014-07-30[multiple changes]Arnaud Charlet1-1/+1
2014-07-30[multiple changes]Arnaud Charlet1-1/+4
2014-07-30[multiple changes]Arnaud Charlet1-19/+14
2014-07-16[multiple changes]Arnaud Charlet1-27/+22
2014-02-242014-02-24 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet1-0/+1
2014-02-20einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type.Robert Dewar1-51/+51
2014-02-19[multiple changes]Arnaud Charlet1-0/+641
2014-01-20sem_aggr.adb, [...]: Minor reformatting.Robert Dewar1-2/+1
2014-01-20sem_prag.adb (Process_Import_Or_Interface): In Relaxed_RM_Semantics, support ...Arnaud Charlet1-1/+12
2013-10-17[multiple changes]Arnaud Charlet1-1/+1
2013-10-14[multiple changes]Arnaud Charlet1-22/+33
2013-10-14[multiple changes]Arnaud Charlet1-0/+58
generated by cgit v1.1 at 2024-08-19 12:42:25 +0000