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

Age	Commit message (Expand)	Author	Files	Lines
2020-10-20	[Ada] AI12-0339: Empty function for Aggregate aspect of Ada containers	Ed Schonberg	1	-0/+12
2020-10-19	[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types	Bob Duff	1	-5/+8
2020-10-19	[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types	Bob Duff	1	-0/+26
2020-07-15	[Ada] Mark standard containers as not in SPARK	Yannick Moy	1	-1/+3
2020-06-17	[Ada] Ada2020: AI12-0110 Tampering checks are performed first	Bob Duff	1	-21/+21
2020-06-02	[Ada] Bump copyright year	Arnaud Charlet	1	-1/+1
2019-10-10	[Ada] Replace in Ordered_Maps gets tampering failure	Bob Duff	1	-3/+3
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/+2290