diff options
| author | Claire Dross <dross@adacore.com> | 2017-04-27 12:55:29 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 14:55:29 +0200 |
| commit | f2acfbce60d8225bff9f469a68606ebd2fe54736 (patch) | |
| tree | 859e9ecb7473339706815e066f104967fe02abd9 /gcc/tree.c | |
| parent | 12ead254ee6dbb32760593207417ca2ebcc2ef59 (diff) | |
| download | gcc-f2acfbce60d8225bff9f469a68606ebd2fe54736.zip gcc-f2acfbce60d8225bff9f469a68606ebd2fe54736.tar.gz gcc-f2acfbce60d8225bff9f469a68606ebd2fe54736.tar.bz2 | |
a-cforma.adb, [...] (=): Generic parameter removed to allow the use of regular equality over elements in...
2017-04-27 Claire Dross <dross@adacore.com>
* a-cforma.adb, a-cforma.ads (=): Generic parameter removed to
allow the use of regular equality over elements in contracts.
(Formal_Model): Ghost package containing model functions that
are used in subprogram contracts.
(Current_To_Last): Removed, model functions should be used instead.
(First_To_Previous): Removed, model functions should be used instead.
(Strict_Equal): Removed, model functions should be used instead.
(No_Overlap): Removed, model functions should be used instead.
* a-cofuma.adb, a-cofuma.ads (Enable_Handling_Of_Equivalence)
Boolean generic parameter to disable contracts for equivalence
between keys.
(Witness): Create a witness of a key that is used for handling of
equivalence between keys.
(Has_Witness): Check whether a witness is contained in a map.
(W_Get): Get the element associated to a witness.
(Lift_Equivalent_Keys): Removed, equivalence between keys is handled
directly.
* a-cofuse.adb, a-cofuse.ads (Enable_Handling_Of_Equivalence)
Boolean generic parameter to disable contracts for equivalence
between keys.
* a-cfhama.adb, a-cfhama.ads (Formal_Model.P) Disable handling
of equivalence on functional maps.
* a-cfdlli.adb, a-cfdlli.ads (Formal_Model.P) Disable handling
of equivalence on functional maps.
From-SVN: r247328
Diffstat (limited to 'gcc/tree.c')
0 files changed, 0 insertions, 0 deletions