From 5765b8098c108f1187953af86e671050e237025f Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Thu, 20 Jun 2024 15:06:36 +0200
Subject: [PATCH] [release] Upgrade CAISAR version number and added test
dependencies
---
CHANGES.md | 2 +-
caisar.opam | 3 ++-
dune-project | 3 ++-
3 files changed, 5 insertions(+), 3 deletions(-)
diff --git a/CHANGES.md b/CHANGES.md
index d848ead..d6ee9de 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,4 +1,4 @@
-# 2.0 (17-06-2024)
+## 2.0 (19-06-2024)
- [interpretation] Add transformations that allow the verification of several
neural network at once. Within particular patterns, CAISAR will generate
diff --git a/caisar.opam b/caisar.opam
index 0db7513..ed401cf 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: "1.0"
+version: "2.0"
synopsis:
"A platform for characterizing the safety and robustness of artificial intelligence based software"
maintainer: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
@@ -35,6 +35,7 @@ depends: [
"ppx_deriving" {>= "5.1"}
"ppx_inline_test" {>= "0.12.0"}
"ppx_deriving_yojson" {>= "3.6.1"}
+ "conf-python-3" {with-test}
"odoc" {with-doc}
]
build: [
diff --git a/dune-project b/dune-project
index 55284aa..caa45f9 100644
--- a/dune-project
+++ b/dune-project
@@ -1,6 +1,6 @@
(lang dune 3.8)
(name caisar)
-(version 1.0)
+(version 2.0)
(using dune_site 0.1)
@@ -45,6 +45,7 @@
(ppx_deriving (>= 5.1))
(ppx_inline_test (>= 0.12.0))
(ppx_deriving_yojson (>= 3.6.1))
+ (conf-python-3 :with-test)
)
(sites
(share stdlib)
--
GitLab