git.libre-soc.org Git - gcc.git/history

2019-07-04	Yannick Moy	[Ada] SPARK_Mode Off now allowed inside subprogram	blob \| commitdiff \| raw
2019-07-03	Hristian Kirtchev	[Ada] ABE checks v3.0, foundations of Elaboration order...	blob \| commitdiff \| raw \| diff to current
2019-07-01	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-01	Ed Schonberg	[Ada] Crash on improper pragma Weak_External	blob \| commitdiff \| raw \| diff to current
2019-07-01	Piotr Trojanek	[Ada] Remove a SPARK rule about implicit Global	blob \| commitdiff \| raw \| diff to current
2019-05-28	Eric Botcazou	implementation_defined_pragmas.rst (Machine_Attribute...	blob \| commitdiff \| raw \| diff to current
2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw \| diff to current
2018-12-11	Yannick Moy	[Ada] Improve error message when named number passed...	blob \| commitdiff \| raw \| diff to current
2018-11-14	Eric Botcazou	[Ada] Fix assertion failure on pragma Compile_Time_Erro...	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-10-09	Yannick Moy	[Ada] Ignore pragmas Compile_Time_Error/Warning in...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Elisa Barboni	[Ada] SPARK: minor error message enhancement	blob \| commitdiff \| raw \| diff to current
2018-09-26	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-09-26	Olivier Hainque	[Ada] Front-end support for OpenACC pragmas	blob \| commitdiff \| raw \| diff to current
2018-07-31	Hristian Kirtchev	[Ada] Spurious error on the placement of aspect Global	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Spurious error on Part_Of indicator	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Spurious error on unused Part_Of constituent	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Missing error on hidden state in instantiation	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-06-11	Yannick Moy	[Ada] Reject violation of SPARK 6.1.4(12) with enclosin...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Arnaud Charlet	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-06-11	Yannick Moy	[Ada] Do not force Part_Of on generic units	blob \| commitdiff \| raw \| diff to current
2018-05-31	Piotr Trojanek	[Ada] Simplify call to Unique_Defining_Entity on protec...	blob \| commitdiff \| raw \| diff to current
2018-05-31	Piotr Trojanek	[Ada] Set Etype on rewriteen Max_Queue_Length expressions	blob \| commitdiff \| raw \| diff to current
2018-05-31	Yannick Moy	[Ada] Fix check on placement of multiple loop (in)varia...	blob \| commitdiff \| raw \| diff to current
2018-05-30	Justin Squirek	[Ada] Implement pragma Max_Entry_Queue_Depth	blob \| commitdiff \| raw \| diff to current
2018-05-30	Piotr Trojanek	[Ada] Simplify conditions by removing always true conjuncts	blob \| commitdiff \| raw \| diff to current
2018-05-28	Hristian Kirtchev	[Ada] Spurious error on aspect Volatile	blob \| commitdiff \| raw \| diff to current
2018-05-25	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-25	Yannick Moy	[Ada] Fix handling of Loop_Entry for CodePeer/SPARK	blob \| commitdiff \| raw \| diff to current
2018-05-25	Yannick Moy	[Ada] Detect misplaced assertions between loop invariants	blob \| commitdiff \| raw \| diff to current
2018-05-24	Piotr Trojanek	[Ada] Simplify routines with a local Result variable	blob \| commitdiff \| raw \| diff to current
2018-05-24	Hristian Kirtchev	[Ada] Spurious error on pragma Independent_Components	blob \| commitdiff \| raw \| diff to current
2018-05-24	Hristian Kirtchev	[Ada] Fix crash on formal containers	blob \| commitdiff \| raw \| diff to current
2018-05-23	Ed Schonberg	[Ada] Implementation of AI12-0131: legality of class...	blob \| commitdiff \| raw \| diff to current
2018-05-23	Hristian Kirtchev	[Ada] Suppression of elaboration-related warnings	blob \| commitdiff \| raw \| diff to current
2018-05-23	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-22	Hristian Kirtchev	[Ada] In-place initialization for Initialize_Scalars	blob \| commitdiff \| raw \| diff to current
2018-05-22	Hristian Kirtchev	[Ada] Prohibit output dependency items on functions	blob \| commitdiff \| raw \| diff to current
2018-05-22	Ed Schonberg	[Ada] Crash on pragma Compile_Time_Warning with declare...	blob \| commitdiff \| raw \| diff to current
2018-05-22	Justin Squirek	[Ada] No error on misplaced pragma Pure_Function	blob \| commitdiff \| raw \| diff to current
2018-05-21	Hristian Kirtchev	[Ada] Aspects on stubs	blob \| commitdiff \| raw \| diff to current
2018-05-21	Hristian Kirtchev	[Ada] Placement of pragma Elaboration_Checks	blob \| commitdiff \| raw \| diff to current
2018-05-21	Piotr Trojanek	[Ada] Fix inconstent subprogram body headers	blob \| commitdiff \| raw \| diff to current
2018-01-11	Arnaud Charlet	[Ada] Bump copyright notices to 2018	blob \| commitdiff \| raw \| diff to current
2018-01-11	Ed Schonberg	[Ada] Handling of pragma Predicate	blob \| commitdiff \| raw \| diff to current
2018-01-11	Justin Squirek	[Ada] Wrong column in sloc of "expect name" error for...	blob \| commitdiff \| raw \| diff to current
2017-12-15	Pierre-Marie de...	exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use...	blob \| commitdiff \| raw \| diff to current
2017-12-15	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-12-15	Pierre-Marie de...	einfo.ads: Comment fix.	blob \| commitdiff \| raw \| diff to current
2017-12-15	Pierre-Marie de...	gnat_and_program_execution.rst: Update section "Dynamic...	blob \| commitdiff \| raw \| diff to current
2017-12-05	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-16	Hristian Kirtchev	opt.ads: Elaboration warnings are now on by default.	blob \| commitdiff \| raw \| diff to current
2017-11-16	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	gnat1drv.adb (Adjust_Global_Switches): Suppress warning...	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-20	Pierre-Marie de...	exp_aggr.adb (Initialize_Array_Component): Avoid adjust...	blob \| commitdiff \| raw \| diff to current
2017-10-14	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-14	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-25	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-18	Pierre-Marie de...	sem_ch4.adb (Complete_Object_Operation): Do not insert...	blob \| commitdiff \| raw \| diff to current
2017-09-18	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	sem_ch3.adb, [...]: Remove references to Frontend_Layou...	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Yannick Moy	sem_prag.adb (Analyze_Depends_In_Decl_Part): Add contin...	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-28	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-28	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
next

RSS Atom