Commits · 6c92f256f4c9318a310cfffd5897a50a2b9c4c1f · verimag / synchrone / sasa · GitLab

Snippets Groups Projects

Feb 27, 2023
- Add rules to generate star and hypercubes in test/Makefile.dot · 6c92f256
  erwan authored 2 years ago
  
  6c92f256
- fix: try to catch ctrc-c signals (do not seem to work) · 0f5a2b66
  erwan authored 2 years ago
  
  0f5a2b66
- fix: silent configurations are necessarily legitimate · 1a65c0c4
  erwan authored 2 years ago
  
  1a65c0c4
- fix: during exhaustive searches, force a 0 potential for legit conf · 12ea9fd6
  erwan authored 2 years ago
  
  12ea9fd6
- feat: add 2 options for exaustive searches: --es-dfs and --es-continue-when-best-sol-found · c779951d
  erwan authored 2 years ago
  
  c779951d
- fix: a bug in Greedy deamons (some paths were not tried) · ca567030
  erwan authored 2 years ago
  
  ca567030
- test: add a potential function in st-KK06-algo1 · 482d0001
  erwan authored 2 years ago
  
  482d0001
Feb 13, 2023
- test: fix the toy exemple a5sf for random (rooted-tree) topologies · 26dce530
  erwan authored 2 years ago
  
  26dce530
Feb 08, 2023
- feat: add 2 new CLI options: --es-abort-if-not-progressing and --es-no-tabu · 241af2ca
  erwan authored 2 years ago
  
  241af2ca
Feb 07, 2023
- test: make sure rdbg tests exit with a code > 0 when failing · 5d1ddd5f
  erwan authored 2 years ago
  
  5d1ddd5f
- fix: try harder to find a working pdf reader · e85a88d5
  erwan authored 2 years ago
  
  e85a88d5
Jan 26, 2023
- test: add a few qtest tests · fb6fdca8
  erwan authored 2 years ago
  
  v4.11.0
  
  fb6fdca8
Jan 25, 2023
- test: clean old generated ml files · a51d5e7f
  erwan authored 2 years ago
  
  a51d5e7f
- feat: try to build the .cmxs (via make) in case of a dynlink error · a70382a6
  erwan authored 2 years ago
  
  a70382a6
- doc: some enhancements · ff1410f8
  erwan authored 2 years ago
  
  ff1410f8
Jan 23, 2023
- build: make sure that no topo.ml files lies around · 01e4df83
  erwan authored 2 years ago
  
  01e4df83
Jan 19, 2023
- feat: add a fault injection button in the GUI · 52b31d78
  erwan authored 2 years ago
  
  v4.10.0
  
  52b31d78
Jan 18, 2023
- ci: add missing untracked files · 6fec4998
  erwan authored 2 years ago
  
  v4.9.0
  
  6fec4998
- test: fix the ugm_test rule · c15e78a2
  erwan authored 2 years ago
  
  c15e78a2
- ci: track missing files · fc220a44
  erwan authored 2 years ago
  
  fc220a44
- ci: track a missing file · 1afc4d92
  erwan authored 2 years ago
  
  1afc4d92
- feat: add the possibility to generate chain with gg · 9086cfea
  erwan authored 2 years ago
  
  9086cfea
- new: use dune to build the algo cmxs (requires rdbg >= 1.200) · e7b96b39
  erwan authored 2 years ago
  
  e7b96b39
Jan 11, 2023
- fix: inject only one fault · caff04e8
  erwan authored 2 years ago
  
  caff04e8
- fix: truncate info displayed in dot output · 64c9ca75
  erwan authored 2 years ago
  
  64c9ca75
- new: add a --gen-dot-at-legit · 0a3cdd00
  erwan authored 2 years ago
  
  0a3cdd00
Jan 09, 2023
- build: not it works with kind 1.6 · 5008d6f6
  erwan authored 2 years ago
  
  5008d6f6
- build: current does not work with ocaml 5 (because of functory) · f9fd815c
  erwan authored 2 years ago
  
  f9fd815c
- build: should not depend on emacs · d9a7f221
  erwan authored 2 years ago
  
  d9a7f221
Jan 08, 2023
- fix: various fixes and improvements in rdbgui4sasa · 00fd74db
  erwan authored 2 years ago
  
  00fd74db
Jan 04, 2023
- fix: hide the priority grid in synchronous mode of rdbgui4sasa · b790ebab
  erwan authored 2 years ago
  
  b790ebab
- doc: some enhancements · e578b529
  erwan authored 2 years ago
  
  e578b529
- build: add a missing opam dep · 17fdfaa2
  erwan authored 2 years ago
  
  17fdfaa2
- fix: in rdbgui4sasa, the manual daemon activated all enabled nodes · fc55960d
  erwan authored 2 years ago
  
  fc55960d
Dec 05, 2022
- doc: replace a private by a public link to the sasa slides cloud dir · 6ea21d38
  erwan authored 2 years ago
  
  6ea21d38
- ci: another try to fix it · 6731ffe6
  erwan authored 2 years ago
  
  6731ffe6
- ci: opam test failed because it's not a got project · 0c3289a3
  erwan authored 2 years ago
  
  0c3289a3
- ci: fix test and continue the refactoring · 79ba4c75
  erwan authored 2 years ago
  
  79ba4c75
- test: code refactoring · 2968f79c
  erwan authored 2 years ago
  
  2968f79c
- test: add sh scripts to perform various experiments · cbcb6070
  erwan authored 2 years ago
  
  cbcb6070