Commits · b00180889ae4e17cc4b8c08008d6a36a306e0220 · verimag / synchrone / sasa

Apr 16, 2024
- build: make sure 'dune build' works in every dir (with a dune file) · b0018088
  erwan authored 11 months ago
  
  b0018088
Feb 27, 2023
- delete outdated stuff · e5a41b8a
  erwan authored 2 years ago
  
  e5a41b8a
Feb 13, 2023
- test: fix the toy exemple a5sf for random (rooted-tree) topologies · 26dce530
  erwan authored 2 years ago
  
  26dce530
Jan 18, 2023
- new: use dune to build the algo cmxs (requires rdbg >= 1.200) · e7b96b39
  erwan authored 2 years ago
  
  e7b96b39
May 30, 2022
- test: spring clean-up in test/*/Makefile · 8c26df18
  erwan authored 2 years ago
  
  8c26df18
Oct 20, 2021
- Add two cli options: -o and -ecd · fbc45fbc
  erwan authored 3 years ago
  
  fbc45fbc
Oct 11, 2021
- play with -is on the toy-example-sum · a63415b7
  erwan authored 3 years ago
  
  a63415b7
- refactor: rename and document the init state search · 6a0975a0
  erwan authored 3 years ago
  
  6a0975a0
- test: add the new for_init_search required functions in test/*/config.ml · c60d63ac
  erwan authored 3 years ago
  
  c60d63ac
May 26, 2021
- Toy example (Guillaume) · 4cab2b97
  Guillaume Raffin authored 3 years ago and erwan committed 3 years ago
  
  4cab2b97