Albin Coquereau

Add an artifact section in both the README and the Alt-Ergo website. This section should automatically recover artifacts created by the CI (webworker, windows binary ...). This could ease the...

[Documentation] have doc for each version

1

doc versions: - 2.3.2 - 2.4.0 - ... - dev

[Build] add more checks

1

- Loading and running of plugins / parsers - Loading of preludes - Make rules (archi, ..) - Check if `--where` option results are correct

[Gui] move altgr-ergo.conf file in the share/alt-ergo directory of current opam switch

1

Add option to specify share directory in configure

[Arithmetic] improve the handling of modulo over integer

1

The following example is not proved without the axiomatisation of Why3 over the modulo operator ( [test_mod.zip](https://github.com/OCamlPro/alt-ergo/files/5282161/test_mod.zip)) ``` goal G1 : (forall a:int. forall b:int. (((0

Add something like `drom install --global 4.10.0` or `drom install --global current`