Commits · master · verimag / synchrone / sasa

09 Mar, 2022 1 commit
- doc: rdbg now requires the --sasa optionto work with sasa · cb7e0836
  erwan authored Mar 09, 2022
  
  cb7e0836
02 Mar, 2022 2 commits
- build: go back to dune 2.0 (the issue I was trying to fix was due to opam) · 3618a518
  erwan authored Mar 02, 2022
  
  3618a518
- build: fix the build with dune 3.0 · 6317b407
  erwan authored Mar 02, 2022
  
  6317b407
16 Feb, 2022 1 commit
- docs: fix the html generatd doc (org-mode html block syntax changed) · fa4a4063
  erwan authored Feb 16, 2022
  
  fa4a4063
17 Dec, 2021 3 commits
- fix: Add arrow back in dot visu for directed graphs · cb17aef2
  erwan authored Dec 17, 2021
  
  cb17aef2
- fix: wrong information was displayed when run under rdbg with internal deamons · a1a021df
  erwan authored Dec 17, 2021
  
  a1a021df
- refactor: fix comments · 446df4e5
  erwan authored Dec 17, 2021
  
  446df4e5
06 Oct, 2021 2 commits
- ci: upgrade the js node used for semantic-release · 733695a5
  erwan authored Oct 06, 2021
  
  733695a5
- test: the non reg tests were not robust to the move to a new compiler (4.13.1) · ce0b8c6b
  erwan authored Oct 06, 2021
  
  ce0b8c6b
05 Oct, 2021 5 commits
- build: undo part of the changes done in sha:f70bcede · 76c21c6e
  erwan authored Oct 05, 2021
  
  76c21c6e
- build: undo part of the changes done in sha:f70bcede · 1cb82084
  erwan authored Oct 05, 2021
```
(i was on the wrong branch)
```
  1cb82084
- fix: put back the test/skeleton/ring.dot file (break the tuto) · 9f7903f6
  erwan authored Oct 05, 2021
  
  9f7903f6
- Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/sasa · 8fd82092
  erwan authored Oct 05, 2021
  
  8fd82092
- test: add a -seed option to gg to get reproducible GM tests · 7a9ca2b2
  erwan authored Sep 02, 2021 and erwan committed Oct 05, 2021
  
  7a9ca2b2
02 Sep, 2021 2 commits
- test: add a -seed option to gg to get reproducible GM tests · f70bcede
  erwan authored Sep 02, 2021
  
  f70bcede
- test: update the expected files for rsp-tree · 9c12063b
  erwan authored Sep 02, 2021
  
  9c12063b
01 Sep, 2021 2 commits
- fix: the reply was still using successors instead of predecessors · 104437fa
  erwan authored Sep 01, 2021
  
  104437fa
- test: add golden master tests · b33bf339
  erwan authored Sep 01, 2021
  
  b33bf339
31 Aug, 2021 1 commit
- Fix: the neigbors were sucessors instead of predecessors · 1d39ea54
  erwan authored Aug 31, 2021
  
  1d39ea54
27 Aug, 2021 2 commits
- refactor: compute if a graph is a rooted tree instead of relying on a graph attribute · a1c76eca
  erwan authored Aug 27, 2021
  
  a1c76eca
- docs: some fixes · ac38cbc6
  erwan authored Aug 26, 2021
  
  ac38cbc6
31 Jul, 2021 2 commits
- test: update an rif.exp file · dbf6ad81
  erwan authored Jul 31, 2021
  
  dbf6ad81
- fix: the internal greedy daemons were wrong · e2a2748b
  erwan authored Jul 31, 2021
  
  e2a2748b
28 Jul, 2021 3 commits
- test: add an example to illustrate the use of lurette coverage · 91b5bbd5
  erwan authored Jul 28, 2021
```
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 Jul 28, 2021
  
  771cdf80
- test: fix the previous commit · 4d6a98c9
  erwan authored Jul 28, 2021
  
  4d6a98c9
27 Jul, 2021 4 commits
- test: the coloring algo is for non-directed graphs only! · 5a6b94ef
  erwan authored Jul 27, 2021
  
  5a6b94ef
- test: add a generic rule to generate directed rings · 7659fd31
  erwan authored Jul 27, 2021
  
  7659fd31
- fix: raise an error when Algo.diameter is called on a non-connected graph · 9996f90c
  erwan authored Jul 27, 2021
  
  9996f90c
- fix: allow dot files to start with a relative path · 88a306ec
  erwan authored Jul 27, 2021
  
  88a306ec
23 Jul, 2021 5 commits
- build: fix opam package · 6122a582
  erwan authored Jul 23, 2021
  
  6122a582
- ci: use the main verimag repo · 65ffa7f0
  erwan authored Jul 23, 2021
  
  65ffa7f0
- perf: remove useless copy of process states (/10 memory on some examples!) · d3ae1563
  erwan authored Jul 23, 2021
  
  d3ae1563
- test: strengthen test in dfs (golden master copy) · 5dc05d16
  erwan authored Jul 23, 2021
  
  5dc05d16
- build: enhance opam file · 5a09734b
  erwan authored Jul 23, 2021
  
  5a09734b
13 Jul, 2021 1 commit
- build: use another semantic-release tool · 286b5c1a
  erwan authored Jul 13, 2021
  
  286b5c1a
28 Jun, 2021 2 commits
- Chore: rename some type aliases · 61b1c5a3
  erwan authored Jun 28, 2021
  
  61b1c5a3
- Fix: make the behavior of rdbgui4sasa more sensible · ef5219ea
  erwan authored Jun 25, 2021
  
  ef5219ea
17 Jun, 2021 2 commits
- Chore: refactor the code to be able to provide the whole SimuState.t to Daemons · cc029128
  erwan authored Jun 17, 2021
  
  cc029128
- New: add dependencies graphs in guides/contributors · 803b8e99
  erwan authored Jun 17, 2021
  
  803b8e99