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

Age	Commit message (Expand)	Author	Files	Lines
2025-07-03	ada: Document restriction on array length	Tonu Naks	1	-0/+11
2025-01-07	Update copyright years.	Marc Poulhiès	1	-1/+1
2024-11-12	ada: Include design documentation within runtime sources	Pat Bernardi	1	-1/+18
2024-01-22	Update copyright years.	Marc Poulhiès	1	-1/+1
2024-01-09	ada: Fix precondition in Interfaces.C.Strings	Joffrey Huguet	1	-4/+5
2023-08-07	ada: Extend precondition of Interfaces.C.String.Value with Length	Piotr Trojanek	1	-4/+4
2023-06-20	ada: Remove references to Might_Not_Return and Always_Return	Claire Dross	1	-19/+10
2023-05-26	ada: Complete contracts of SPARK units	Yannick Moy	1	-5/+11
2023-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-06-02	[Ada] Fix preconditions of Interfaces.C.Strings	Joffrey Huguet	1	-2/+8
2022-06-02	[Ada] Complete contracts of Interfaces.C.Strings subprograms	Joffrey Huguet	1	-3/+8
2022-06-02	[Ada] Add contracts to Interfaces.C.Strings	Joffrey Huguet	1	-15/+54
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
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-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/+106