Commits · master · verimag / synchrone / sasa

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
15 Jun, 2021 1 commit
- Fix rdbgui4sasa when used with salut · bbc64838
  erwan authored Jun 15, 2021
  
  bbc64838
11 Jun, 2021 1 commit
- Fix rdbgui4sasa when used with internal daemons · b20552fc
  erwan authored Jun 11, 2021
  
  b20552fc
10 Jun, 2021 1 commit
- Update: use the new RdbgStdLib.rev_cond_gen to round backwards (rdbg > 1.195.0) · c47c5261
  erwan authored Jun 07, 2021
  
  c47c5261
03 Jun, 2021 2 commits
- Update: make it possible to use rbgui with rdbg daemons · bf4fe763
  erwan authored Jun 03, 2021
  
  bf4fe763
- Update: some progress to get time-travel working with rdbgui4sasa · f3f31512
  erwan authored Jun 03, 2021
  
  f3f31512
31 May, 2021 3 commits
- Fix: actions with parenthesis broke the rdbg plugin · 66b73846
  erwan authored May 31, 2021
  
  66b73846
- Update: make sure the round number is always correct. · 9689b826
  erwan authored May 31, 2021
  
  9689b826
- Do not raise an error when an algorithm becomes silent. · 6ab7b451
  erwan authored May 31, 2021
  
  6ab7b451
28 May, 2021 4 commits
- Fix: make the rdbgui4sasa undo button work · 6b9a3b9c
  erwan authored May 28, 2021
  
  6b9a3b9c
- Update: show the legitimate button when sasa is used with internal daemons · 5995fdfc
  erwan authored May 28, 2021
  
  5995fdfc
- Update: force the use of -replay and -custd when sasa is used from rdbgui4sasa · 056f5fd0
  erwan authored May 28, 2021
  
  056f5fd0
- Fix: in rdbg4sasa, round buttons and legitimate button now work · 2bbd5df2
  erwan authored May 28, 2021
  
  2bbd5df2
27 May, 2021 2 commits
- Update: more work (again) on rdbgui4sasa · 5eb991e8
  erwan authored May 27, 2021
  
  5eb991e8
- Update: more work on rdbgui4sasa · 353b46cf
  erwan authored May 27, 2021
  
  353b46cf
26 May, 2021 5 commits
- Chore: change the docker image (the previous one is broken) · d1305932
  erwan authored May 26, 2021
  
  d1305932
- Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/sasa · 30613090
  erwan authored May 26, 2021
  
  30613090
- Merge branch 'toy-example-guillaume' into 'master' · b50e8aba
  erwan authored May 26, 2021
```
Toy example (Guillaume)

See merge request !13
```
  b50e8aba
- Toy example (Guillaume) · 4cab2b97
  Guillaume Raffin authored May 26, 2021
  
  4cab2b97
- Update: some rdbgui4sasa enhancements · 72e6c596
  erwan authored May 26, 2021
  
  72e6c596
22 May, 2021 1 commit
- New: add a "restart with new seed" button to rdbgui4sasa · a9052e90
  erwan authored May 21, 2021
  
  a9052e90
21 May, 2021 1 commit
- Update: Add a Seed.reset function · d9301991
  erwan authored May 21, 2021
  
  d9301991