Merge branch 'toy-example-guillaume' into 'master'
Toy example (Guillaume) See merge request !13
No related branches found
No related tags found
Checking pipeline status
Showing
- .gitignore 2 additions, 1 deletion.gitignore
- lib/algo/algo.ml 23 additions, 20 deletionslib/algo/algo.ml
- lib/algo/algo.mli 46 additions, 32 deletionslib/algo/algo.mli
- lib/sasacore/dune 2 additions, 2 deletionslib/sasacore/dune
- lib/sasacore/register.ml 80 additions, 58 deletionslib/sasacore/register.ml
- lib/sasacore/register.mli 8 additions, 5 deletionslib/sasacore/register.mli
- lib/sasacore/topology.ml 122 additions, 81 deletionslib/sasacore/topology.ml
- lib/sasacore/topology.mli 2 additions, 1 deletionlib/sasacore/topology.mli
- src/dune 3 additions, 2 deletionssrc/dune
- test/toy-example-sum/.gitignore 3 additions, 0 deletionstest/toy-example-sum/.gitignore
- test/toy-example-sum/Makefile 43 additions, 0 deletionstest/toy-example-sum/Makefile
- test/toy-example-sum/config.ml 54 additions, 0 deletionstest/toy-example-sum/config.ml
- test/toy-example-sum/heuristic-bad-propag.ml 132 additions, 0 deletionstest/toy-example-sum/heuristic-bad-propag.ml
- test/toy-example-sum/heuristic-explore.ml 202 additions, 0 deletionstest/toy-example-sum/heuristic-explore.ml
- test/toy-example-sum/my-rdbg-tuning.ml 7 additions, 0 deletionstest/toy-example-sum/my-rdbg-tuning.ml
- test/toy-example-sum/p.ml 62 additions, 0 deletionstest/toy-example-sum/p.ml
- test/toy-example-sum/rooted3.dot 17 additions, 0 deletionstest/toy-example-sum/rooted3.dot
- test/toy-example-sum/state.ml 22 additions, 0 deletionstest/toy-example-sum/state.ml
- tools/gg/graphGen.ml 27 additions, 26 deletionstools/gg/graphGen.ml
- tools/gg/graphGen_arg.ml 21 additions, 13 deletionstools/gg/graphGen_arg.ml
Loading
Please register or sign in to comment