Debugged, renamed CommomGraph ClassicGraph, placed all the UDG utils from...
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
Showing
- tools/graphgen/classicGraph.ml 13 additions, 10 deletionstools/graphgen/classicGraph.ml
- tools/graphgen/classicGraph.mli 0 additions, 0 deletionstools/graphgen/classicGraph.mli
- tools/graphgen/ggcore.ml 7 additions, 8 deletionstools/graphgen/ggcore.ml
- tools/graphgen/ggcore.mli 0 additions, 3 deletionstools/graphgen/ggcore.mli
- tools/graphgen/graphGen.ml 43 additions, 35 deletionstools/graphgen/graphGen.ml
- tools/graphgen/graphGen_arg.ml 20 additions, 22 deletionstools/graphgen/graphGen_arg.ml
- tools/graphgen/graphGen_arg.mli 1 addition, 1 deletiontools/graphgen/graphGen_arg.mli
- tools/graphgen/randomGraph.ml 0 additions, 67 deletionstools/graphgen/randomGraph.ml
- tools/graphgen/randomGraph.mli 0 additions, 35 deletionstools/graphgen/randomGraph.mli
- tools/graphgen/udgUtils.ml 70 additions, 0 deletionstools/graphgen/udgUtils.ml
- tools/graphgen/udgUtils.mli 42 additions, 0 deletionstools/graphgen/udgUtils.mli
Loading
Please register or sign in to comment