Hichem R. A.
Results
13
issues of
Hichem R. A.
Alt-Ergo should only have one front-end, it's very annoying to have to do any changes to the front-end twice, once in Alt-Ergo, once in Dolmen. If more testing needs to...
frontend
refactoring
It would be great to have a `drom dromatize .` command that would dromatize a dune/Makefile project in a minimalist way, aka by adding only the necessary files, getting the...
enhancement
See #611. I am open to suggestion for the flag name and where to place the global variable.