aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/types.ads
AgeCommit message (Expand)AuthorFilesLines
2017-12-15[multiple changes]Pierre-Marie de Rodat1-4/+6
2017-12-15types.ads, [...]: Partly revert r255414, committed by mistake.Bob Duff1-1/+1
2017-12-05sem_util.adb (Contains_Refined_State): Remove.Pierre-Marie de Rodat1-1/+1
2017-09-25[multiple changes]Pierre-Marie de Rodat1-1/+4
2017-04-25[multiple changes]Arnaud Charlet1-20/+12
2017-04-25exp_util.adb, [...]: Minor reformatting.Gary Dismukes1-1/+1
2017-04-25err_vars.ads, [...]: Eliminate the vestigial Internal_Source_File and the Int...Bob Duff1-7/+17
2017-04-25[multiple changes]Arnaud Charlet1-5/+5
2016-06-22spark_xrefs.ads (Scope_Num): type refined to positive integers.Arnaud Charlet1-2/+2
2015-11-12[multiple changes]Arnaud Charlet1-3/+4
2015-10-20[multiple changes]Arnaud Charlet1-1/+3
2015-10-20[multiple changes]Arnaud Charlet1-1/+1
2015-10-16checks.adb: Fix typo.Arnaud Charlet1-4/+1
2015-10-16exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM.Arnaud Charlet1-3/+2
2015-01-30a-assert.adb: Minor reformatting.Robert Dewar1-2/+2
2014-11-20[multiple changes]Arnaud Charlet1-1/+1
2014-08-01[multiple changes]Arnaud Charlet1-2/+2
2014-07-29types.ads (Mechanism_Type): Change range back to -18 ..Robert Dewar1-2/+8
2014-07-29[multiple changes]Arnaud Charlet1-44/+45
2014-07-29[multiple changes]Arnaud Charlet1-19/+51
2014-07-29sem_ch3.adb, [...]: Minor reformatting.Robert Dewar1-0/+8
2014-07-29[multiple changes]Arnaud Charlet1-1/+1
2014-07-29[multiple changes]Arnaud Charlet1-5/+13
2014-07-17back_end.adb: Minor reformatting and comment additions.Robert Dewar1-10/+11
2014-07-16[multiple changes]Arnaud Charlet1-15/+16
2014-01-29a-except-2005.adb, [...]: Minor reformatting.Robert Dewar1-1/+1
2014-01-20[multiple changes]Arnaud Charlet1-8/+0
2013-10-10[multiple changes]Arnaud Charlet1-1/+1
2013-10-10[multiple changes]Arnaud Charlet1-1/+7
2013-07-05aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.Hristian Kirtchev1-0/+8
2013-07-05[multiple changes]Arnaud Charlet1-19/+20
2013-04-24[multiple changes]Arnaud Charlet1-6/+7
2013-04-23[multiple changes]Arnaud Charlet1-1/+1
2013-04-11[multiple changes]Arnaud Charlet1-3/+3
2013-01-04types.ads, [...]: Minor reformatting.Robert Dewar1-3/+3
2012-12-05gnat_rm.texi: Update overflow description.Robert Dewar1-6/+6
2012-11-06checks.ads, [...]: Minor changes throughout for new overflow checking.Robert Dewar1-34/+25
2012-10-04checks.adb (Minimize_Eliminate_Overflow_Checks): Dont reanalyze if/case expre...Robert Dewar1-1/+3
2012-10-01[multiple changes]Arnaud Charlet1-0/+5
2012-10-01[multiple changes]Arnaud Charlet1-3/+3
2012-10-01[multiple changes]Arnaud Charlet1-27/+32
2012-08-06[multiple changes]Arnaud Charlet1-3/+53
2012-05-15fe.h (Get_RT_Exception_Name): Define.Tristan Gingold1-2/+4
2011-11-21sem_ch3.adb: Minor reformatting.Robert Dewar1-6/+2
2011-10-24[multiple changes]Arnaud Charlet1-16/+19
2011-08-02[multiple changes]Arnaud Charlet1-2/+2
2010-10-22a-except-2005.adb (Rmsg_18): New message text.Robert Dewar1-1/+1
2010-10-22[multiple changes]Arnaud Charlet1-17/+18
2010-10-07[multiple changes]Arnaud Charlet1-4/+6
2010-09-09[multiple changes]Arnaud Charlet1-7/+7