2018-10-09 | Claire Dross | [Ada] Functional_Vectors: remove default value for... 2018-10-09 Claire Dross <dross@adacore.com> |
commitcommitdifftree |
2018-05-28 | Claire Dross | [Ada] Allow for GNATprove specific versions of routines... 2018-05-28 Claire Dross <dross@adacore.com> |
commitcommitdifftree |
2017-04-27 | Claire Dross | a-cforma.adb, [...] (=): Generic parameter removed... 2017-04-27 Claire Dross <dross@adacore.com> |
commitcommitdifftree |
2017-04-27 | Claire Dross | a-cofuba.ads (Add): Take as an additional input parameter... 2017-04-27 Claire Dross <dross@adacore.com> |
commitcommitdifftree |
2017-01-23 | Claire Dross | exp_spark.adb (Expand_SPARK_Attribute_Reference): For... 2017-01-23 Claire Dross <dross@adacore.com> |
commitcommitdifftree |
2017-01-19 | Claire Dross | exp_ch7.adb (Build_Invariant_Procedure_Body): Semi... 2017-01-19 Claire Dross <dross@adacore.com> |
commitcommitdifftree |