Renaming.

README.md

-# caesar
-
+# caisar

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)))

dune-project

 (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"))

main.ml

 (**************************************************************************)
 (*                                                                        *)
-(*  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 ])
 

model.ml

 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 

model.mli

 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 

property.ml

 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 

property.mli

 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 

property_parser.mly

 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 

property_syntax.mli

 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 

solver.ml

 (**************************************************************************)
 (*                                                                        *)
-(*  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

solver.mli

 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)