Acasă Explorează Ajutor
Autentificare
RISCI_ATOM
/
wolfssl
oglindă de https://github.com/wolfSSL/wolfssl.git
1
0
Bifurcare 0
Fisiere Probleme 14 Wiki
Arbore: 5372cd5026
Ramuri Etichete

Istoricul angajamentelor

Autor SHA1 Permisiunea de a trimite mesaje. Dacă este dezactivată, utilizatorul nu va putea trimite nici un fel de mesaj Data
  Joakim Strandberg f49ffc0353 The implementations of the tls client and server applications can now be formally verified by the SPARK tools. 1 an în urmă