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

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/libgnat/s-valuei.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-07-06	Yannick Moy	[Ada] Support ghost generic formal parameters	blob \| commitdiff \| raw \| diff to current
2022-05-12	Yannick Moy	[Ada] Remove useless pragma Warnings Off from runtime...	blob \| commitdiff \| raw \| diff to current
2022-05-12	Yannick Moy	[Ada] Proof of 'Image support for signed integers	blob \| commitdiff \| raw \| diff to current
2022-05-10	Yannick Moy	[Ada] Fix indentation to follow uniform style across...	blob \| commitdiff \| raw \| diff to current
2022-05-10	Claire Dross	[Ada] Proof of System.Val_Int at gold level	blob \| commitdiff \| raw \| diff to current
2022-01-11	Claire Dross	[Ada] Proof of System.Val_Uns at gold level	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

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