Pierre Villemot

Use only templates to generate HTML

2

There are two systems to generate HTML in GeneWeb: 1. Using the template engine. 2. Using OCaml function located in `Hutil` module. As most of the HTML is output with...

As you know, the security of GeneWeb, and in particular gwd is inexistant. I open this PR to list some of the biggest security holes in GeneWeb and discuss how...

The format used for indexes has been changed in commit https://github.com/geneweb/geneweb/commit/bc07bc1a. Previously, a custom version of AVL trees from the standard library was employed for indexes. The module is named...

The hashbrown crate doesn't require std but we cannot import `creusot_contracts` without std. My workaround consists in removing `#![no_std]`.

Wrong type annotations with Lwt_ppx 5.9.2

1

It seems that `Lwt_ppx` no longer inserts type annotations at the right location. The following code: ```ocaml let main () = let%lwt (_ : int) = Lwt.return 0 in Lwt.return_unit...

`opam show` displays a `source-hash` that is not the installed commit

4

Let's image that you use `opam pin` to install a modified dependency. After modifying the code, you expect that running `opam pin` again will update the installed package to the...

Use dune to generate `version.ml`

1

It is simpler to generate most of the files with Dune in order to ease dune/opam releases.

This PR is rebased on #2387.