Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • 3.0
  • 2.1
  • 2.0
  • 1.0
5 results
Blame Permalink
To find the state of this project's repository at the time of any of these versions, check out the tags.
CHANGES.md 931 B

0.1.1 (Unreleased)

  • Add first version of the CAISAR manual.
  • Add verify-json command for verifying a robustness property via a JSON configuration file.
  • Integration of the nnenum prover.
  • Add printer for VNN-LIB format for property specification as supported by the nnenum prover.
  • Add transformation to translate ONNX format into SMT-LIB format for allowing classic solvers to understand and operate on neural networks.
  • Add verification of datasets for classification tasks in terms of a specific CSV format: each line provides the label in 1st column, and data features in the other columns. Also, add builtin implementations of min-max scaling and z-score normalization for data normalization.
  • Rework the section in README.md for obtaining CAISAR in order to mention the opam package just released.

0.1 (13-07-2022)

First public release of CAISAR.