Skip to content

Releases: NeVerTools/NeVer2

Release 2.0.4

17 Sep 10:02
@sdemarch sdemarch
v2.0.4
44740f4

Choose a tag to compare

View all tags
Release 2.0.4 Latest
Latest

Patch SMT dump

Assets 2
Loading

Release 2.0.3

17 Sep 08:30
@sdemarch sdemarch
v2.0.3
7a2ff8e

Choose a tag to compare

View all tags
Release 2.0.3

Patched compatibility with new pyNeVer version 1.3.2

Loading

Release 2.0.2

11 Jun 09:17
@sdemarch sdemarch
v2.0.2
2e63ec2

Choose a tag to compare

View all tags
Release 2.0.2

Upgrades to training and verification interfaces

Loading

Release 2.0.1

12 May 13:46
@sdemarch sdemarch
v2.0.1
2d3da3b

Choose a tag to compare

View all tags
Release 2.0.1

Update to align with pyNeVer

Loading

Release 2.0

10 Oct 09:50
@sdemarch sdemarch
v2.0.0
2d0be0a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release 2.0

This is the new release of NeVer2 with the interface towards the new SSBP algorithm used in VNNCOMP 2024

Loading

NeVer2 alpha release

20 Jul 08:35
@sdemarch sdemarch
v1.0-alpha
8ecd84a

Choose a tag to compare

View all tags
NeVer2 alpha release Pre-release
Pre-release

First release of NeVer2, based on the CAV workshop FoMLAS 2021 presentation.

Loading