Commits · 0a3cdd00b23970eca4aeac25c89c695b510d2006 · verimag / synchrone / sasa

Jan 11, 2023
- new: add a --gen-dot-at-legit · 0a3cdd00
  erwan authored 2 years ago
  
  0a3cdd00
Jan 09, 2023
- build: not it works with kind 1.6 · 5008d6f6
  erwan authored 2 years ago
  
  5008d6f6
- build: current does not work with ocaml 5 (because of functory) · f9fd815c
  erwan authored 2 years ago
  
  f9fd815c
- build: should not depend on emacs · d9a7f221
  erwan authored 2 years ago
  
  d9a7f221
Jan 08, 2023
- fix: various fixes and improvements in rdbgui4sasa · 00fd74db
  erwan authored 2 years ago
  
  00fd74db
Jan 04, 2023
- fix: hide the priority grid in synchronous mode of rdbgui4sasa · b790ebab
  erwan authored 2 years ago
  
  b790ebab
- doc: some enhancements · e578b529
  erwan authored 2 years ago
  
  e578b529
- build: add a missing opam dep · 17fdfaa2
  erwan authored 2 years ago
  
  17fdfaa2
- fix: in rdbgui4sasa, the manual daemon activated all enabled nodes · fc55960d
  erwan authored 2 years ago
  
  fc55960d
Dec 05, 2022
- doc: replace a private by a public link to the sasa slides cloud dir · 6ea21d38
  erwan authored 2 years ago
  
  6ea21d38
- ci: another try to fix it · 6731ffe6
  erwan authored 2 years ago
  
  6731ffe6
- ci: opam test failed because it's not a got project · 0c3289a3
  erwan authored 2 years ago
  
  0c3289a3
- ci: fix test and continue the refactoring · 79ba4c75
  erwan authored 2 years ago
  
  79ba4c75
- test: code refactoring · 2968f79c
  erwan authored 2 years ago
  
  2968f79c
- test: add sh scripts to perform various experiments · cbcb6070
  erwan authored 2 years ago
  
  cbcb6070
- ci: install the ledit depext · dbe56f39
  erwan authored 2 years ago
  
  dbe56f39
- ci: add ledit as a dependance (used in doc and test) · 2831e9a7
  erwan authored 2 years ago
  
  2831e9a7
- doc: add a link to slides related to sasa · 677d5799
  erwan authored 2 years ago
  
  677d5799
- build: fix some opam warnings · 8f6bf6ff
  erwan authored 2 years ago
  
  8f6bf6ff
Dec 01, 2022
- refactor · 65d98370
  erwan authored 2 years ago
  
  65d98370
Nov 29, 2022
- ignore extension in .dot files, and use the one that makes sense. · d850820d
  erwan authored 2 years ago
  
  d850820d
- use symbolic link to refer to Makefile.dot/inc (so that they can be copied) · b2dfd59f
  erwan authored 2 years ago
  
  b2dfd59f
Nov 07, 2022
- ci: the verimag tools image is now hosted @gitlab/gricad · f7eaf99c
  erwan authored 2 years ago
  
  f7eaf99c
Sep 05, 2022
- test: don't use /use/bin/time if not installed · 9ae83466
  erwan authored 2 years ago
  
  9ae83466
- doc: add exemples of use of salut · 2d00b831
  erwan authored 2 years ago
  
  2d00b831
- ci: install time that is used in salut tests · 2a18a9bf
  erwan authored 2 years ago
  
  2a18a9bf
- ci: fix the salut tests · 1cdd02fa
  erwan authored 2 years ago
  
  1cdd02fa
- ci: add salut non-reg tests · 39ca1cbe
  erwan authored 2 years ago
  
  39ca1cbe
- refactor: minor enhancement · dd464e3a
  erwan authored 2 years ago
  
  dd464e3a
- Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/sasa · 52d78821
  erwan authored 2 years ago
  
  v4.8.0
  
  52d78821
- feat: add a Salut opam package · 247f6e06
  erwan authored 2 years ago
  
  247f6e06
Sep 02, 2022
- ci: install the kind2 dependencies · e1e7ae6b
  erwan authored 2 years ago
  
  e1e7ae6b
- test: fix test that failed after the merge · 4fbb4ef3
  erwan authored 2 years ago
  
  4fbb4ef3
Aug 30, 2022
- Merge remote-tracking branch 'salut/master' · a84a14fc
  erwan authored 2 years ago
  
  a84a14fc
- move all files in a subdir to prepare the merge with the sasa repo · 85941e0c
  erwan authored 2 years ago
  
  85941e0c
- Merge branch 'emile' · 865240d6
  erwan authored 2 years ago
  
  865240d6
- 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