Skip to content

GitLab

v0.25.0
default avatar
nadim@symbolic.software
08347f53 · Verifpal 0.25.0 · 
Verifpal 0.25.0

Verifpal 0.25.0 fixes additional analysis bugs reported by "Melanie" on the Discord chat.
This tag has no release notes.