Repository navigation
Alpha release
This version was part of the paper Automatic verification of Finite Variant Property
beyond convergent equational theories accepted for publication at 38th IEEE Computer Security Foundations Symposium (CSF 2025).
Full Changelog: https://github.com/VincentCheval/fvpgen/commits/v0.1.0-alpha