Commits · a25684e2303e2906c891548ac41a02ef26d0f815 · verimag / synchrone / sasa

Feb 27, 2023
- test: update the gm tests (because of the new default behavior wtr max step number · a25684e2
  erwan authored 2 years ago
  
  a25684e2
- test: add a pseudo-potential function to test/async-unison · f18799a0
  erwan authored 2 years ago
  
  f18799a0
- test: now that by default simu are not bouded, bound the gm tests · 66703f86
  erwan authored 2 years ago
  
  66703f86
- Add rules to generate star and hypercubes in test/Makefile.dot · 6c92f256
  erwan authored 2 years ago
  
  6c92f256
- test: add a potential function in st-KK06-algo1 · 482d0001
  erwan authored 2 years ago
  
  482d0001
Feb 13, 2023
- test: fix the toy exemple a5sf for random (rooted-tree) topologies · 26dce530
  erwan authored 2 years ago
  
  26dce530
Feb 07, 2023
- test: make sure rdbg tests exit with a code > 0 when failing · 5d1ddd5f
  erwan authored 2 years ago
  
  5d1ddd5f
Jan 25, 2023
- test: clean old generated ml files · a51d5e7f
  erwan authored 2 years ago
  
  a51d5e7f
- doc: some enhancements · ff1410f8
  erwan authored 2 years ago
  
  ff1410f8
Jan 23, 2023
- build: make sure that no topo.ml files lies around · 01e4df83
  erwan authored 2 years ago
  
  01e4df83
Jan 19, 2023
- feat: add a fault injection button in the GUI · 52b31d78
  erwan authored 2 years ago
  
  v4.10.0
  
  52b31d78
Jan 18, 2023
- test: fix the ugm_test rule · c15e78a2
  erwan authored 2 years ago
  
  c15e78a2
- ci: track missing files · fc220a44
  erwan authored 2 years ago
  
  fc220a44
- ci: track a missing file · 1afc4d92
  erwan authored 2 years ago
  
  1afc4d92
- feat: add the possibility to generate chain with gg · 9086cfea
  erwan authored 2 years ago
  
  9086cfea
- new: use dune to build the algo cmxs (requires rdbg >= 1.200) · e7b96b39
  erwan authored 2 years ago
  
  e7b96b39
Jan 08, 2023
- fix: various fixes and improvements in rdbgui4sasa · 00fd74db
  erwan authored 2 years ago
  
  00fd74db
Dec 05, 2022
- ci: add ledit as a dependance (used in doc and test) · 2831e9a7
  erwan authored 2 years ago
  
  2831e9a7
Dec 01, 2022
- refactor · 65d98370
  erwan authored 2 years ago
  
  65d98370
Nov 29, 2022
- use symbolic link to refer to Makefile.dot/inc (so that they can be copied) · b2dfd59f
  erwan authored 2 years ago
  
  b2dfd59f
Sep 02, 2022
- test: fix test that failed after the merge · 4fbb4ef3
  erwan authored 2 years ago
  
  4fbb4ef3
Aug 30, 2022
- move all files in a subdir to prepare the merge with the sasa repo · 85941e0c
  erwan authored 2 years ago
  
  85941e0c
- refactoring · 3c576535
  erwan authored 2 years ago
  
  3c576535
- refactoring · fec91576
  erwan authored 2 years ago
  
  fec91576
- Add some documenation · e23b5101
  erwan authored 2 years ago
  
  e23b5101
- Amélioration des scripts · 9bad9c8b
  erwan authored 2 years ago
  
  9bad9c8b
Jul 25, 2022
- test: add a state parser in unison · 0c054b57
  erwan authored 2 years ago
  
  0c054b57
Jul 22, 2022
- Cycle_unison: split Sh/search_config.sh to produce .org files afterwards · 2f631b8d
  erwan authored 2 years ago
  
  2f631b8d
Jul 21, 2022
- The search_cycle.sh now generates the (org) tbl of results · 6d5453fb
  erwan authored 2 years ago
  
  6d5453fb
- refactor: minor file name changes · 6e775acb
  erwan authored 2 years ago
  
  6e775acb
- add new Cycle_Unison expériment · 388375e3
  Emile Guillaume authored 2 years ago
  
  388375e3
- Add kclustering in test and fix tipo · 152cc3d0
  Emile Guillaume authored 2 years ago
  
  152cc3d0
- fix kclustering Algo · 78f0a799
  Emile Guillaume authored 2 years ago
  
  78f0a799
- add state.lus for dijkstra-ring · 98a8280a
  Emile Guillaume authored 2 years ago
  
  98a8280a
- track file for coloring · 9c921d13
  Emile Guillaume authored 2 years ago
  
  9c921d13
Jul 20, 2022
- refactor · e2c061c1
  erwan authored 2 years ago
  
  v4.7.1
  
  e2c061c1
- modificate legitimate variable in verify.lus file and modificate verify.lus unison rangei function · e613d9d4
  Emile Guillaume authored 2 years ago
  
  e613d9d4
Jul 18, 2022
- Some change for make working salut OracleGen and add the read initial value in topologie in unison · 1f6fd7d0
  Emile Guillaume authored 2 years ago
  
  1f6fd7d0
- Fix some merge bug (I think) and ad coloring implementation with neigh type · 3986eedf
  Emile Guillaume authored 2 years ago
  
  3986eedf
Jul 12, 2022
- fix some bugs and modificate kclustering for to_state function, new state.lus... · 36c59070
  Emile Guillaume authored 2 years ago
  
  fix some bugs and modificate kclustering for to_state function, new state.lus file, neigh type and fix some algo bugs
  36c59070