diff --git a/CHANGES.md b/CHANGES.md index 5edba0a0998bf768894b4d796fff2f154f032ace..b345e1a1cafe8a43ca61a29aa85879e5c0af33e1 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,3 @@ -## 0.1 (Unreleased) +## 0.1 (29-06-2022) First release of CAISAR diff --git a/Makefile b/Makefile index b347b4b37140b1968807a991674757f2cac3b931..afb206cd9a9d9d0ee9e2ffee8554a328df103a8a 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ 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=. diff --git a/nnet.opam b/caisar-nnet.opam similarity index 96% rename from nnet.opam rename to caisar-nnet.opam index 74dd218342d2377fc7d8684a5b556e235fde85fd..6e06c4d57e20bbb102d1d2caade43e03200098f5 100644 --- a/nnet.opam +++ b/caisar-nnet.opam @@ -1,7 +1,7 @@ # 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" ] diff --git a/onnx.opam b/caisar-onnx.opam similarity index 96% rename from onnx.opam rename to caisar-onnx.opam index 9ddf1b18bbbaa94dbe243ade14cd33e8bde70899..93513d030e7108e70ccbf98f2a303ec034afc956 100644 --- a/onnx.opam +++ b/caisar-onnx.opam @@ -1,7 +1,7 @@ # 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" ] diff --git a/ovo.opam b/caisar-ovo.opam similarity index 96% rename from ovo.opam rename to caisar-ovo.opam index 14d1b2d7a5fd4f72f6b4cc232edfee6efc4d78ff..2ef8e7f51adde0441989d5bbec09d68626c641b0 100644 --- a/ovo.opam +++ b/caisar-ovo.opam @@ -1,7 +1,7 @@ # 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" ] diff --git a/caisar.opam b/caisar.opam index 9d0db220c037615e80c0b6b2d9dd2d711cd111f2..3e6e2d802e5e412a8da24f69ec5207eda013ab35 100644 --- a/caisar.opam +++ b/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: [ diff --git a/dune-project b/dune-project index 399bc79448991b907f793608706a9d8b4416ed76..9697b4a7d248f0ff768463b92aaa6cb569b4de08 100644 --- a/dune-project +++ b/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) diff --git a/lib/nnet/dune b/lib/nnet/dune index 06d73db506bdaf345e8e94f520ff6c713a41889b..78df3604bfeb0dc9f446c94830734467a33770d1 100644 --- a/lib/nnet/dune +++ b/lib/nnet/dune @@ -1,6 +1,6 @@ (library (name nnet) - (public_name nnet) + (public_name caisar-nnet) (libraries base csv) - (synopsis "NNet parser") + (synopsis "NNet parser for CAISAR") ) diff --git a/lib/onnx/dune b/lib/onnx/dune index ad21171bb50a3c4c3a7b78adb7cb10e7309e10e8..707eb2ddacf480fc55451b333b8d44b9f06b1e56 100644 --- a/lib/onnx/dune +++ b/lib/onnx/dune @@ -1,8 +1,8 @@ (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 diff --git a/lib/ovo/dune b/lib/ovo/dune index fb7f8f77d0445185a4552a97238fd502b0b24c9f..919b62e475c9bbe60e42e3fb2ed194d83de0916e 100644 --- a/lib/ovo/dune +++ b/lib/ovo/dune @@ -1,6 +1,6 @@ (library (name ovo) - (public_name ovo) + (public_name caisar-ovo) (libraries base csv) - (synopsis "OVO parser") + (synopsis "OVO parser for CAISAR") )