Verifpal 0.24.1 Verifpal 0.24.0 fixes a bug that could cause misleading confidentiality query outputs. Verifpal 0.24.1 is a minor follow-up release with improvements to the command-line interface.
This tag has no release notes.
Verifpal 0.24.1 Verifpal 0.24.0 fixes a bug that could cause misleading confidentiality query outputs. Verifpal 0.24.1 is a minor follow-up release with improvements to the command-line interface.