projects / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Ada] Add contracts to Ada.Text_IO for SPARK
[gcc.git] / gcc / ada / libgnat / a-tiflio.ads
2019-07-05 Joffrey Huguet[Ada] Add contracts to Ada.Text_IO for SPARK blob | commitdiff | raw
2019-01-08 Pierre-Marie de... [Ada] Bump copyright years to 2019 blob | commitdiff | raw | diff to current
2018-01-11 Arnaud Charlet[Ada] Bump copyright notices to 2018 blob | commitdiff | raw | diff to current
2017-09-08 Nicolas RocheMake-lang.in, [...]: Find runtime source in libgnat/ blob | commitdiff | raw | diff to current