aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref-spark_specific.adb
AgeCommit message (Expand)AuthorFilesLines
2016-06-22[multiple changes]Arnaud Charlet1-47/+50
2016-06-22[multiple changes]Arnaud Charlet1-193/+199
2016-06-22spark_xrefs.ads (Scope_Num): type refined to positive integers.Arnaud Charlet1-402/+362
2016-06-22[multiple changes]Arnaud Charlet1-8/+10
2016-06-22lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not comment...Arnaud Charlet1-10/+38
2016-06-22[multiple changes]Arnaud Charlet1-4/+3
2016-06-22exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary of Expand_N_In...Ed Schonberg1-20/+10
2016-06-22lib.ads: Code cleanup.Arnaud Charlet1-21/+2
2016-06-14[multiple changes]Arnaud Charlet1-6/+19
2016-05-02Minor reformatting.Arnaud Charlet1-3/+3
2016-05-022016-05-02 Arnaud Charlet <charlet@adacore.com>Arnaud Charlet1-63/+48
2016-05-02[multiple changes]Arnaud Charlet1-2/+2
2016-05-02lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.Arnaud Charlet1-2/+12
2016-05-02make.adb: Minor...Arnaud Charlet1-6/+6
2016-04-19sem_res.adb (Within_Subprogram_Call): Detect also nodes that appear in entry ...Arnaud Charlet1-4/+4
2016-04-18[multiple changes]Arnaud Charlet1-2/+2
2016-04-18sem_ch6.adb (Is_Inline_Pragma): The pragma argument can be a selected compone...Bob Duff1-2/+15
2015-11-25[multiple changes]Arnaud Charlet1-1/+2
2015-11-25[multiple changes]Arnaud Charlet1-6/+16
2015-11-12[multiple changes]Arnaud Charlet1-2/+6
2015-10-27lib-xref-spark_specific.adb, [...]: Minor reformatting.Hristian Kirtchev1-0/+1
2015-10-27[multiple changes]Arnaud Charlet1-0/+12
2015-10-26[multiple changes]Arnaud Charlet1-37/+22
2015-10-26[multiple changes]Arnaud Charlet1-49/+95
2015-10-26[multiple changes]Arnaud Charlet1-217/+188
2015-10-23[multiple changes]Arnaud Charlet1-2/+21
2015-10-20fmap.adb, [...]: Fix coding style for marking start of processing of subprogr...Yannick Moy1-14/+56
2015-01-07lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded cross ref fi...Johannes Kanig1-4/+12
2014-07-30[multiple changes]Arnaud Charlet1-1/+0
2014-05-21sem_ch13.adb: Minor reformatting.Robert Dewar1-1/+1
2014-05-212014-05-21 Yannick Moy <moy@adacore.com>Yannick Moy1-12/+27
2014-01-27[multiple changes]Arnaud Charlet1-24/+13
2014-01-24[multiple changes]Arnaud Charlet1-19/+12
2013-10-10[multiple changes]Arnaud Charlet1-5/+4
2013-10-10[multiple changes]Arnaud Charlet1-6/+17
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-0/+1438
generated by cgit v1.1 at 2025-04-26 01:27:41 +0000