Some renaming.

lib/nnet/nnet.ml

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

lib/nnet/nnet.mli

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

src/autodetection.ml

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

src/language.ml

 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caisar.                                          *)
+(*  This file is part of CAISAR.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
@@ -30,7 +30,6 @@ let nnet_parser env _ filename _ =
         (List.init header.n_inputs ~f)
         (Ty.ty_tuple (List.init header.n_outputs ~f))
     in
-
     let th_uc =
       Pmodule.add_pdecl ~vc:false th_uc
         (Pdecl.create_pure_decl @@ Decl.create_param_decl ls_nnet_apply)

src/main.ml

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

src/verification.ml

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