refactor: renaming, cleaning, documenting
Showing
- guides/users/README.org 1 addition, 1 deletionguides/users/README.org
- lib/algo/algo.mli 2 additions, 2 deletionslib/algo/algo.mli
- salut/lib/README.org 1 addition, 0 deletionssalut/lib/README.org
- salut/lib/UsrIntBinary.lus 0 additions, 100 deletionssalut/lib/UsrIntBinary.lus
- salut/lib/UsrIntBinary5.lus 0 additions, 23 deletionssalut/lib/UsrIntBinary5.lus
- salut/lib/UsrIntCounters.lus 0 additions, 102 deletionssalut/lib/UsrIntCounters.lus
- salut/lib/UsrIntCounters5.lus 0 additions, 39 deletionssalut/lib/UsrIntCounters5.lus
- salut/lib/bit-blast/README.md 1 addition, 1 deletionsalut/lib/bit-blast/README.md
- salut/lib/bit-blast/UsrIntChs.ec 0 additions, 33 deletionssalut/lib/bit-blast/UsrIntChs.ec
- salut/lib/bit-blast/UsrIntLt.ec 0 additions, 78 deletionssalut/lib/bit-blast/UsrIntLt.ec
- salut/lib/bit-blast/UsrIntLt.oc 0 additions, 356 deletionssalut/lib/bit-blast/UsrIntLt.oc
- salut/lib/bit-blast/a.out 0 additions, 0 deletionssalut/lib/bit-blast/a.out
- salut/lib/bit-blast/gen_binary 0 additions, 0 deletionssalut/lib/bit-blast/gen_binary
- salut/lib/daemon.lus 132 additions, 0 deletionssalut/lib/daemon.lus
- salut/test/Cycle_unison/Sh/search_config.sh 10 additions, 5 deletionssalut/test/Cycle_unison/Sh/search_config.sh
- salut/test/Cycle_unison/check_cycles.lus 118 additions, 31 deletionssalut/test/Cycle_unison/check_cycles.lus
- salut/test/Makefile.inc 53 additions, 60 deletionssalut/test/Makefile.inc
- salut/test/dijkstra-ring/Makefile 2 additions, 2 deletionssalut/test/dijkstra-ring/Makefile
- salut/test/dijkstra-ring/cost.lus 11 additions, 11 deletionssalut/test/dijkstra-ring/cost.lus
- salut/test/dijkstra-ring/root.lus 4 additions, 3 deletionssalut/test/dijkstra-ring/root.lus
Loading