Aquesta és una versió anterior. La versió actual és la 1.6.7. Verifpal 1.6.7 · Data de publicació:
Fitxers d’instal·lació 1.4.4
| Arquitectura | Tipus | Àmbit | Mida del fitxer | Baixa | SHA256 |
|---|---|---|---|---|---|
| 64 bits | ZIP → Portable · en-US | — | — | github.com | VirusTotal |
L’enllaç i l’SHA256 provenen del manifest comunitari del Gestor de paquets del Windows. Convé comparar el hash del fitxer baixat abans d’executar-lo.
Notes de la versió
## Changelog
* 486e60c5297337415dee438d6ec1f51b51bf610c: Ensure decomposition consistency (@nadimkobeissi)
* a18b236f9ab103ad74998b982ebacedf82b8b87b: Knowledge-rule saturation (@nadimkobeissi)
* e85a4e00b2be0598412eb20cb076d83fd1de2523: New feature: threshold cryptography modeling support (@nadimkobeissi)
* 314c70323dbe1e8a273765fbbc39ee1c0f16f047: Parallelize proposal generation on a rayon pool that only evaluates (@nadimkobeissi)
* a50cc87c0b38fe46d6d1f478fafb8d9133aa8dc4: Performance optimizations (@nadimkobeissi)
* b8e63a68a941f8b5faf0cb3e3babb2def743d2a5: Soundness/completeness fixes + more regression tests (@nadimkobeissi)
* 08d81e39f96f95898aa3a5c206c405c95d625449: Update CLAUDE.md (@nadimkobeissi)
* fb61b63f8b744e82e03738c0e01eec69100c8e13: Update tls13.vp (@nadimkobeissi)https://github.com/symbolicsoft/verifpal/releases/tag/v1.4.4
