Projet_SETI_RISC-V/riscv-gnu-toolchain/gcc/gcc/testsuite/gnat.dg/synchronized2_pkg.ads at main - higepi/Projet_SETI_RISC-V - Forgejo: Beyond coding. We Forge.

Suppression de la possibilité de cloner des dépôts privés en HTTPS ;
Réinstallation de drone ou changement d'outil de CI ;
Possiblement migration de Gitea à Forgejo.

6 lines

104 B

Ada

Raw Permalink Blame History

 package Synchronized2_Pkg with SPARK_Mode is
    type T is limited private;
 private
    task type T;
 end;