riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2025-01-13	ada: Remove redundant parentheses inside unary operators	Piotr Trojanek	1	-1/+1
2025-01-07	Update copyright years.	Marc Poulhiès	1	-1/+1
2024-11-14	ada: Adapt proofs of light runtime to current version of SPARK	Claire Dross	1	-1/+3
2024-05-07	ada: Adapt proof of runtime units	Yannick Moy	1	-2/+15
2024-01-22	Update copyright years.	Marc Poulhiès	1	-1/+1
2023-06-20	ada: Remove references to Might_Not_Return and Always_Return	Claire Dross	1	-6/+4
2023-05-16	ada: Update proof of runtime units	Yannick Moy	1	-32/+1
2023-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-07-13	[Ada] Fix automatic proof on System.Arith_32	Yannick Moy	1	-1/+2
2022-06-02	[Ada] Rename GNATprove annotate pragma for termination to Always_Return	Claire Dross	1	-2/+2
2022-05-30	[Ada] Adapt proof of runtime unit s-arit32	Yannick Moy	1	-1/+1
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-12-02	[Ada] Proof of System.Arith_32 for double arithmetic on 32bits	Yannick Moy	1	-15/+434
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-11-26	[Ada] Add support for 128-bit fixed-point types on 64-bit platforms	Eric Botcazou	1	-0/+182