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

Age	Commit message (Expand)	Author	Files	Lines
2023-06-20	ada: Remove references to Might_Not_Return and Always_Return	Claire Dross	1	-3/+3
2022-07-12	[Ada] Annotate libraries with returning annotation	Joffrey Huguet	1	-0/+2
2021-06-21	[Ada] Add Ada.Strings.Text_Buffers and replace uses of Ada.Strings.Text_Output	Steve Baird	1	-2/+2
2021-04-29	[Ada] AI12-0407: Fixups on Big_Integers and Big_Reals	Arnaud Charlet	1	-1/+4
2020-11-24	[Ada] AI12-0394 Named Numbers and User-Defined Numeric Literals	Arnaud Charlet	1	-1/+1
2020-07-27	[Ada] Switch Ada_Version_Runtime to Ada 2020	Arnaud Charlet	1	-2/+0
2020-07-10	[Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries	Joffrey Huguet	1	-39/+68
2020-07-06	[Ada] AI12-0366 Changes to Big_Integer and Big_Real	Arnaud Charlet	1	-5/+6
2020-06-19	[Ada] AI12-0366 Changes to Big_Integer and Big_Real	Arnaud Charlet	1	-25/+29
2020-06-17	[Ada] Remove obsolete comments in Big_Numbers	Arnaud Charlet	1	-3/+0
2020-06-16	[Ada] Enable literal aspect specifications in Big_Numbers specs	Steve Baird	1	-2/+2
2020-06-15	[Ada] Allow uninitialized values on Big_Positive/Natural	Arnaud Charlet	1	-2/+6
2020-06-12	[Ada] Ada2020: update Big_Numbers.* specs	Bob Duff	1	-7/+7
2020-06-11	[Ada] Remove aspects that were commented out	Arnaud Charlet	1	-1/+0
2020-06-03	[Ada] Add detection of uninitialized big reals	Arnaud Charlet	1	-2/+2
2019-12-18	[Ada] Simplify Big_Integer and Big_Real interface	Arnaud Charlet	1	-24/+5
2019-12-16	[Ada] AI12-0208 Support for Ada.Numerics.Big_Numbers.Big_Integers and Big_Reals	Arnaud Charlet	1	-0/+164