Commits · search · verimag / synchrone / sasa

30 May, 2022 3 commits
- test: add necessary untracked files · f994a72d
  erwan authored May 30, 2022
  
  f994a72d
- feat: sort neighbors alpha-numerically (to automate k-clustering tests) · c97c8333
  erwan authored May 30, 2022
```
+ finish/fix the k-clustering algo
+ add it in the non-reg test list
```
  c97c8333
- test: spring clean-up in test/*/Makefile · 8c26df18
  erwan authored May 30, 2022
  
  8c26df18
24 May, 2022 5 commits
- test: sorting neigbors broke some GM tests · c9bee559
  erwan authored May 24, 2022
  
  c9bee559
- test: add a lurette-based test and fix some issues · 6faf42ce
  erwan authored May 24, 2022
  
  6faf42ce
- fix: sort neigbors alphabetically to make sure the canal number is predictable · e632aa13
  erwan authored May 24, 2022
  
  e632aa13
- fix: the oracle generation with algo which state have more than 1 field · fc054088
  erwan authored May 24, 2022
  
  fc054088
- fix: make sure the potentiel exist before computing it · 0f228bb8
  erwan authored May 24, 2022
  
  0f228bb8
11 May, 2022 3 commits
- refactor: minor improvements · 7b8cfb16
  erwan authored May 11, 2022
  
  7b8cfb16
- feat: give to the oracles the configuration, and the potential when available · e4bc28bc
  erwan authored May 11, 2022
  
  e4bc28bc
- fix: the -seed in gg was ignored (the Random.init was done too late). · a4459a93
  erwan authored Apr 25, 2022
  
  a4459a93
19 Apr, 2022 1 commit
- fix: -is/-gis avoid a division by 0 when used with a #simu < 100 · ffd3f7d7
  erwan authored Apr 19, 2022
  
  ffd3f7d7
14 Apr, 2022 2 commits
- doc: say where the asynchronous unison comes from · 2440d90f
  erwan authored Apr 14, 2022
  
  2440d90f
- fix: the mutant generation was wrong · 1ff0fa2b
  erwan authored Apr 14, 2022
  
  1ff0fa2b
06 Apr, 2022 2 commits
- ci: fix a couple of issue (a warning + a file that was tracked by mistake) · fa338e34
  erwan authored Apr 06, 2022
  
  fa338e34
- feat: add a --global-init-search option · 680b45f7
  erwan authored Apr 06, 2022
  
  680b45f7
31 Mar, 2022 3 commits
- Merge branch 'init-search' into search · 9e402d87
  erwan authored Mar 31, 2022
  
  9e402d87
- Merge branch 'master' into init-search · f399592e
  erwan authored Mar 31, 2022
  
  f399592e
- doc: fix the v4 installation process description · ce76287f
  erwan authored Mar 31, 2022
  
  ce76287f
09 Mar, 2022 1 commit
- doc: rdbg now requires the --sasa optionto work with sasa · cb7e0836
  erwan authored Mar 09, 2022
  
  cb7e0836
02 Mar, 2022 2 commits
- build: go back to dune 2.0 (the issue I was trying to fix was due to opam) · 3618a518
  erwan authored Mar 02, 2022
  
  3618a518
- build: fix the build with dune 3.0 · 6317b407
  erwan authored Mar 02, 2022
  
  6317b407
16 Feb, 2022 6 commits
- docs: fix the html generatd doc (org-mode html block syntax changed) · fa4a4063
  erwan authored Feb 16, 2022
  
  fa4a4063
- test: fix non-reg tests · e2656645
  erwan authored Feb 16, 2022
  
  e2656645
- Add untracked files · 38972d18
  erwan authored Feb 16, 2022
  
  38972d18
- docs: fix the html generatd doc (org-mode html block syntax changed) · ae4b6bd2
  erwan authored Feb 16, 2022
  
  ae4b6bd2
- ci: psq needs to be installed now · cd8cbebe
  erwan authored Feb 16, 2022
  
  cd8cbebe
- ci: functory needs to be installed now · f48d6a09
  erwan authored Feb 16, 2022
  
  f48d6a09
17 Dec, 2021 3 commits
- fix: Add arrow back in dot visu for directed graphs · cb17aef2
  erwan authored Dec 17, 2021
  
  cb17aef2
- fix: wrong information was displayed when run under rdbg with internal deamons · a1a021df
  erwan authored Dec 17, 2021
  
  a1a021df
- refactor: fix comments · 446df4e5
  erwan authored Dec 17, 2021
  
  446df4e5
16 Dec, 2021 1 commit
- add cli option for init search · 492e65e3
  erwan authored Dec 16, 2021
  
  492e65e3
14 Nov, 2021 1 commit
- Add a -quiet mode · 0735b77a
  erwan authored Nov 14, 2021
  
  0735b77a
22 Oct, 2021 1 commit
- Add support for the exhaustive search daemons in SasaRun · 49c685cb
  erwan authored Oct 22, 2021
  
  49c685cb
21 Oct, 2021 1 commit
- track the exhaustSearch file! and add a progress percentage to -is · d4e5955a
  erwan authored Oct 21, 2021
  
  d4e5955a
20 Oct, 2021 1 commit
- Add two cli options: -o and -ecd · fbc45fbc
  erwan authored Oct 20, 2021
  
  fbc45fbc
16 Oct, 2021 1 commit
- Implement a B&B exhaustive search · 1577d1a6
  erwan authored Oct 16, 2021
  
  1577d1a6
14 Oct, 2021 2 commits
- refactor: rename the Env module into Conf · 1985b9a1
  erwan authored Oct 14, 2021
  
  1985b9a1
- ditto for k-clustering · f217913c
  erwan authored Oct 12, 2021
  
  f217913c
12 Oct, 2021 1 commit
- add support of init search in test/coloring · 36815247
  erwan authored Oct 12, 2021
  
  36815247