git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/exp_util.adb

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / exp_util.adb

2021-05-07	Bob Duff	[Ada] Variable-sized node types	blob \| commitdiff \| raw
2021-05-07	Ed Schonberg	[Ada] Crash on imported object with deep initialization...	blob \| commitdiff \| raw \| diff to current
2021-05-07	Ed Schonberg	[Ada] Spurious error on protected call in inherited...	blob \| commitdiff \| raw \| diff to current
2021-05-06	Arnaud Charlet	[Ada] Fix typos	blob \| commitdiff \| raw \| diff to current
2021-05-05	Ghjuvan Lacambre	[Ada] Remove commented code	blob \| commitdiff \| raw \| diff to current
2021-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw \| diff to current
2021-05-03	Piotr Trojanek	[Ada] Replace calls to RTE with Is_RTE where possible	blob \| commitdiff \| raw \| diff to current
2021-04-29	Gary Dismukes	[Ada] SPARK needs DIC expressions within partial DIC...	blob \| commitdiff \| raw \| diff to current
2021-04-28	Gary Dismukes	[Ada] AI12-0397: Default_Initial_Condition expressions...	blob \| commitdiff \| raw \| diff to current
2020-12-17	Arnaud Charlet	[Ada] Remove unused subprograms in validsw	blob \| commitdiff \| raw \| diff to current
2020-12-16	Piotr Trojanek	[Ada] Simplify membership tests with N_Subprogram_Call...	blob \| commitdiff \| raw \| diff to current
2020-12-15	Arnaud Charlet	[Ada] Transform_Function_Array issues	blob \| commitdiff \| raw \| diff to current
2020-12-14	Arnaud Charlet	[Ada] Add annotation after recent compiler changes	blob \| commitdiff \| raw \| diff to current
2020-12-14	Eric Botcazou	[Ada] Fix internal error on bit-packed array in Volatil...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Gary Dismukes	[Ada] Implement inheritance for Default_Initial_Conditi...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Piotr Trojanek	[Ada] Fix folding of comparison operators in GNATprove...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Arnaud Charlet	[Ada] Confusion in Transform_Function_Array and interna...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Piotr Trojanek	[Ada] Reuse Is_Access_Object_Type where possible	blob \| commitdiff \| raw \| diff to current
2020-11-26	Gary Dismukes	[Ada] Correct a typo, plus other minor reformatting	blob \| commitdiff \| raw \| diff to current
2020-11-25	Ed Schonberg	[Ada] Further optimization with uninitialized aggregates	blob \| commitdiff \| raw \| diff to current
2020-11-25	Gary Dismukes	[Ada] Remove hyphens in two cases of "side-effect"...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Yannick Moy	[Ada] Minimize side-effect removal in GNATprove mode	blob \| commitdiff \| raw \| diff to current
2020-11-25	Piotr Trojanek	[Ada] Remove repeated calls to Attribute_Name	blob \| commitdiff \| raw \| diff to current
2020-11-25	Piotr Trojanek	[Ada] Fix style and typos in code for expanding attribu...	blob \| commitdiff \| raw \| diff to current
2020-11-24	Arnaud Charlet	[Ada] Premature finalization on build in place return...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Johannes Kanig	[Ada] GNATprove: remove support for external axiomatiza...	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	Eric Botcazou	[Ada] Basic support for 128-bit types	blob \| commitdiff \| raw \| diff to current
2020-10-20	Steve Baird	[Ada] Implement AI12-0280 Making 'Old more flexible	blob \| commitdiff \| raw \| diff to current
2020-10-20	Eric Botcazou	[Ada] Fix internal error on bit-aligned component of...	blob \| commitdiff \| raw \| diff to current
2020-10-20	Piotr Trojanek	[Ada] Support for new aspect Subprogram_Variant on...	blob \| commitdiff \| raw \| diff to current
2020-10-16	Steve Baird	[Ada] Avoid premature finalization of a function result	blob \| commitdiff \| raw \| diff to current
2020-10-16	Arnaud Charlet	[Ada] Remove support for -gnatP and pragma Polling	blob \| commitdiff \| raw \| diff to current
2020-10-16	Eric Botcazou	[Ada] Add Max_Integer_Size attribute and couple of...	blob \| commitdiff \| raw \| diff to current
2020-10-15	Piotr Trojanek	[Ada] Do not remove side effects from any object declar...	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-15	Arnaud Charlet	[Ada] Ongoing work for AI12-0212: container aggregates	blob \| commitdiff \| raw \| diff to current
2020-07-10	Arnaud Charlet	[Ada] Use small limit for aggregates inside subprograms	blob \| commitdiff \| raw \| diff to current
2020-07-08	Piotr Trojanek	[Ada] Style cleanups related to Current_Condition	blob \| commitdiff \| raw \| diff to current
2020-06-18	Javier Miranda	[Ada] Crash in tagged type constructor with task components	blob \| commitdiff \| raw \| diff to current
2020-06-16	Piotr Trojanek	[Ada] Reuse Is_Object where possible	blob \| commitdiff \| raw \| diff to current
2020-06-16	Piotr Trojanek	[Ada] Force evaluation of qualified aggregates	blob \| commitdiff \| raw \| diff to current
2020-06-16	Piotr Trojanek	[Ada] Force evaluation of operator calls in renamings	blob \| commitdiff \| raw \| diff to current
2020-06-11	Eric Botcazou	[Ada] Fix assertion failure on entry call through unche...	blob \| commitdiff \| raw \| diff to current
2020-06-10	Bob Duff	[Ada] Disable unwanted warnings in Assertion_Policy...	blob \| commitdiff \| raw \| diff to current
2020-06-09	Arnaud Charlet	[Ada] Code clean ups and comments updates	blob \| commitdiff \| raw \| diff to current
2020-06-09	Arnaud Charlet	[Ada] Improve handling of aggregates in Side_Effect_Free	blob \| commitdiff \| raw \| diff to current
2020-06-09	Eric Botcazou	[Ada] Propagate DIC, Invariant and Predicate attributes...	blob \| commitdiff \| raw \| diff to current
2020-06-08	Piotr Trojanek	[Ada] Reuse Get_Index_Subtype in the special expander...	blob \| commitdiff \| raw \| diff to current
2020-06-05	Bob Duff	[Ada] Assertion_Policy (Ignore) ignores invariants	blob \| commitdiff \| raw \| diff to current
2020-06-03	Eric Botcazou	[Ada] Avoid creating temporaries in Universal_Integer...	blob \| commitdiff \| raw \| diff to current
2020-06-03	Piotr Trojanek	[Ada] Iterate with procedural versions of Next_......	blob \| commitdiff \| raw \| diff to current
2020-06-03	Eric Botcazou	[Ada] Avoid creating temporaries in Universal_Integer...	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
2019-12-12	Piotr Trojanek	[Ada] Fix repeated words and typos in doc and comments	blob \| commitdiff \| raw \| diff to current
2019-10-10	Bob Duff	[Ada] Assertion_Policy (Ignore) ignores invariants	blob \| commitdiff \| raw \| diff to current
2019-09-19	Eric Botcazou	[Ada] Get rid of useless temporary for slice in overali...	blob \| commitdiff \| raw \| diff to current
2019-09-19	Piotr Trojanek	[Ada] Remove duplicated routines for getting homonym...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Claire Dross	[Ada] Factor out code for deciding statically known...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Eric Botcazou	[Ada] Fix assertion failure on derived private protecte...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Piotr Trojanek	[Ada] Replace low-level membership tests with high...	blob \| commitdiff \| raw \| diff to current
2019-08-20	Piotr Trojanek	[Ada] Inconsistent scope chain due to quantified expression	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Small comment tweaks for 3 predicates on bit...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Fix internal error on comparison of unaligned...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Missing finalization of private protected type	blob \| commitdiff \| raw \| diff to current
2019-07-10	Gary Dismukes	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-10	Yannick Moy	[Ada] Use renamings in GNATprove mode for side-effects...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Piotr Trojanek	[Ada] Exp_Util: minor refactoring	blob \| commitdiff \| raw \| diff to current
2019-07-09	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-09	Javier Miranda	[Ada] Missing runtime range checks with -gnatVa	blob \| commitdiff \| raw \| diff to current
2019-07-09	Yannick Moy	[Ada] Expand type of static expressions in GNATprove...	blob \| commitdiff \| raw \| diff to current
2019-07-03	Hristian Kirtchev	[Ada] ABE checks v3.0, foundations of Elaboration order...	blob \| commitdiff \| raw \| diff to current
2019-07-03	Bob Duff	[Ada] Spell "laid" correctly	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	Hristian Kirtchev	[Ada] Crash on ignored Ghost expression function	blob \| commitdiff \| raw \| diff to current
2018-12-03	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-11-14	Ed Schonberg	[Ada] Problem with boundary case of XOR operation and...	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Limited function violates No_Exception_Propagation	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Lingering loop for ignored Ghost assignment	blob \| commitdiff \| raw \| diff to current
2018-09-26	Ed Schonberg	[Ada] Spurious error on private extension with predicate	blob \| commitdiff \| raw \| diff to current
2018-09-26	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-09-26	Eric Botcazou	[Ada] Preparation for new description of interface...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Thomas Quinot	[Ada] Propagate bit order and SSO from root to classwid...	blob \| commitdiff \| raw \| diff to current
2018-08-21	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-08-21	Eric Botcazou	[Ada] Fix internal error on extension of record with...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Suppress the expansion of ignored assertion pragmas	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Double finalization of limited controlled result	blob \| commitdiff \| raw \| diff to current
2018-05-30	Bob Duff	[Ada] Spell preanalysis, preanalyze correctly	blob \| commitdiff \| raw \| diff to current
2018-05-30	Piotr Trojanek	[Ada] Reuse Is_Rewrite_Substitution where possible	blob \| commitdiff \| raw \| diff to current
2018-05-30	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-28	Arnaud Charlet	[Ada] Disregard alignment issues in CodePeer mode	blob \| commitdiff \| raw \| diff to current
2018-05-28	Justin Squirek	[Ada] Spurious constraint error on array of null-exclud...	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] Crash on function in Ghost subunit	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-24	Hristian Kirtchev	[Ada] Expansion of discrete choices	blob \| commitdiff \| raw \| diff to current
2018-05-23	Ed Schonberg	[Ada] Spurious error on instantiation with type with...	blob \| commitdiff \| raw \| diff to current
2018-05-22	Ed Schonberg	[Ada] Ada2020: Reduction expressions	blob \| commitdiff \| raw \| diff to current
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom