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

2020-11-27	Steve Baird	[Ada] Implement AI12-0187 (Stable properties of abstrac...	blob \| commitdiff \| raw
2020-11-26	Gary Dismukes	[Ada] Minor reformatting and a typo fix	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ed Schonberg	[Ada] Improve error message on illegal prefixed procedu...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Justin Squirek	[Ada] Compiler crash on named association in return...	blob \| commitdiff \| raw \| diff to current
2020-10-27	Arnaud Charlet	[Ada] New flag Transform_Function_Array	blob \| commitdiff \| raw \| diff to current
2020-10-23	Justin Squirek	[Ada] Further Ada 2020 work on accessibility checking	blob \| commitdiff \| raw \| diff to current
2020-10-22	Justin Squirek	[Ada] Reimplementation of accessibility checking	blob \| commitdiff \| raw \| diff to current
2020-10-21	Piotr Trojanek	[Ada] Make minimum accessibility level a constant object	blob \| commitdiff \| raw \| diff to current
2020-10-20	Arnaud Charlet	[Ada] Add support for Unreferenced aspect on formal...	blob \| commitdiff \| raw \| diff to current
2020-10-20	Gary Dismukes	[Ada] Inlining nonstatic calls to static expression...	blob \| commitdiff \| raw \| diff to current
2020-10-19	Arnaud Charlet	[Ada] AI12-0352: Early derivation and equality of untag...	blob \| commitdiff \| raw \| diff to current
2020-10-16	Piotr Trojanek	[Ada] Assorted style cleanups	blob \| commitdiff \| raw \| diff to current
2020-07-27	Arnaud Charlet	[Ada] Use membership tests in front-end	blob \| commitdiff \| raw \| diff to current
2020-07-16	Bob Duff	[Ada] Ada2020: AI12-0289 Implicitly null excluding...	blob \| commitdiff \| raw \| diff to current
2020-07-16	Justin Squirek	[Ada] Incorrect static accessibility error in return...	blob \| commitdiff \| raw \| diff to current
2020-07-15	Arnaud Charlet	[Ada] Missing error on operator call	blob \| commitdiff \| raw \| diff to current
2020-07-15	Arnaud Charlet	[Ada] Extend static functions	blob \| commitdiff \| raw \| diff to current
2020-07-10	Eric Botcazou	[Ada] Fix internal error on if-expression in call retur...	blob \| commitdiff \| raw \| diff to current
2020-07-08	Gary Dismukes	[Ada] Static expression function problems with -gnatc...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Arnaud Charlet	[Ada] ACATS 4.1J - B854003 - Subtype conformance check...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Arnaud Charlet	[Ada] ACATS 4.1H - BC60005 - null exclusion matching...	blob \| commitdiff \| raw \| diff to current
2020-06-19	Ed Schonberg	[Ada] Spurious error on private type in ghost expressio...	blob \| commitdiff \| raw \| diff to current
2020-06-19	Javier Miranda	[Ada] ACATS 4.1G - C760A02 - Near infinite finalization	blob \| commitdiff \| raw \| diff to current
2020-06-18	Arnaud Charlet	[Ada] ACATS 4.1J - B854003 - Subtype conformance check...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Piotr Trojanek	[Ada] Add assertions to Preserve_Comes_From_Source...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Gary Dismukes	[Ada] Implement static expression functions for Ada...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Piotr Trojanek	[Ada] Remove unnecessary special-casing of GNATprove...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Steve Baird	[Ada] Implement AI12-0249, AI12-0295 (user-defined...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Arnaud Charlet	[Ada] ACATS 4.1P - BC55001 - Error missed	blob \| commitdiff \| raw \| diff to current
2020-06-16	Gary Dismukes	[Ada] Fix two typos	blob \| commitdiff \| raw \| diff to current
2020-06-15	Eric Botcazou	[Ada] Implement AI12-0343 Return Statement Checks	blob \| commitdiff \| raw \| diff to current
2020-06-15	Javier Miranda	[Ada] Crash in tagged type constructor with task components	blob \| commitdiff \| raw \| diff to current
2020-06-12	Arnaud Charlet	[Ada] Fix handling of subprograms declared in a protect...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Ed Schonberg	[Ada] Diagnose illegal overriding indicators in protect...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Piotr Trojanek	[Ada] Reuse Is_Entry where possible	blob \| commitdiff \| raw \| diff to current
2020-06-12	Eric Botcazou	[Ada] Implement AI12-0269 No_Return for functions	blob \| commitdiff \| raw \| diff to current
2020-06-11	Piotr Trojanek	[Ada] Iterate with procedural version of Next routine...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Piotr Trojanek	[Ada] Update SPARK RM rule numbers after removing a...	blob \| commitdiff \| raw \| diff to current
2020-06-10	Arnaud Charlet	[Ada] Remove more references to ASIS	blob \| commitdiff \| raw \| diff to current
2020-06-09	Javier Miranda	[Ada] Missing check on private overriding of dispatchin...	blob \| commitdiff \| raw \| diff to current
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
next

RSS Atom