rdbg: should now work in any directory (and not only from sasa/test/*). Ditto for rdbgui4sasa.
Showing
- .gitignore 2 additions, 0 deletions.gitignore
- test/alea-coloring-alt/my-rdbg-tuning.ml 2 additions, 1 deletiontest/alea-coloring-alt/my-rdbg-tuning.ml
- test/alea-coloring-unif/my-rdbg-tuning.ml 2 additions, 1 deletiontest/alea-coloring-unif/my-rdbg-tuning.ml
- test/alea-coloring/my-rdbg-tuning.ml 1 addition, 4 deletionstest/alea-coloring/my-rdbg-tuning.ml
- test/async-unison/async_unison_oracle.ml 1 addition, 1 deletiontest/async-unison/async_unison_oracle.ml
- test/async-unison/my-rdbg-tuning.ml 1 addition, 1 deletiontest/async-unison/my-rdbg-tuning.ml
- test/bfs-spanning-tree/my-rdbg-tuning.ml 1 addition, 1 deletiontest/bfs-spanning-tree/my-rdbg-tuning.ml
- test/coloring/my-rdbg-tuning.ml 1 addition, 1 deletiontest/coloring/my-rdbg-tuning.ml
- test/dfs/my-rdbg-tuning.ml 1 addition, 1 deletiontest/dfs/my-rdbg-tuning.ml
- test/dijkstra-ring/config.ml 1 addition, 1 deletiontest/dijkstra-ring/config.ml
- test/dijkstra-ring/my-rdbg-tuning.ml 2 additions, 1 deletiontest/dijkstra-ring/my-rdbg-tuning.ml
- test/k-clustering/my-rdbg-tuning.ml 1 addition, 1 deletiontest/k-clustering/my-rdbg-tuning.ml
- test/rdbg-utils/chut.svg 0 additions, 20 deletionstest/rdbg-utils/chut.svg
- test/rdbg-utils/graph.png 0 additions, 0 deletionstest/rdbg-utils/graph.png
- test/rdbg-utils/my-rdbg-tuning.ml 0 additions, 3 deletionstest/rdbg-utils/my-rdbg-tuning.ml
- test/rdbg-utils/oracle.jpg 0 additions, 0 deletionstest/rdbg-utils/oracle.jpg
- test/rdbg-utils/oracle_small.jpg 0 additions, 0 deletionstest/rdbg-utils/oracle_small.jpg
- test/rdbg-utils/rdbgui.ml 0 additions, 200 deletionstest/rdbg-utils/rdbgui.ml
- test/rsp-tree/my-rdbg-tuning.ml 1 addition, 3 deletionstest/rsp-tree/my-rdbg-tuning.ml
- test/skeleton/Makefile 9 additions, 16 deletionstest/skeleton/Makefile
Loading
Please register or sign in to comment