feat: provide the rounds in sasa at each step (and so don't compute in rdbg anymore)
Showing
- lib/sasa/sasaRun.ml 23 additions, 11 deletionslib/sasa/sasaRun.ml
- lib/sasacore/genOracle.ml 5 additions, 5 deletionslib/sasacore/genOracle.ml
- lib/sasacore/round.ml 89 additions, 0 deletionslib/sasacore/round.ml
- lib/sasacore/simuState.ml 2 additions, 2 deletionslib/sasacore/simuState.ml
- src/sasaMain.ml 30 additions, 46 deletionssrc/sasaMain.ml
- test/Makefile 20 additions, 0 deletionstest/Makefile
- test/alea-coloring-alt/Makefile 2 additions, 1 deletiontest/alea-coloring-alt/Makefile
- test/alea-coloring-unif/Makefile 2 additions, 2 deletionstest/alea-coloring-unif/Makefile
- test/alea-coloring/Makefile 2 additions, 1 deletiontest/alea-coloring/Makefile
- test/async-unison/Makefile 3 additions, 2 deletionstest/async-unison/Makefile
- test/async-unison/ring.rif.exp 504 additions, 504 deletionstest/async-unison/ring.rif.exp
- test/bfs-spanning-tree/Makefile 6 additions, 4 deletionstest/bfs-spanning-tree/Makefile
- test/bfs-spanning-tree/fig51_noinit.rif.exp 8 additions, 8 deletionstest/bfs-spanning-tree/fig51_noinit.rif.exp
- test/bfs-st-HC92/Makefile 2 additions, 1 deletiontest/bfs-st-HC92/Makefile
- test/dfs-list/4.13.1/g.rif.exp 31 additions, 31 deletionstest/dfs-list/4.13.1/g.rif.exp
- test/dfs/4.13.1/ER.rif.exp 37 additions, 37 deletionstest/dfs/4.13.1/ER.rif.exp
- test/dfs/4.13.1/g.rif.exp 31 additions, 31 deletionstest/dfs/4.13.1/g.rif.exp
- test/dijkstra-ring/Makefile 3 additions, 2 deletionstest/dijkstra-ring/Makefile
- test/dijkstra-ring/ring.rif.exp 15 additions, 15 deletionstest/dijkstra-ring/ring.rif.exp
- test/k-clustering/Makefile 2 additions, 1 deletiontest/k-clustering/Makefile
Loading
Please register or sign in to comment