From 4b55af4fe4d35d2bac4ec5ba9d6035eed6e9d706 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 3 Nov 2020 17:02:31 +0100
Subject: [PATCH] Renaming.
---
README.md | 3 +--
dune | 2 +-
dune-project | 4 ++--
main.ml | 4 ++--
model.ml | 2 +-
model.mli | 2 +-
property.ml | 2 +-
property.mli | 2 +-
property_parser.mly | 2 +-
property_syntax.mli | 2 +-
solver.ml | 4 ++--
solver.mli | 2 +-
12 files changed, 15 insertions(+), 16 deletions(-)
diff --git a/README.md b/README.md
index 28e3ff28..1dd0ca03 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1 @@
-# caesar
-
+# caisar
diff --git a/dune b/dune
index 565d6350..5056d33a 100644
--- a/dune
+++ b/dune
@@ -6,7 +6,7 @@
(executable
(name main)
- (public_name caesar)
+ (public_name caisar)
(modules_without_implementation property_syntax)
(libraries base unix str cmdliner)
(preprocess (pps ppx_deriving.show ppx_deriving.ord)))
diff --git a/dune-project b/dune-project
index d9d786a6..c9e75248 100644
--- a/dune-project
+++ b/dune-project
@@ -1,9 +1,9 @@
(lang dune 2.7)
-(name caesar)
+(name caisar)
(version 0.0)
(using menhir 2.1)
(package
- (name caesar)
+ (name caisar)
(synopsis "Framework for neural network verification"))
diff --git a/main.ml b/main.ml
index 381e62f9..084c3030 100644
--- a/main.ml
+++ b/main.ml
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caesar. *)
+(* This file is part of Caisar. *)
(* *)
(**************************************************************************)
@@ -83,7 +83,7 @@ let default_cmd =
in
let version = "0.0" in
Term.(ret (const (fun _ -> `Help (`Pager, None)) $ const ())),
- Term.info "caesar" ~version ~doc ~sdocs ~exits:Term.default_exits ~man
+ Term.info "caisar" ~version ~doc ~sdocs ~exits:Term.default_exits ~man
let () = Term.(exit @@ eval_choice default_cmd [ verify_cmd ])
diff --git a/model.ml b/model.ml
index d4b71cb2..e13dbcc0 100644
--- a/model.ml
+++ b/model.ml
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caesar. *)
+(* This file is part of Caisar. *)
(* *)
(**************************************************************************)
diff --git a/model.mli b/model.mli
index d3e09bcc..45687d86 100644
--- a/model.mli
+++ b/model.mli
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caesar. *)
+(* This file is part of Caisar. *)
(* *)
(**************************************************************************)
diff --git a/property.ml b/property.ml
index 1b20c275..560006b5 100644
--- a/property.ml
+++ b/property.ml
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caesar. *)
+(* This file is part of Caisar. *)
(* *)
(**************************************************************************)
diff --git a/property.mli b/property.mli
index 56409dc0..34a1ee63 100644
--- a/property.mli
+++ b/property.mli
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caesar. *)
+(* This file is part of Caisar. *)
(* *)
(**************************************************************************)
diff --git a/property_parser.mly b/property_parser.mly
index 3238e3b2..e10923a5 100644
--- a/property_parser.mly
+++ b/property_parser.mly
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caesar. *)
+(* This file is part of Caisar. *)
(* *)
(**************************************************************************)
diff --git a/property_syntax.mli b/property_syntax.mli
index c85dc2c1..4b4472c3 100644
--- a/property_syntax.mli
+++ b/property_syntax.mli
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caesar. *)
+(* This file is part of Caisar. *)
(* *)
(**************************************************************************)
diff --git a/solver.ml b/solver.ml
index 86435729..1c67529b 100644
--- a/solver.ml
+++ b/solver.ml
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caesar. *)
+(* This file is part of Caisar. *)
(* *)
(**************************************************************************)
@@ -58,7 +58,7 @@ let check_availability solver =
let solver_name = show_solver solver in
Format.printf "Check availability of `%s'.@." solver_name;
try
- let tmp = Filename.temp_file "caesar" "" in
+ let tmp = Filename.temp_file "caisar" "" in
let cmd =
Filename.quote_command
~stdout:tmp ~stderr:tmp
diff --git a/solver.mli b/solver.mli
index 1958cc9b..1679db45 100644
--- a/solver.mli
+++ b/solver.mli
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This file is part of Caesar. *)
+(* This file is part of Caisar. *)
(* *)
(**************************************************************************)
--
GitLab