gcc.gnu.org Git - gcc.git/history - gcc/ada/libgnat/a-strsup.adb

]> gcc.gnu.org Git - gcc.git/history - gcc/ada/libgnat/a-strsup.adb

2022-11-21	Steve Baird	ada: Ada 2022 Image attribute bugs	blob \| commitdiff \| raw
2022-09-06	Steve Baird	[Ada] Slice length computation bug in Generic_Bounded_L...	blob \| commitdiff \| raw \| diff to current
2022-05-19	Claire Dross	[Ada] Fix proof of runtime unit a-strfix and a-strsup	blob \| commitdiff \| raw \| diff to current
2022-05-13	Yannick Moy	[Ada] Facilitate proof of Overwrite in bounded strings...	blob \| commitdiff \| raw \| diff to current
2022-01-11	Arnaud Charlet	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	blob \| commitdiff \| raw \| diff to current
2021-12-02	Marc Poulhiès	[Ada] Use bracket aggregates in Ada2022	blob \| commitdiff \| raw \| diff to current
2021-09-22	Pierre-Alexandre...	[Ada] Contracts written for the Ada.Strings.Bounded...	blob \| commitdiff \| raw \| diff to current
2021-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw \| diff to current
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 Roche	Make-lang.in, [...]: Find runtime source in libgnat/	blob \| commitdiff \| raw \| diff to current

GNU Compiler Collection

This page took 6.230331 seconds and 20 git commands to generate.