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

Age	Commit message (Expand)	Author	Files	Lines
2024-01-22	Update copyright years.	Marc Poulhiès	1	-1/+1
2023-09-05	ada: Remove GNATcheck violations	Sheri Bernstein	1	-0/+11
2023-08-03	ada: Add pragma Annotate for GNATcheck exemptions	Sheri Bernstein	1	-0/+4
2023-07-10	ada: Simplify assertion to remove CodePeer message	Yannick Moy	1	-3/+1
2023-07-10	ada: Adapt proof of System.Arith_Double to remove CVC4	Yannick Moy	1	-9/+75
2023-06-20	ada: Update annotations in runtime for proof	Yannick Moy	1	-0/+11
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	-1/+1
2023-05-16	ada: Simplify dramatically ghost code for proof of System.Arith_Double	Yannick Moy	1	-381/+47
2023-05-16	ada: Restore proof of System.Arith_Double	Yannick Moy	1	-31/+119
2023-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-09-02	[Ada] Recover proof of Scaled_Divide in System.Arith_64	Yannick Moy	1	-122/+210
2022-07-13	[Ada] Fix proof of runtime unit System.Arith_64	Yannick Moy	1	-4/+92
2022-06-02	[Ada] Rename GNATprove annotate pragma for termination to Always_Return	Claire Dross	1	-2/+2
2022-05-30	[Ada] Update proofs of double arithmetic unit after prover changes	Yannick Moy	1	-91/+439
2022-05-19	[Ada] Further adapt proof of double arithmetic runtime unit	Yannick Moy	1	-4/+171
2022-05-18	[Ada] Adapt proof of double arithmetic runtime unit	Yannick Moy	1	-16/+67
2022-05-16	[Ada] Fix proof of double arithmetic units	Yannick Moy	1	-0/+2
2022-05-11	[Ada] Adapt proof of System.Arith_Double after update of Z3	Yannick Moy	1	-2/+16
2022-01-11	[Ada] Adapt proof of System.Arith_Double	Yannick Moy	1	-9/+34
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2022-01-05	[Ada] Rename parameter-dependent constants in generic unit	Yannick Moy	1	-171/+194
2022-01-05	[Ada] Fix lemma in generic unit System.Arith_Double	Yannick Moy	1	-1/+2
2021-12-02	[Ada] Amend proof of System.Arith_Double to remove justifications	Yannick Moy	1	-61/+182
2021-11-10	[Ada] Prove double precision integer arithmetic unit	Pierre-Alexandre Bazin	1	-97/+2320
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-10-21	[Ada] Basic support for 128-bit types	Eric Botcazou	1	-0/+678