Prepare release 0.1

CHANGES.md

-## 0.1 (Unreleased)
+## 0.1 (29-06-2022)
 
 First release of CAISAR

Makefile

 all:
-	dune build --root=. @install caisar.opam nnet.opam onnx.opam ovo.opam
+	dune build --root=. @install caisar.opam caisar-nnet.opam caisar-onnx.opam caisar-ovo.opam
 
 test:
 	dune runtest --root=.

nnet.opam → caisar-nnet.opam

 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 version: "0.1"
-synopsis: "NNet parser"
+synopsis: "NNet parser for CAISAR"
 maintainer: [
   "LAISER team, Software Safety and Security Laboratory, CEA-List"
 ]

onnx.opam → caisar-onnx.opam

 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 version: "0.1"
-synopsis: "ONNX parser"
+synopsis: "ONNX parser for CAISAR"
 maintainer: [
   "LAISER team, Software Safety and Security Laboratory, CEA-List"
 ]

ovo.opam → caisar-ovo.opam

 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 version: "0.1"
-synopsis: "OVO parser"
+synopsis: "OVO parser for CAISAR"
 maintainer: [
   "LAISER team, Software Safety and Security Laboratory, CEA-List"
 ]

caisar.opam

@@ -31,9 +31,9 @@ depends: [
   "csv" {>= "2.4"}
   "why3" {= "1.4.0"}
   "re"
-  "nnet" {= version}
-  "ovo" {= version}
-  "onnx" {= version}
+  "caisar-nnet" {= version}
+  "caisar-ovo" {= version}
+  "caisar-onnx" {= version}
   "odoc" {with-doc}
 ]
 build: [

dune-project

@@ -18,8 +18,8 @@
 (documentation https://git.frama-c.com/pub/caisar)
 
 (package
-  (name nnet)
-  (synopsis "NNet parser")
+  (name caisar-nnet)
+  (synopsis "NNet parser for CAISAR")
   (depends
    (ocaml (>= 4.13))
    (dune (>= 2.9.3))
@@ -29,8 +29,8 @@
 )
 
 (package
-  (name ovo)
-  (synopsis "OVO parser")
+  (name caisar-ovo)
+  (synopsis "OVO parser for CAISAR")
   (depends
    (ocaml (>= 4.13))
    (dune (>= 2.9.1))
@@ -40,8 +40,8 @@
 )
 
 (package
-  (name onnx)
-  (synopsis "ONNX parser")
+  (name caisar-onnx)
+  (synopsis "ONNX parser for CAISAR")
   (depends
    (ocaml (>= 4.13))
    (dune (>= 2.9.3))
@@ -74,9 +74,9 @@
    (csv (>= 2.4))
    (why3 (= 1.4.0))
    re
-   (nnet (= :version))
-   (ovo (= :version))
-   (onnx (= :version))
+   (caisar-nnet (= :version))
+   (caisar-ovo (= :version))
+   (caisar-onnx (= :version))
   )
   (sites
    (share stdlib)

lib/nnet/dune

 (library
   (name nnet)
-  (public_name nnet)
+  (public_name caisar-nnet)
   (libraries base csv)
-  (synopsis "NNet parser")
+  (synopsis "NNet parser for CAISAR")
 )

lib/onnx/dune

 (library
   (name onnx)
-  (public_name onnx)
+  (public_name caisar-onnx)
   (libraries base stdio ocaml-protoc-plugin)
-  (synopsis "ONNX parser")
+  (synopsis "ONNX parser for CAISAR")
 )
 
 (rule

lib/ovo/dune

 (library
   (name ovo)
-  (public_name ovo)
+  (public_name caisar-ovo)
   (libraries base csv)
-  (synopsis "OVO parser")
+  (synopsis "OVO parser for CAISAR")
 )