- Mar 10, 2020
-
-
erwan authored
-
- Mar 09, 2020
-
-
erwan authored
Moreover, it was not taking into account whether the graph was directed or not.
-
- Mar 05, 2020
-
-
erwan authored
-
- Feb 07, 2020
-
-
erwan authored
-
- Jul 12, 2019
-
-
Gwennan Eliezer authored
-
- Jul 08, 2019
-
-
Gwennan Eliezer authored
-
- Jul 05, 2019
-
-
Gwennan Eliezer authored
Added an error message when neato doesn't work (when using "gg UDG -du|-dur ...") that is affected by --silent (aka. -s)
-
Gwennan Eliezer authored
Debugged, renamed CommomGraph ClassicGraph, placed all the UDG utils from RandomGraph into a new module, enhanced "gg <command> -s" such that is has effect on warnings, removed "rand" function
-
Gwennan Eliezer authored
Added comments, enhanced 'gg -h', changed some names, replaced an UDG tool function with another, and other minor things.
-
- Jul 04, 2019
-
-
Nathan Rébiscoul authored
-
Gwennan Eliezer authored
Added GraphGen to dune. The command is gg. Also added some comments to some .mli files, and reorganized a bit the functions.
-
- Jul 02, 2019
-
-
Gwennan Eliezer authored
Added the tool genGraph, to create .dot graph files (random ones or not, depending on the graph type).
-