git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/libgnat/s-imgllu.ads

2023-07-06	Claire Dross	ada: Refactor the proof of the Value and Image runtime...	blob \| commitdiff \| raw
2023-01-09	Arnaud Charlet	ada: Update copyright notice	blob \| commitdiff \| raw \| diff to current
2022-09-02	Claire Dross	[Ada] Fix proof of runtime unit System.Value* and Syste...	blob \| commitdiff \| raw \| diff to current
2022-05-11	Yannick Moy	[Ada] Proof of 'Image support for unsigned integers	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-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw \| diff to current
2020-10-21	Eric Botcazou	[Ada] Support of attributes Image, Put_Image, Val and...	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

Mirror of https://gcc.gnu.org/git/gcc.git