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-07-06	ada: Refactor the proof of the Value and Image runtime units	Claire Dross	1	-44/+6
2023-06-20	ada: Update annotations in runtime for proof	Yannick Moy	1	-0/+2
2023-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-01-11	[Ada] Proof of System.Val_Uns at gold level	Claire Dross	1	-15/+16
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-12-02	[Ada] Proof of System.Val_Util utilities for 'Value support	Yannick Moy	1	-34/+105
2021-12-02	[Ada] Proof of Boolean'Image and Boolean'Value	Yannick Moy	1	-5/+42
2021-06-21	[Ada] Implement 'Valid_Value attribute	Bob Duff	1	-2/+2
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-06-02	[Ada] Bump copyright year	Arnaud Charlet	1	-1/+1
2019-01-08	[Ada] Bump copyright years to 2019	Pierre-Marie de Rodat	1	-1/+1
2018-06-11	[Ada] Avoid a stack overflow in 'Value for invalid long strings	Nicolas Roche	1	-1/+9
2018-01-11	[Ada] Bump copyright notices to 2018	Arnaud Charlet	1	-1/+1
2017-09-08	Make-lang.in, [...]: Find runtime source in libgnat/	Nicolas Roche	1	-0/+334