diff options
| author | Yannick Moy <moy@adacore.com> | 2021-12-16 16:42:36 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-11 13:24:46 +0000 |
| commit | e5be83512a66369ae77c9652d3a3073a14ff466a (patch) | |
| tree | ec60839541fd858f961dab3436fec0adb2e5fb74 /gcc/ada/sem_disp.adb | |
| parent | fb8e35819dada2d120817c9dae95703c0bb5841b (diff) | |
| download | gcc-e5be83512a66369ae77c9652d3a3073a14ff466a.zip gcc-e5be83512a66369ae77c9652d3a3073a14ff466a.tar.gz gcc-e5be83512a66369ae77c9652d3a3073a14ff466a.tar.bz2 | |
[Ada] Proof of System.Vectors.Boolean_Operations
gcc/ada/
* libgnat/s-veboop.adb: Add ghost code for proof.
* libgnat/s-veboop.ads: Add specification.
Diffstat (limited to 'gcc/ada/sem_disp.adb')
0 files changed, 0 insertions, 0 deletions