Fabrice Le Fessant issues

Results 42 issues of


                                            Fabrice Le Fessant

Add `drom init` as an alias for `drom new PROJECT --inplace`

The name of the project would be inferred from the name of the directory. Other informations could be inferred from the `dune-project` file if present and no `drom.toml`.

enhancement

Add option `--scan DIR` to `drom project` to scan for `package.toml` and add them

enhancement

Unix/Windows common support

* Makes the implementation contain both Unix and Windows implementation on Windows. Used implementation can be used using env variable ANSITerminal=UNIX/WINDOWS * Fix 'erase Screen' and some other issues on...

WIP: get rid of module rec and functors by moving many types into types.ml

Currently, the code of alt-ergo is hard to enter because it is a huge recursive mess, where all theories are functors with a `Sig.SHOSTAK` interface and they are all gathered...

Remove dependency towards unused ez_config

Fix subst of package values description,synopsis,version,authors

FR: add an option `shell_scripts` in `drom.toml`

This option would be used by Github workflows to perform the dos2unix command, with a default setting of `scripts/*.sh`. It could be used to translate also files in `src/PROJECT/*.sh`

drom publish all packages with same version regardless of individual versions

Even if `drom_toml` is specified with version `7.1.0`, its package is published on `opam` with version `0.8.0` with `drom publish`. `drom publish` should correctly handle specific package versions.

Add a way to specify the version of `solc` to be used when building

ft should not complete short addresses with 0

Usually, an address that is less than 64 chars is probably incorrect, we should try to complete with 0s, except maybe if when the first chars are only 0s.