Rename cerise -> cerisier in various places

Author: JuneRousseau

README.md

@@ -53,13 +53,6 @@ make -jN  # replace N with the number of CPU cores of your machine
 It is possible to run `make fundamental` to only build files up to the
 Fundamental Theorem.
 
-<!-- # Documentation -->
-
-<!-- An HTML rendering of the development can be browsed online at -->
-<!-- [logsem.github.io/cerise/dev/](https://logsem.github.io/cerise/dev/). In -->
-<!-- particular, the index page provides an overview of the organisation of the -->
-<!-- formalization. -->
-
 # Organization
 
 | *section in the paper*            | *Rocq files*                                   |

flake.nix

@@ -13,22 +13,18 @@
       in
         rec {
           packages.default = coqPackages.mkCoqDerivation {
-              pname = "cerise";
+              pname = "cerisier";
               version = "0.0.0";
 
               coq-version = "8.18";
 
               src = ./.;
-              # src = builtins.fetchGit {
-              #   url = ./.;
-              #   submodules = true;
-              # };
 
               buildInputs = with coqPackages; [ equations iris stdpp ];
 
               meta = with pkgs.lib; {
-                description = "Cerise, Coq mechanization of a capability machine and principles to reason about the interaction of known and unknown code";
-                homepage = "https://github.com/logsem/cerise";
+                description = "Cerisier: A Program Logic for Attestation";
+                homepage = "https://github.com/logsem/cerisier";
                 license = licenses.bsd3;
               };
             };

opam

@@ -1,4 +1,4 @@
-name: "coq-cerise"
+name: "coq-cerisier"
 synopsis: ""
 opam-version: "2.0"
 maintainer: ""