Commits · master · verimag / synchrone / sasa

05 Sep, 2022 8 commits
- test: don't use /use/bin/time if not installed · 9ae83466
  erwan authored Sep 05, 2022
  
  9ae83466
- doc: add exemples of use of salut · 2d00b831
  erwan authored Sep 05, 2022
  
  2d00b831
- ci: install time that is used in salut tests · 2a18a9bf
  erwan authored Sep 05, 2022
  
  2a18a9bf
- ci: fix the salut tests · 1cdd02fa
  erwan authored Sep 05, 2022
  
  1cdd02fa
- ci: add salut non-reg tests · 39ca1cbe
  erwan authored Sep 05, 2022
  
  39ca1cbe
- refactor: minor enhancement · dd464e3a
  erwan authored Sep 05, 2022
  
  dd464e3a
- Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/sasa · 52d78821
  erwan authored Sep 05, 2022
  
  52d78821
- feat: add a Salut opam package · 247f6e06
  erwan authored Sep 05, 2022
  
  247f6e06
02 Sep, 2022 2 commits
- ci: install the kind2 dependencies · e1e7ae6b
  erwan authored Sep 02, 2022
  
  e1e7ae6b
- test: fix test that failed after the merge · 4fbb4ef3
  erwan authored Sep 02, 2022
  
  4fbb4ef3
30 Aug, 2022 7 commits
- Merge remote-tracking branch 'salut/master' · a84a14fc
  erwan authored Aug 30, 2022
  
  a84a14fc
- move all files in a subdir to prepare the merge with the sasa repo · 85941e0c
  erwan authored Aug 30, 2022
  
  85941e0c
- Merge branch 'emile' · 865240d6
  erwan authored Aug 30, 2022
  
  865240d6
- refactoring · 3c576535
  erwan authored Aug 30, 2022
  
  3c576535
- refactoring · fec91576
  erwan authored Aug 30, 2022
  
  fec91576
- Add some documenation · e23b5101
  erwan authored Aug 30, 2022
  
  e23b5101
- Amélioration des scripts · 9bad9c8b
  erwan authored Aug 30, 2022
  
  9bad9c8b
27 Jul, 2022 1 commit
- ci: revert e7efe1c7 · c8b54928
  erwan authored Jul 27, 2022
  
  c8b54928
25 Jul, 2022 3 commits
- ci: fix · ca3856cc
  erwan authored Jul 25, 2022
  
  ca3856cc
- test: add a state parser in unison · 0c054b57
  erwan authored Jul 25, 2022
  
  0c054b57
- ci: install deps via the sasa.opam file · e7efe1c7
  erwan authored Jul 25, 2022
  
  e7efe1c7
22 Jul, 2022 1 commit
- Cycle_unison: split Sh/search_config.sh to produce .org files afterwards · 2f631b8d
  erwan authored Jul 22, 2022
  
  2f631b8d
21 Jul, 2022 11 commits
- The search_cycle.sh now generates the (org) tbl of results · 6d5453fb
  erwan authored Jul 21, 2022
  
  6d5453fb
- refactor: minor file name changes · 6e775acb
  erwan authored Jul 21, 2022
  
  6e775acb
- Merge branch 'emile' of gricad-gitlab.univ-grenoble-alpes.fr:baiocchg/salut into emile · d009fb3f
  erwan authored Jul 21, 2022
  
  d009fb3f
- add new Cycle_Unison expériment · 388375e3
  Emile Guillaume authored Jul 21, 2022
  
  388375e3
- Merge branch 'emile' of gricad-gitlab.univ-grenoble-alpes.fr:baiocchg/salut into emile · 526fd9cc
  erwan authored Jul 21, 2022
  
  526fd9cc
- Add kclustering in test and fix tipo · 152cc3d0
  Emile Guillaume authored Jul 21, 2022
  
  152cc3d0
- Merge branch 'emile' of gricad-gitlab.univ-grenoble-alpes.fr:baiocchg/salut into emile · ef2caa59
  erwan authored Jul 21, 2022
  
  ef2caa59
- fix kclustering Algo · 78f0a799
  Emile Guillaume authored Jul 21, 2022
  
  78f0a799
- add useful rules in the tolevel Makefile · 89ae2dad
  erwan authored Jul 21, 2022
  
  89ae2dad
- add state.lus for dijkstra-ring · 98a8280a
  Emile Guillaume authored Jul 21, 2022
  
  98a8280a
- track file for coloring · 9c921d13
  Emile Guillaume authored Jul 21, 2022
  
  9c921d13
20 Jul, 2022 2 commits
- refactor · e2c061c1
  erwan authored Jul 20, 2022
  
  e2c061c1
- modificate legitimate variable in verify.lus file and modificate verify.lus unison rangei function · e613d9d4
  Emile Guillaume authored Jul 20, 2022
  
  e613d9d4
18 Jul, 2022 3 commits
- Some change for make working salut OracleGen and add the read initial value in topologie in unison · 1f6fd7d0
  Emile Guillaume authored Jul 18, 2022
  
  1f6fd7d0
- Fix some merge bug (I think) and ad coloring implementation with neigh type · 3986eedf
  Emile Guillaume authored Jul 18, 2022
  
  3986eedf
- add central demon (need to be tested) + add random unsafe node (need to be test) · 5ed4bea4
  Emile Guillaume authored Jul 18, 2022
  
  5ed4bea4
12 Jul, 2022 1 commit
- fix some bugs and modificate kclustering for to_state function, new state.lus... · 36c59070
  Emile Guillaume authored Jul 12, 2022
```
fix some bugs and modificate kclustering for to_state function, new state.lus file, neigh type and fix some algo bugs
```
  36c59070
11 Jul, 2022 1 commit
- fix: rdbgui4sasa "New Seed" button was wrong when a seed was set · c5077bf0
  erwan authored Jul 11, 2022
  
  c5077bf0