- Mar 10, 2020
-
-
erwan authored
-
- Mar 09, 2020
- Mar 05, 2020
-
-
erwan authored
-
- Feb 09, 2020
-
- Feb 08, 2020
-
-
erwan authored
-
- Feb 07, 2020
- Oct 14, 2019
-
-
erwan authored
-
- Jul 15, 2019
-
-
Gwennan Eliezer authored
-
- Jul 12, 2019
-
-
Gwennan Eliezer authored
-
- Jul 10, 2019
-
-
Gwennan Eliezer authored
Moved the python environment into 'tools', added Project object in the python environment alongside minor changes, created some scripts to test the environment, and changed make_dot function in topology.ml such that it removes the path of a file before using it as graph name.
-
- Jul 09, 2019
-
-
Gwennan Eliezer authored
Added tools/test/skeleton to test gg and gg-deco. Made also small modifications to make_dot (in topology.ml)
-
- Jul 08, 2019
-
-
Gwennan Eliezer authored
-
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)
-
Nathan Rébiscoul authored
-
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).
-