projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 745f569) | patch
[Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries
authorJoffrey Huguet <huguet@adacore.com>
Tue, 26 May 2020 16:06:58 +0000 (18:06 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 10 Jul 2020 09:16:18 +0000 (05:16 -0400)
commit25af525c300abc790ef35bf2d8fb083a570b840a
tree27744174e0149ac31c603ccb9a31a0005cad8e88tree | snapshot
parent745f56989ead5d32b4016e39bf2656f23e2b16e7commit | diff
[Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries

gcc/ada/

* libgnat/a-nbnbin.ads, libgnat/a-nbnbre.ads: Add global
contract (Global => null) to all functions.
gcc/ada/libgnat/a-nbnbin.ads diff | blob | history
gcc/ada/libgnat/a-nbnbre.ads diff | blob | history
Domain: System / Toolchain;