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

2020-11-24	Piotr Trojanek	[Ada] Remove SPARK-specific expansion of array aggregates	blob \| commitdiff \| raw
2020-10-27	Piotr Trojanek	[Ada] Fix GNATprove support for iterated_component_asso...	blob \| commitdiff \| raw \| diff to current
2020-10-26	Piotr Trojanek	[Ada] Fix SPARK expansion of iterated_component_assoc...	blob \| commitdiff \| raw \| diff to current
2020-10-26	Piotr Trojanek	[Ada] Cleanup SPARK expansion of aggregates with iterat...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Piotr Trojanek	[Ada] Fix crash in SPARK on array delta_aggregate with...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Piotr Trojanek	[Ada] Decorate iterated_component_association in SPARK...	blob \| commitdiff \| raw \| diff to current
2020-07-27	Piotr Trojanek	[Ada] Add range check for GNATprove on 'Pos to Long_Int...	blob \| commitdiff \| raw \| diff to current
2020-07-15	Piotr Trojanek	[Ada] Fix for possibly null ranges in 'Update and delta...	blob \| commitdiff \| raw \| diff to current
2020-07-10	Gary Dismukes	[Ada] Reformatting and typo corrections	blob \| commitdiff \| raw \| diff to current
2020-07-10	Piotr Trojanek	[Ada] Reuse SPARK expansion of attribute Update for...	blob \| commitdiff \| raw \| diff to current
2020-07-10	Piotr Trojanek	[Ada] Fix expansion of 'Update with multiple choices...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Piotr Trojanek	[Ada] Set range checks for for 'Update on arrays in...	blob \| commitdiff \| raw \| diff to current
2020-07-06	Piotr Trojanek	[Ada] Set range checks flag on 'Update for GNATprove...	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-11	Eric Botcazou	[Ada] Consolidate handling of implicit dereferences...	blob \| commitdiff \| raw \| diff to current
2020-06-10	Piotr Trojanek	[Ada] Revert workaround for expansion of Enum_Rep in...	blob \| commitdiff \| raw \| diff to current
2020-06-10	Piotr Trojanek	[Ada] Fold Enum_Rep attribute in evaluation and not...	blob \| commitdiff \| raw \| diff to current
2020-06-08	Piotr Trojanek	[Ada] Port a modified expansion of Enum_Rep from GNAT...	blob \| commitdiff \| raw \| diff to current
2020-06-08	Piotr Trojanek	[Ada] Reuse standard expansion of 'First and 'Last...	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-02	Arnaud Charlet	[Ada] Bump copyright year	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-20	Yannick Moy	[Ada] Adapt GNATprove expansion for slices with access...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] More precise handling of Size/Object_Size in...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Yannick Moy	[Ada] SPARK: disable expansion of Enum_Rep	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Remove obsolete Is_For_Access_Subtype machinery	blob \| commitdiff \| raw \| diff to current
2019-07-09	Yannick Moy	[Ada] Expand Enum_Rep attribute reference in GNATprove...	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-05-24	Justin Squirek	[Ada] Quadratic compile time with tagged types	blob \| commitdiff \| raw \| diff to current
2018-01-11	Arnaud Charlet	[Ada] Bump copyright notices to 2018	blob \| commitdiff \| raw \| diff to current
2017-11-08	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-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-25	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-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Hristian Kirtchev	exp_ch9.adb (Expand_Entry_Barrier): Code cleanup.	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
2017-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-23	Hristian Kirtchev	sem_ch3.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2017-01-23	Claire Dross	exp_spark.adb (Expand_SPARK_Attribute_Reference): For...	blob \| commitdiff \| raw \| diff to current
2017-01-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Hristian Kirtchev	sem_aggr.adb, [...]: Update all eligible case statement...	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-20	Yannick Moy	exp_spark.adb (Expand_SPARK_Call): Remove procedure.	blob \| commitdiff \| raw \| diff to current
2014-01-20	Yannick Moy	2014-01-20 Yannick Moy <moy@adacore.com>	blob \| commitdiff \| raw \| diff to current
2013-10-17	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-10-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2013-04-24	Yannick Moy	adabkend.adb, [...]: Everything with name 'Alfa' rename...	blob \| commitdiff \| raw \| diff to current

RSS Atom