Commits · c9bee55935aa653be2efffc9c0e24ee6bd1a7ad6 · verimag / synchrone / sasa

May 24, 2022
- test: sorting neigbors broke some GM tests · c9bee559
  erwan authored 2 years ago
  
  c9bee559
- test: add a lurette-based test and fix some issues · 6faf42ce
  erwan authored 2 years ago
  
  6faf42ce
May 11, 2022
- refactor: minor improvements · 7b8cfb16
  erwan authored 2 years ago
  
  7b8cfb16
- feat: give to the oracles the configuration, and the potential when available · e4bc28bc
  erwan authored 2 years ago
  
  e4bc28bc
- fix: the -seed in gg was ignored (the Random.init was done too late). · a4459a93
  erwan authored 2 years ago
  
  a4459a93
Apr 14, 2022
- doc: say where the asynchronous unison comes from · 2440d90f
  erwan authored 2 years ago
  
  2440d90f
- fix: the mutant generation was wrong · 1ff0fa2b
  erwan authored 2 years ago
  
  1ff0fa2b
Feb 16, 2022
- docs: fix the html generatd doc (org-mode html block syntax changed) · fa4a4063
  erwan authored 3 years ago
  
  fa4a4063
- test: fix non-reg tests · e2656645
  erwan authored 3 years ago
  
  e2656645
- docs: fix the html generatd doc (org-mode html block syntax changed) · ae4b6bd2
  erwan authored 3 years ago
  
  ae4b6bd2
Nov 14, 2021
- Add a -quiet mode · 0735b77a
  erwan authored 3 years ago
  
  0735b77a
Oct 20, 2021
- Add two cli options: -o and -ecd · fbc45fbc
  erwan authored 3 years ago
  
  fbc45fbc
Oct 16, 2021
- Implement a B&B exhaustive search · 1577d1a6
  erwan authored 3 years ago
  
  1577d1a6
Oct 14, 2021
- ditto for k-clustering · f217913c
  erwan authored 3 years ago
  
  f217913c
Oct 12, 2021
- add support of init search in test/coloring · 36815247
  erwan authored 3 years ago
  
  36815247
Oct 11, 2021
- play with -is on the toy-example-sum · a63415b7
  erwan authored 3 years ago
  
  a63415b7
- play with -is on the toy-example-a5sf (something seems wrong) · 0a1620d6
  erwan authored 3 years ago
  
  0a1620d6
- Add min and max valuers to bouns the search · 3b643c06
  erwan authored 3 years ago
  
  3b643c06
- refactor: rename and document the init state search · 6a0975a0
  erwan authored 3 years ago
  
  6a0975a0
- test: add the new for_init_search required functions in test/*/config.ml · c60d63ac
  erwan authored 3 years ago
  
  c60d63ac
Oct 08, 2021
- use the core number provided in the sasa cli · 9e9446a7
  erwan authored 3 years ago
  
  9e9446a7
Oct 07, 2021
- put back changes removed in sha: 1cb82084 and... · ff45e5e4
  erwan authored 3 years ago
  
  put back changes removed in sha: 1cb82084 and sha:76c21c6e
  ff45e5e4
Oct 06, 2021
- test: the non reg tests were not robust to the move to a new compiler (4.13.1) · ce0b8c6b
  erwan authored 3 years ago
  
  ce0b8c6b
Oct 05, 2021
- build: undo part of the changes done in sha:f70bcede · 76c21c6e
  erwan authored 3 years ago
  
  76c21c6e
- fix: put back the test/skeleton/ring.dot file (break the tuto) · 9f7903f6
  erwan authored 3 years ago
  
  9f7903f6
- test: add a -seed option to gg to get reproducible GM tests · 7a9ca2b2
  erwan authored 3 years ago and erwan committed 3 years ago
  
  7a9ca2b2
Sep 02, 2021
- test: add a -seed option to gg to get reproducible GM tests · f70bcede
  erwan authored 3 years ago
  
  v4.5.6
  
  f70bcede
- test: update the expected files for rsp-tree · 9c12063b
  erwan authored 3 years ago
  
  9c12063b
Sep 01, 2021
- fix: the reply was still using successors instead of predecessors · 104437fa
  erwan authored 3 years ago
  
  104437fa
- test: add golden master tests · b33bf339
  erwan authored 3 years ago
  
  b33bf339
Aug 31, 2021
- Fix: the neigbors were sucessors instead of predecessors · 1d39ea54
  erwan authored 3 years ago
  
  1d39ea54
Jul 31, 2021
- test: update an rif.exp file · dbf6ad81
  erwan authored 3 years ago
  
  v4.5.5
  
  dbf6ad81
- fix: the internal greedy daemons were wrong · e2a2748b
  erwan authored 3 years ago
  
  e2a2748b
Jul 28, 2021
- test: add an example to illustrate the use of lurette coverage · 91b5bbd5
  erwan authored 3 years ago
  
  to check is the worst-case has been reached
  91b5bbd5
- refactor: add a legitimate input argument to generated oracles (and sasa outputs) · 771cdf80
  erwan authored 3 years ago
  
  771cdf80
- test: fix the previous commit · 4d6a98c9
  erwan authored 3 years ago
  
  4d6a98c9
Jul 27, 2021
- test: the coloring algo is for non-directed graphs only! · 5a6b94ef
  erwan authored 3 years ago
  
  5a6b94ef
- test: add a generic rule to generate directed rings · 7659fd31
  erwan authored 3 years ago
  
  7659fd31
Jul 23, 2021
- test: strengthen test in dfs (golden master copy) · 5dc05d16
  erwan authored 3 years ago
  
  5dc05d16
Jun 11, 2021
- Fix rdbgui4sasa when used with internal daemons · b20552fc
  erwan authored 3 years ago
  
  b20552fc