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

Age	Commit message (Expand)	Author	Files	Lines
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	-8/+8
2024-11-14	ada: Fix outdated description in System.Arith_* units	Eric Botcazou	1	-1/+1
2024-11-12	ada: Include design documentation within runtime sources	Pat Bernardi	1	-15/+69
2024-01-22	Update copyright years.	Marc Poulhiès	1	-1/+1
2023-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-12-02	[Ada] Amend proof of System.Arith_Double to remove justifications	Yannick Moy	1	-2/+1
2021-11-10	[Ada] Prove double precision integer arithmetic unit	Pierre-Alexandre Bazin	1	-7/+94
2021-11-09	[Ada] Improve integration of strub with type systems	Alexandre Oliva	1	-7/+0
2021-10-05	[Ada] introduce stack scrub (strub) feature	Alexandre Oliva	1	-0/+7
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	-9/+21
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/+84