Commits · 6fec4998870937a0305ae7d575ca1bfaafb57f24 · verimag / synchrone / sasa

Jan 18, 2023
- ci: add missing untracked files · 6fec4998
  erwan authored 2 years ago
  
  v4.9.0
  
  6fec4998
- new: use dune to build the algo cmxs (requires rdbg >= 1.200) · e7b96b39
  erwan authored 2 years ago
  
  e7b96b39
Dec 05, 2022
- 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
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 05, 2022
- test: don't use /use/bin/time if not installed · 9ae83466
  erwan authored 2 years ago
  
  9ae83466
- ci: fix the salut tests · 1cdd02fa
  erwan authored 2 years ago
  
  1cdd02fa
- refactor: minor enhancement · dd464e3a
  erwan authored 2 years ago
  
  dd464e3a
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