Skip to content

Releases: Verisig/verisig

v2.0

09 Jun 17:05
Compare
Choose a tag to compare
  • Taylor Model preconditioning and shrink wrapping
  • Add support for parallelization of Flow*
  • Adds support for multiple DNNs in a single model

v1.0

11 Feb 20:40
Compare
Choose a tag to compare
Release v1.0