From 627f406853c9c9141a8028c0740a4a60b926d88f Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Sun, 19 Jun 2022 18:56:26 +0200
Subject: [PATCH] Change CAISAR description in opam synopsis and main help
message.
---
caisar.opam | 3 ++-
dune-project | 2 +-
src/main.ml | 5 ++++-
3 files changed, 7 insertions(+), 3 deletions(-)
diff --git a/caisar.opam b/caisar.opam
index 00fd5054..8cc6922d 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -1,7 +1,8 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.1"
-synopsis: "Framework for neural network verification"
+synopsis:
+ "Platform for characterizing the safety and robustness of artificial intelligence based software."
depends: [
"ocaml" {>= "4.13.0"}
"dune-site" {= "2.9.0"}
diff --git a/dune-project b/dune-project
index 539379a5..c1bf8203 100644
--- a/dune-project
+++ b/dune-project
@@ -11,7 +11,7 @@
(package
(name caisar)
- (synopsis "Framework for neural network verification")
+ (synopsis "Platform for characterizing the safety and robustness of artificial intelligence based software.")
(depends
(ocaml (>= 4.13.0))
(dune-site (= 2.9.0))
diff --git a/src/main.ml b/src/main.ml
index 681a3e9b..41485621 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -193,7 +193,10 @@ let verify_cmd =
Term.info cmdname ~sdocs:Manpage.s_common_options ~exits ~doc ~man )
let default_cmd =
- let doc = "Framework for neural networks property verification and more." in
+ let doc =
+ "Platform for characterizing the safety and robustness of artificial \
+ intelligence based software."
+ in
let sdocs = Manpage.s_common_options in
let man =
[
--
GitLab