Commits · 368152477ced0b54624214dfc6a4de22a9a09ae2 · verimag / synchrone / sasa · GitLab

Snippets Groups Projects

Oct 12, 2021
- add support of init search in test/coloring · 36815247
  erwan authored 3 years ago
  
  36815247
- generated a dot file when something goes wrong · 2dbf4f75
  erwan authored 3 years ago
  
  2dbf4f75
Oct 11, 2021
- Create .dot and .dot.log files only with -is · f5c7c39c
  erwan authored 3 years ago
  
  f5c7c39c
- 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
- build: add opam deps · b0e42695
  erwan authored 3 years ago
  
  b0e42695
- 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
- Merge branch 'master' into init-search · f00ae41d
  erwan authored 3 years ago
  
  f00ae41d
- ci: upgrade the js node used for semantic-release · 733695a5
  erwan authored 3 years ago
  
  v4.5.7
  
  733695a5
- 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
- build: undo part of the changes done in sha:f70bcede · 1cb82084
  erwan authored 3 years ago
  
  (i was on the wrong branch)
  1cb82084
- fix: put back the test/skeleton/ring.dot file (break the tuto) · 9f7903f6
  erwan authored 3 years ago
  
  9f7903f6
- feat: implement a --init-search option to find the best initial state using local search · 7a49c8bb
  erwan authored 3 years ago
  
  7a49c8bb
- Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/sasa · 8fd82092
  erwan authored 3 years ago
  
  8fd82092
- 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
Aug 27, 2021
- refactor: compute if a graph is a rooted tree instead of relying on a graph attribute · a1c76eca
  erwan authored 3 years ago
  
  a1c76eca
- docs: some fixes · ac38cbc6
  erwan authored 3 years ago
  
  ac38cbc6
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
- fix: raise an error when Algo.diameter is called on a non-connected graph · 9996f90c
  erwan authored 3 years ago
  
  v4.5.4
  
  9996f90c
- fix: allow dot files to start with a relative path · 88a306ec
  erwan authored 3 years ago
  
  v4.5.3
  
  88a306ec
Jul 23, 2021
- build: fix opam package · 6122a582
  erwan authored 3 years ago
  
  6122a582
- ci: use the main verimag repo · 65ffa7f0
  erwan authored 3 years ago
  
  v4.5.2
  
  65ffa7f0
- perf: remove useless copy of process states (/10 memory on some examples!) · d3ae1563
  erwan authored 3 years ago
  
  d3ae1563
- test: strengthen test in dfs (golden master copy) · 5dc05d16
  erwan authored 3 years ago
  
  5dc05d16