Pierre Villemot
Pierre Villemot
Actually Alt-Ergo built but we use the command `alt-ergo --help=groff` in a dune script to generate the man page after compiling the binary. The command failed and the installation aborted....
At least we have a message :) I tried to compile Alt-Ergo in `cmd.exe` with `make bin` and it works fine in my environment. Just to be sure we have...
It seems that the last error is output by the ocaml compiler and could come from a mismatch between the assembler of `mingw` and the generated assembler by the ocaml...
I closed this issue as I didn't manage to reproduce the bug and latest opam releases have better Windows support. Feel free to open another issue if the bug is...
I think it is easy but an extensive task indeed. Adding `%query_time;` is easier but it creates another undesirable dependencies. Having two ways to print HTML is painful because it...
Are you sure that `!GWPARAM_ITL.get_families` works into `Perso` module? I searched in all the code base and the function pointer `GWPARAM_ITL.get_families` never changes, which means the dummy implementation is always...
@hgouraud ping
I wonder what your opinion is about the Lia plugin. It seems to be dead code as I explained in my previous message.
I'm really busy today and tomorrow :/ explain me your issue by mail and I'll respond as soon as possible
> In your particular case, indexmap::map::core::equivalent relies on `impl` types, which are not yet supported, although we have an open PR about this: [#1351](https://github.com/creusot-rs/creusot/pull/1351). This was my assumption, good to...