feat: add the possibility to generate chain with gg
Showing
- test/Makefile.dot 9 additions, 1 deletiontest/Makefile.dot
- tools/gg/classicGraph.ml 32 additions, 14 deletionstools/gg/classicGraph.ml
- tools/gg/classicGraph.mli 10 additions, 8 deletionstools/gg/classicGraph.mli
- tools/gg/graphGen.ml 1 addition, 0 deletionstools/gg/graphGen.ml
- tools/gg/graphGen_arg.ml 11 additions, 10 deletionstools/gg/graphGen_arg.ml
Loading
Please register or sign in to comment