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

2019-08-21	Claire Dross	[Ada] Allow for of iteration on formal vectors 2019-08-21 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2019-08-19	Claire Dross	[Ada] Allow reading a borrowed object inside a call... 2019-08-19 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2019-08-13	Claire Dross	[Ada] Extend range type in search primitives of formal... 2019-08-13 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2019-07-11	Claire Dross	[Ada] Refactor ownership pointer checking in SPARK... 2019-07-11 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2019-07-11	Claire Dross	[Ada] Memory corruption when using formal hashed sets... 2019-07-11 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2019-07-10	Claire Dross	[Ada] Fix possible crashes in GNATprove analysis of... 2019-07-10 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2019-07-05	Claire Dross	[Ada] Ada.Containers.Formal_Vectors: make vectors always... 2019-07-05 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2018-10-09	Claire Dross	[Ada] Functional_Vectors: remove default value for... 2018-10-09 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2018-05-28	Claire Dross	[Ada] Allow for GNATprove specific versions of routines... 2018-05-28 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2017-04-27	Claire Dross	a-cforma.adb, [...] (=): Generic parameter removed... 2017-04-27 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2017-04-27	Claire Dross	a-cofuba.ads (Add): Take as an additional input parameter... 2017-04-27 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2017-01-23	Claire Dross	exp_spark.adb (Expand_SPARK_Attribute_Reference): For... 2017-01-23 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2017-01-19	Claire Dross	exp_ch7.adb (Build_Invariant_Procedure_Body): Semi... 2017-01-19 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree

RSS Atom