projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1d0c4c) | patch
[Ada] Add contracts to Ada.Strings.Fixed
authorJoffrey Huguet <huguet@adacore.com>
Thu, 12 Nov 2020 09:40:16 +0000 (10:40 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 16 Dec 2020 13:01:04 +0000 (08:01 -0500)
commit571d3fb1f40fa85c769a7dbefd84da6c6e99665d
tree87abf93fe1d3f06c3a4b7e51e6c320e4e184a071tree | snapshot
parentd1d0c4c80058923fbf681d1d80ff90eeb7883949commit | diff
[Ada] Add contracts to Ada.Strings.Fixed

gcc/ada/

* libgnat/a-strfix.ads: Add postconditions and contract cases to
subprograms.
gcc/ada/libgnat/a-strfix.ads diff | blob | history
Domain: System / Toolchain;