Update: simplify the Algo API again by removing the local_env
Things that are currently broken: - the ability to init vars in the dot - controling the name of local vars in the rif output
Showing
- lib/algo/algo.ml 56 additions, 205 deletionslib/algo/algo.ml
- lib/algo/algo.mli 37 additions, 69 deletionslib/algo/algo.mli
- lib/sasacore/env.ml 9 additions, 10 deletionslib/sasacore/env.ml
- lib/sasacore/env.mli 4 additions, 6 deletionslib/sasacore/env.mli
- lib/sasacore/process.ml 7 additions, 46 deletionslib/sasacore/process.ml
- lib/sasacore/process.mli 4 additions, 5 deletionslib/sasacore/process.mli
- lib/sasacore/sasa.ml 23 additions, 29 deletionslib/sasacore/sasa.ml
- lib/sasacore/state.ml 50 additions, 0 deletionslib/sasacore/state.ml
- lib/sasacore/state.mli 31 additions, 0 deletionslib/sasacore/state.mli
- lib/sasacore/stringOf.ml 3 additions, 17 deletionslib/sasacore/stringOf.ml
- lib/sasalib/sasaRun.ml 2 additions, 14 deletionslib/sasalib/sasaRun.ml
- test/Makefile.inc 4 additions, 1 deletiontest/Makefile.inc
- test/bfs-spanning-tree/Makefile 4 additions, 1 deletiontest/bfs-spanning-tree/Makefile
- test/bfs-spanning-tree/p.ml 38 additions, 26 deletionstest/bfs-spanning-tree/p.ml
- test/bfs-spanning-tree/root.ml 36 additions, 34 deletionstest/bfs-spanning-tree/root.ml
- test/coloring/p.ml 25 additions, 27 deletionstest/coloring/p.ml
- test/dfs/Makefile 4 additions, 6 deletionstest/dfs/Makefile
- test/dfs/p.ml 34 additions, 35 deletionstest/dfs/p.ml
- test/dfs/root.ml 38 additions, 13 deletionstest/dfs/root.ml
- test/dijkstra-ring/ring.ml 13 additions, 14 deletionstest/dijkstra-ring/ring.ml
Loading
Please register or sign in to comment