[prover] Integration of the AIMOS metamorphic testing prover.
[prover] Add printer for VNN-LIB format for property specification as supported by nnenum and \alpha-\beta-CROWN provers.
[prover] Support for multiple configurations of provers, using the prover-altern command line option. An example of registering an alternate configuration is available under config/caisar-detection.conf
[prover] Add transformation to translate ONNX format into SMTLIB format for allowing SMTLIB2 compliant provers to work on neural networks.
[doc] The first version of the CAISAR manual is publicly available on our website. It includes detailed installation instructions, examples on the ACAS-Xu and MNIST local robustness benchmarks. Those examples use an experimental interpretation language that is not fully documented yet.
[deps] Upgraded Why3 to 1.6.0 version.
Add verify-json command for verifying a robustness property via a JSON configuration file.
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.