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

Age	Commit message (Expand)	Author	Files	Lines
2014-07-30	[multiple changes]	Arnaud Charlet	1	-0/+1
2014-07-30	[multiple changes]	Arnaud Charlet	1	-2/+38
2014-07-30	[multiple changes]	Arnaud Charlet	1	-0/+7
2014-07-30	[multiple changes]	Arnaud Charlet	1	-9/+8
2014-07-30	[multiple changes]	Arnaud Charlet	1	-4/+38
2014-07-30	[multiple changes]	Arnaud Charlet	1	-3/+9
2014-07-30	[multiple changes]	Arnaud Charlet	1	-3/+31
2014-07-30	[multiple changes]	Arnaud Charlet	1	-0/+1
2014-07-30	einfo.ads (Is_Inlined): Document new use in GNATprove mode.	Yannick Moy	1	-0/+3
2014-07-30	[multiple changes]	Arnaud Charlet	1	-1/+6
2014-07-30	[multiple changes]	Arnaud Charlet	1	-3/+0
2014-07-30	[multiple changes]	Arnaud Charlet	1	-16/+16
2014-07-30	[multiple changes]	Arnaud Charlet	1	-0/+69
2014-07-30	inline.adb, [...]: Minor reformatting.	Robert Dewar	1	-3/+3
2014-07-30	[multiple changes]	Arnaud Charlet	1	-0/+36
2014-07-30	[multiple changes]	Arnaud Charlet	1	-0/+12
2014-07-29	[multiple changes]	Arnaud Charlet	1	-7/+11
2014-07-29	2014-07-29 Yannick Moy <moy@adacore.com>	Yannick Moy	1	-5/+40
2014-07-29	sem_ch10.adb, [...]: Minor reformatting.	Robert Dewar	1	-5/+6
2014-07-29	sem_ch6.adb (Analyze_Subprogram_Body_Helper): Build body to inline in GNATpro...	Ed Schonberg	1	-2/+5
2014-07-29	[multiple changes]	Arnaud Charlet	1	-6/+7
2014-07-29	sem_ch6.adb: Move Build_Body_To_Inline...	Ed Schonberg	1	-1752/+1
2014-07-29	[multiple changes]	Arnaud Charlet	1	-5/+19
2014-07-29	sem_ch3.adb, [...]: Minor reformatting.	Robert Dewar	1	-3/+5
2014-07-29	[multiple changes]	Arnaud Charlet	1	-19/+15
2014-07-29	[multiple changes]	Arnaud Charlet	1	-0/+9
2014-07-29	sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati...	Robert Dewar	1	-1/+1
2014-07-18	par_sco.adb, [...]: Minor reformatting.	Robert Dewar	1	-3/+20
2014-07-17	[multiple changes]	Arnaud Charlet	1	-0/+10
2014-06-13	lib.ads, [...] (Is_Compiler_Unit): Removed.	Robert Dewar	1	-0/+1
2014-06-11	[multiple changes]	Arnaud Charlet	1	-2/+2
2014-06-11	[multiple changes]	Arnaud Charlet	1	-3/+9
2014-06-11	[multiple changes]	Arnaud Charlet	1	-5/+5
2014-05-21	freeze.adb (Freeze_Record_Type): Update the use of Is_SPARK_Volatile.	Hristian Kirtchev	1	-13/+25
2014-05-21	[multiple changes]	Arnaud Charlet	1	-123/+152
2014-05-21	[multiple changes]	Arnaud Charlet	1	-5/+32
2014-05-21	[multiple changes]	Arnaud Charlet	1	-4/+4
2014-02-25	[multiple changes]	Arnaud Charlet	1	-1/+45
2014-02-25	exp_ch6.adb (Add_Or_Save_Precondition): New routine.	Hristian Kirtchev	1	-17/+14
2014-02-25	[multiple changes]	Arnaud Charlet	1	-4/+5
2014-02-25	[multiple changes]	Arnaud Charlet	1	-5/+6
2014-02-25	sem_ch3.adb, [...]: Mark most references to SPARK RM in error messages for re...	Yannick Moy	1	-2/+2
2014-02-24	[multiple changes]	Arnaud Charlet	1	-1/+5
2014-02-24	sem_ch6.adb (Analyze_Subprogram_Body_Contract): Do not enforce global and dep...	Hristian Kirtchev	1	-4/+12
2014-02-24	[multiple changes]	Arnaud Charlet	1	-0/+9
2014-02-24	[multiple changes]	Arnaud Charlet	1	-2/+4
2014-02-24	[multiple changes]	Arnaud Charlet	1	-0/+12
2014-02-20	[multiple changes]	Arnaud Charlet	1	-28/+57
2014-02-20	[multiple changes]	Arnaud Charlet	1	-0/+15
2014-02-20	einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type.	Robert Dewar	1	-10/+10