Commits · 6adad1cb81e7780b856c612ec7f65bb42e97e667 · verimag / synchrone / sasa · GitLab

Snippets Groups Projects

Jul 03, 2023
- test: add a Sierpinski triangle generation based on cellular automata · 6adad1cb
  erwan authored 1 year ago
  
  6adad1cb
Jun 29, 2023
- test: use State.t instead of 'st intest/skeleton/ to ease the life of Ocaml beginners · 463e719e
  erwan authored 1 year ago
  
  463e719e
- test: run-kind2.sh now exits in error when kind2 does. · 2fc9023a
  erwan authored 1 year ago
  
  2fc9023a
- test: run kind2 test via the run-kind2.sh + dont hardcode the daemon · b77000e5
  erwan authored 1 year ago
  
  b77000e5
- test: generate ghosh dot files + code refactoring · dc1dba92
  erwan authored 1 year ago
  
  dc1dba92
Jun 21, 2023
- test: put the distance in the generated oracles too · ad263153
  erwan authored 1 year ago
  
  ad263153
- refactor: clean, rename, reindent · 0bb6e138
  erwan authored 1 year ago
  
  0bb6e138
- test: add ghosh in the set of salut nonreg test · 3c572466
  erwan authored 1 year ago
  
  3c572466
- new: add the distance matrix (int^n^n) in the salut generated code · ff0da052
  erwan authored 1 year ago
  
  This is necessary to compute the heigth in a tree and will probably be useful for other purposes
  ff0da052
May 31, 2023
- test: add the Ghosh mutual exclusion algo in sasa/test/ and salut/sasa/test/ · d5bd7f84
  erwan authored 1 year ago
  
  d5bd7f84
May 26, 2023
- ci: track a missing file · 319660d4
  erwan authored 1 year ago
  
  v4.13.0
  
  319660d4
- test: fix an expected result · 007efa3a
  erwan authored 1 year ago
  
  007efa3a
- fix: add a comment related to a fix that has actually been done in sha:0e839a56 · bf62e502
  erwan authored 1 year ago
  
  bf62e502
- perf: fine-tune the local search in the provided exemples · 878e4854
  erwan authored 1 year ago
  
  878e4854
- feat: add 2 new CLI options: --es-bfs and --is-no-tabu · afdfdc29
  erwan authored 1 year ago
  
  afdfdc29
- refactor: renaming, cleaning, documenting · 0e839a56
  erwan authored 1 year ago
  
  0e839a56
May 24, 2023
- fix: use the new rdbg-session files naming convention in rdbgui4sasa · 34510661
  erwan authored 1 year ago
  
  34510661
Mar 15, 2023
- feat: add a --greedy-deterministic-central daemon · a1a7985b
  erwan authored 2 years ago
  
  a1a7985b
- feat: add a --es-dont-cut option, that unactivates B&B during ES · c25cdb1c
  erwan authored 2 years ago
  
  c25cdb1c
Feb 28, 2023
- sasa/test/st-KK-algo1: put the potential function in its own file · 03b830c2
  erwan authored 2 years ago
  
  03b830c2
Feb 27, 2023
- test: change the state scan/parse conventions so that it is compatible · abaa00b1
  erwan authored 2 years ago
  
  with the dot output of --global-init-search
  v4.12.0
  
  abaa00b1
- delete outdated stuff · e5a41b8a
  erwan authored 2 years ago
  
  e5a41b8a
- fix : a typo (that broke the sue of rdbg with sasa!) · 91fdcd48
  erwan authored 2 years ago
  
  91fdcd48
- 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
- fix: try to catch ctrc-c signals (do not seem to work) · 0f5a2b66
  erwan authored 2 years ago
  
  0f5a2b66
- fix: silent configurations are necessarily legitimate · 1a65c0c4
  erwan authored 2 years ago
  
  1a65c0c4
- fix: during exhaustive searches, force a 0 potential for legit conf · 12ea9fd6
  erwan authored 2 years ago
  
  12ea9fd6
- feat: add 2 options for exaustive searches: --es-dfs and --es-continue-when-best-sol-found · c779951d
  erwan authored 2 years ago
  
  c779951d
- fix: a bug in Greedy deamons (some paths were not tried) · ca567030
  erwan authored 2 years ago
  
  ca567030
- 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 08, 2023
- feat: add 2 new CLI options: --es-abort-if-not-progressing and --es-no-tabu · 241af2ca
  erwan authored 2 years ago
  
  241af2ca
Feb 07, 2023
- test: make sure rdbg tests exit with a code > 0 when failing · 5d1ddd5f
  erwan authored 2 years ago
  
  5d1ddd5f
- fix: try harder to find a working pdf reader · e85a88d5
  erwan authored 2 years ago
  
  e85a88d5
Jan 26, 2023
- test: add a few qtest tests · fb6fdca8
  erwan authored 2 years ago
  
  v4.11.0
  
  fb6fdca8
Jan 25, 2023
- test: clean old generated ml files · a51d5e7f
  erwan authored 2 years ago
  
  a51d5e7f
- feat: try to build the .cmxs (via make) in case of a dynlink error · a70382a6
  erwan authored 2 years ago
  
  a70382a6