Fix: the gg and gg-deco were buggy wrt directed graphs
Showing
- tools/gg-deco/ggDeco.ml 7 additions, 5 deletionstools/gg-deco/ggDeco.ml
- tools/gg/classicGraph.ml 4 additions, 18 deletionstools/gg/classicGraph.ml
- tools/gg/graphGen.ml 7 additions, 6 deletionstools/gg/graphGen.ml
- tools/simca/Makefile 1 addition, 1 deletiontools/simca/Makefile
- tools/simca/coloring_campaign.ml 8 additions, 20 deletionstools/simca/coloring_campaign.ml
- tools/simca/genExpeMakefiles.ml 18 additions, 1 deletiontools/simca/genExpeMakefiles.ml
- tools/simca/genExpeMakefilesUtils.ml 2 additions, 2 deletionstools/simca/genExpeMakefilesUtils.ml
- tools/simca/gen_pdf.r 5 additions, 2 deletionstools/simca/gen_pdf.r
- tools/simca/nonreg_test_campaign.ml 5 additions, 18 deletionstools/simca/nonreg_test_campaign.ml
- tools/simca/spanning_tree_campaign.ml 1 addition, 1 deletiontools/simca/spanning_tree_campaign.ml
Loading
Please register or sign in to comment