v1.4.8

Verifpal 1.4.8

Changes since v1.4.7:

• Massive improvements to RAM usage for large models, inspired by debugging
  session with Mikerah Quintyne-Collins. Thanks, Mikerah!

Changes since v1.4.6:

• Many performance improvements and bug fixes.

Changes since v1.4.5:

• Add SimpleX models
• Fix regression

Changes since v1.4.4:

• Soundness/completeness fixes + more regression tests

Changes since v1.4.3:

Verifpal now models threshold cryptography, such as FROST-like threshold
signing. More details in this blog post:

https://symbolic.software/blog/2026-09-06-verifpal-threshold-cryptography/

Changelog

• f109af9: Fix regressions in performance pass, remove final scaffolding (@nadimkobeissi)
• 4a6b6c1: Remove aws_nitro_attestation from tests (@nadimkobeissi)
• d855f7a: Remove perf debugging code (@nadimkobeissi)
• a2190dd: Remove perf debugging code (@nadimkobeissi)
• 92881aa: Yes, Mikerah, this is the sort of protocol I'd expect Verifpal to be able to analyze (@nadimkobeissi)