Finished implementing exploration inside SASA.
Put temporary fix to #18 by removing back_step
parent
5ac2b2ab
No related branches found
No related tags found
Showing
- lib/sasa/dune 1 addition, 1 deletionlib/sasa/dune
- lib/sasa/sasaRun.ml 10 additions, 2 deletionslib/sasa/sasaRun.ml
- lib/sasaExplore/explorers/exhaust.ml 6 additions, 111 deletionslib/sasaExplore/explorers/exhaust.ml
- lib/sasaExplore/exploring.ml 9 additions, 6 deletionslib/sasaExplore/exploring.ml
- lib/sasaExplore/sasamode/build.ml 151 additions, 0 deletionslib/sasaExplore/sasamode/build.ml
- lib/sasaExplore/simuStateManager.ml 42 additions, 41 deletionslib/sasaExplore/simuStateManager.ml
- lib/sasacore/daemon.ml 0 additions, 1 deletionlib/sasacore/daemon.ml
- lib/sasacore/sasArg.ml 6 additions, 4 deletionslib/sasacore/sasArg.ml
- lib/sasacore/sasArg.mli 2 additions, 0 deletionslib/sasacore/sasArg.mli
- src/dune 1 addition, 1 deletionsrc/dune
- src/sasaMain.ml 5 additions, 1 deletionsrc/sasaMain.ml
- tools/rdbg4sasa/sasa-rdbg-cmds.ml 4 additions, 4 deletionstools/rdbg4sasa/sasa-rdbg-cmds.ml
Loading