From 386df8f0c5edbc1fbed865a917c826dba377a007 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 29 Jun 2022 13:51:31 +0200
Subject: [PATCH] Prepare release 0.1
---
CHANGES.md | 2 +-
Makefile | 2 +-
nnet.opam => caisar-nnet.opam | 2 +-
onnx.opam => caisar-onnx.opam | 2 +-
ovo.opam => caisar-ovo.opam | 2 +-
caisar.opam | 6 +++---
dune-project | 18 +++++++++---------
lib/nnet/dune | 4 ++--
lib/onnx/dune | 4 ++--
lib/ovo/dune | 4 ++--
10 files changed, 23 insertions(+), 23 deletions(-)
rename nnet.opam => caisar-nnet.opam (96%)
rename onnx.opam => caisar-onnx.opam (96%)
rename ovo.opam => caisar-ovo.opam (96%)
diff --git a/CHANGES.md b/CHANGES.md
index 5edba0a0..b345e1a1 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 b347b4b3..afb206cd 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 74dd2183..6e06c4d5 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 9ddf1b18..93513d03 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 14d1b2d7..2ef8e7f5 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 9d0db220..3e6e2d80 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 399bc794..9697b4a7 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 06d73db5..78df3604 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 ad21171b..707eb2dd 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 fb7f8f77..919b62e4 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")
)
--
GitLab