aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/impunit.adb
AgeCommit message (Expand)AuthorFilesLines
2019-08-20[Ada] Revert change for gnatprove that is no longer neededPiotr Trojanek1-13/+4
2019-08-13[Ada] Add GNAT.Branch_Prediction to ImpunitEric Botcazou1-0/+1
2019-07-01[Ada] Implement GNAT.GraphsHristian Kirtchev1-0/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-09-26[Ada] New unit GNAT.SetsHristian Kirtchev1-0/+1
2018-08-21[Ada] Define versions of dimension system for Float and Long_FloatYannick Moy1-0/+8
2018-08-21[Ada] General purpose doubly linked list for compiler and tool useHristian Kirtchev1-0/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-1/+4
2016-10-13[multiple changes]Arnaud Charlet1-1/+2
2015-11-18[multiple changes]Arnaud Charlet1-0/+1
2015-11-13[multiple changes]Arnaud Charlet1-3/+3
2015-11-12[multiple changes]Arnaud Charlet1-11/+11
2015-11-12[multiple changes]Arnaud Charlet1-53/+45
2015-10-20[multiple changes]Arnaud Charlet1-0/+1
2015-05-12[multiple changes]Arnaud Charlet1-0/+1
2015-02-20[multiple changes]Arnaud Charlet1-0/+1
2015-02-20[multiple changes]Arnaud Charlet1-1/+2
2014-10-31[multiple changes]Arnaud Charlet1-0/+2
2014-10-17[multiple changes]Arnaud Charlet1-0/+1
2014-07-30[multiple changes]Arnaud Charlet1-1/+0
2014-07-30[multiple changes]Arnaud Charlet1-0/+1
2014-07-18[multiple changes]Arnaud Charlet1-2/+2
2014-07-16[multiple changes]Arnaud Charlet1-0/+1
2014-06-11gnat_rm.texi: Document System.Unsigned_Types.Robert Dewar1-1/+2
2013-10-17[multiple changes]Arnaud Charlet1-0/+1
2013-04-12[multiple changes]Arnaud Charlet1-4/+9
2012-11-06[multiple changes]Arnaud Charlet1-5/+8
2012-11-06[multiple changes]Arnaud Charlet1-4/+10
2012-10-01[multiple changes]Arnaud Charlet1-0/+1
2012-05-15[multiple changes]Arnaud Charlet1-1/+0
2012-05-15[multiple changes]Arnaud Charlet1-0/+1
2012-02-08[multiple changes]Arnaud Charlet1-6/+6
2011-12-20[multiple changes]Arnaud Charlet1-0/+3
2011-12-15[multiple changes]Arnaud Charlet1-0/+2
2011-11-23[multiple changes]Arnaud Charlet1-0/+2
2011-11-04[multiple changes]Arnaud Charlet1-0/+1
2011-11-04[multiple changes]Arnaud Charlet1-3/+12
2011-10-13[multiple changes]Arnaud Charlet1-1/+1
2011-09-06sem_ch10.adb, [...] (Not_Impl_Defined_Unit): New name for Is_RM_Defined_Unit.Robert Dewar1-18/+22
2011-09-06impunit.ads, [...] (Is_RM_Defined_Unit): New function.Robert Dewar1-384/+521
2011-09-06[multiple changes]Arnaud Charlet1-0/+6
2011-09-01[multiple changes]Arnaud Charlet1-0/+5
2011-08-29[multiple changes]Arnaud Charlet1-3/+3
2011-08-29[multiple changes]Arnaud Charlet1-2/+0
2011-08-29[multiple changes]Arnaud Charlet1-0/+2
2011-08-29[multiple changes]Arnaud Charlet1-2/+0
2011-08-29[multiple changes]Arnaud Charlet1-0/+4
2011-08-29[multiple changes]Arnaud Charlet1-2/+1
2011-08-29[multiple changes]Arnaud Charlet1-0/+2