Skip to content

Releases: BerkeleyLearnVerify/VerifAI

Version 2.1.1

17 Apr 20:55
5948070
Compare
Choose a tag to compare

This bugfix release of VerifAI fixes an issue which sometimes occurred when using Scenic programs with more than 10 objects (see #54 for details).

Version 2.1.0

29 Jan 23:05
Compare
Choose a tag to compare

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

22 Oct 16:00
Compare
Choose a tag to compare

This is a beta release of the VerifAI 2.x series, which supports Scenic 2.0.