diff --git a/caisar-ir.opam b/caisar-ir.opam index 6841ff21dcc2a4a9b8763fa0ac51e1992ff66a87..98ea1897d38bbf6e638bbdcdd3abc34390e4887b 100644 --- a/caisar-ir.opam +++ b/caisar-ir.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "CAISAR's intermediate representation" maintainer: [ "LAISER team, Software Safety and Security Laboratory, CEA-List" diff --git a/caisar-nnet.opam b/caisar-nnet.opam index 8cbd3bce63f892284bbfe5e020d4d075305dc4db..bdbceb34275e97c230e4a91df07079aceabaace9 100644 --- a/caisar-nnet.opam +++ b/caisar-nnet.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "NNet parser for CAISAR" maintainer: [ "LAISER team, Software Safety and Security Laboratory, CEA-List" diff --git a/caisar-onnx.opam b/caisar-onnx.opam index 2554b50a428c30c55143212db4dafcc9f42ca40f..cf26b6b30df85afe93d55379b97d05ddbffbaeb2 100644 --- a/caisar-onnx.opam +++ b/caisar-onnx.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "ONNX parser for CAISAR" maintainer: [ "LAISER team, Software Safety and Security Laboratory, CEA-List" diff --git a/caisar-ovo.opam b/caisar-ovo.opam index 53a1963cd920feddf5864dee668934d3e9530944..3ed5ce417f266ae2770e4cc8e64649e4ba68dbd4 100644 --- a/caisar-ovo.opam +++ b/caisar-ovo.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "OVO parser for CAISAR" maintainer: [ "LAISER team, Software Safety and Security Laboratory, CEA-List" diff --git a/caisar.opam b/caisar.opam index a7bdf56dfed5fcb69259b262713918f4e6b34ce3..4e40da1c363303d9ac299ff1b8a547c869166c5f 100644 --- a/caisar.opam +++ b/caisar.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.1" +version: "0.2" synopsis: "A platform for characterizing the safety and robustness of artificial intelligence based software" maintainer: [