[Dive] Add a command to explore the graph and sends only the difference
Showing
- src/plugins/dive/build.ml 45 additions, 7 deletionssrc/plugins/dive/build.ml
- src/plugins/dive/build.mli 2 additions, 0 deletionssrc/plugins/dive/build.mli
- src/plugins/dive/graph_types.mli 5 additions, 0 deletionssrc/plugins/dive/graph_types.mli
- src/plugins/dive/imprecision_graph.ml 92 additions, 35 deletionssrc/plugins/dive/imprecision_graph.ml
- src/plugins/dive/imprecision_graph.mli 5 additions, 1 deletionsrc/plugins/dive/imprecision_graph.mli
- src/plugins/dive/server_interface.ml 19 additions, 2 deletionssrc/plugins/dive/server_interface.ml
Loading
Please register or sign in to comment