Releases: BerkeleyLearnVerify/VerifAI
Releases · BerkeleyLearnVerify/VerifAI
Version 2.1.1
Version 2.1.0
This minor release of VerifAI adds support for Scenic 3 and fixes several bugs.
N.B. This release was published on PyPI in June 2023 but was accidentally omitted here.
Version 2.0.0b1
This is a beta release of the VerifAI 2.x
series, which supports Scenic 2.0.