]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/put_spark_xrefs.adb
projects / thirdparty / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-related...
[thirdparty/gcc.git] / gcc / ada / put_spark_xrefs.adb
2016-05-02  Arnaud Charlet[multiple changes] blob | commitdiff | raw
2016-05-02  Yannick Moya-tigeli.adb (Get_Line): Always set Last prior to retur... blob | commitdiff | raw | diff to current
2013-04-24  Yannick Moyadabkend.adb, [...]: Everything with name 'Alfa' rename... blob | commitdiff | raw | diff to current
Mirror of https://gcc.gnu.org/git/gcc.git