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

2020-06-09	Javier Miranda	[Ada] Missing check on private overriding of dispatchin...	blob \| commitdiff \| raw
2020-06-08	Arnaud Charlet	[Ada] Remove processing of SPARK_05 restriction	blob \| commitdiff \| raw \| diff to current
2020-06-04	Arnaud Charlet	[Ada] Get rid of Disable_FE_Inline_Always	blob \| commitdiff \| raw \| diff to current
2020-06-04	Justin Squirek	[Ada] Missing accessibility check on access discriminan...	blob \| commitdiff \| raw \| diff to current
2020-06-03	Yannick Moy	[Ada] Improve handling of SPARK_Mode in generic instances	blob \| commitdiff \| raw \| diff to current
2020-06-03	Justin Squirek	[Ada] Incorrect accessibility checking on aliased formals	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Remove ASIS_Mode	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw \| diff to current
2020-06-02	Justin Squirek	[Ada] Spurious accessibility error on return aggregate...	blob \| commitdiff \| raw \| diff to current
2020-05-25	Justin Squirek	[Ada] Spurious accessibility error on return aggregate...	blob \| commitdiff \| raw \| diff to current
2019-12-18	Justin Squirek	[Ada] Missing accessibility check on access discriminants	blob \| commitdiff \| raw \| diff to current
2019-12-16	Eric Botcazou	[Ada] AI12-0001: Independence and Representation clause...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Justin Squirek	[Ada] Spurious error on overriding controlled primitive	blob \| commitdiff \| raw \| diff to current
2019-12-12	Steve Baird	[Ada] Tighten up semantic checking for protected subpro...	blob \| commitdiff \| raw \| diff to current
2019-10-10	Gary Dismukes	[Ada] Various minor typo fixes	blob \| commitdiff \| raw \| diff to current
2019-10-10	Eric Botcazou	[Ada] Fix awkward placement of freeze node for actual...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Justin Squirek	[Ada] Spurious run time error on anonymous access formals	blob \| commitdiff \| raw \| diff to current
2019-09-17	Javier Miranda	[Ada] Adding assertions on extra formals for BIP functi...	blob \| commitdiff \| raw \| diff to current
2019-08-19	Ed Schonberg	[Ada] Legality of protected subp. implementing interfac...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Bob Duff	[Ada] Do not suppress checks in instances of internal...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Ed Schonberg	[Ada] Improper error message on equality op with differ...	blob \| commitdiff \| raw \| diff to current
2019-07-10	Hristian Kirtchev	[Ada] Spurious error on discriminant of incomplete...	blob \| commitdiff \| raw \| diff to current
2019-07-10	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-09	Ed Schonberg	[Ada] Crash/infinite loop on program with multiple...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Piotr Trojanek	[Ada] Reformat comments	blob \| commitdiff \| raw \| diff to current
2019-07-04	Gary Dismukes	[Ada] Expr. func. with private formal rejected in neste...	blob \| commitdiff \| raw \| diff to current
2019-07-03	Justin Squirek	[Ada] Missing consistency check for constant modifier	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] Do not expand code inside ignored ghost bodies	blob \| commitdiff \| raw \| diff to current
2018-12-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-12-11	Ed Schonberg	[Ada] Spurious errors on aspect specifications in gener...	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Spurious error on Ghost null procedure	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-10-09	Ed Schonberg	[Ada] Spurious error message on visibiliy change in...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Ed Schonberg	[Ada] Missing predicate check on return value	blob \| commitdiff \| raw \| diff to current
2018-08-21	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-08-21	Ed Schonberg	[Ada] Crash on expression function and tagged types	blob \| commitdiff \| raw \| diff to current
2018-08-21	Ed Schonberg	[Ada] Spurious crash on expression function as completi...	blob \| commitdiff \| raw \| diff to current
2018-08-21	Ed Schonberg	[Ada] Spurious error on overriding protected function...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ed Schonberg	[Ada] Missing check on illegal equality operation in...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Javier Miranda	[Ada] Crash processing abstract state aspect of a package	blob \| commitdiff \| raw \| diff to current
2018-06-11	Yannick Moy	[Ada] Mark parameters as coming from source for GNATprove	blob \| commitdiff \| raw \| diff to current
2018-05-31	Piotr Trojanek	[Ada] Detect returning procedures annotated with No_Return	blob \| commitdiff \| raw \| diff to current
2018-05-30	Bob Duff	[Ada] Spell preanalysis, preanalyze correctly	blob \| commitdiff \| raw \| diff to current
2018-05-28	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-25	Ed Schonberg	[Ada] Crash on classwide precondition on subprogram...	blob \| commitdiff \| raw \| diff to current
2018-05-24	Justin Squirek	[Ada] Quadratic compile time with tagged types	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	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	Justin Squirek	[Ada] Missing warning for unreferenced formals in expre...	blob \| commitdiff \| raw \| diff to current
2018-05-22	Ed Schonberg	[Ada] Better error message on illegal 'Access on formal...	blob \| commitdiff \| raw \| diff to current
2018-05-22	Hristian Kirtchev	[Ada] Missing error on illegal categorization dependency	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] Spurious error on early call region of tagged...	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	Yannick Moy	[Ada] Spurious error in inlining for GNATprove on prefi...	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	Hristian Kirtchev	[Ada] Missing diagnostic of categorization dependency	blob \| commitdiff \| raw \| diff to current
2018-01-11	Ed Schonberg	[Ada] Crash on expression function as completion, with...	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...	exp_unst.adb (Unnest_Subprograms): Nothing to do if...	blob \| commitdiff \| raw \| diff to current
2017-12-05	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-16	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-16	Bob Duff	sem_ch6.adb (Create_Extra_Formals): The type of the...	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-08	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-20	Pierre-Marie de...	sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with...	blob \| commitdiff \| raw \| diff to current
2017-10-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-09	Pierre-Marie de...	exp_ch6.adb (Expand_N_Extended_Return_Statement): Add...	blob \| commitdiff \| raw \| diff to current
2017-09-29	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-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-12	Bob Duff	sem_ch6.adb (Analyze_Expression_Function): Call Check_D...	blob \| commitdiff \| raw \| diff to current
2017-09-11	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-06	Hristian Kirtchev	exp_attr.adb, [...]: Minor reformatting.	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-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-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-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-28	Arnaud Charlet	Minor reformatting.	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
2017-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
next

RSS Atom