Commits · f11677427c240d71f801e76e6810d081e76d9dd9 · verimag / synchrone / sasa

Mar 22, 2024
- test: finish to implemement ring-orientation (legitimate) · f1167742
  erwan authored 1 year ago
  
  f1167742
Feb 27, 2024

test: various fix were needed because kind2 now ignore assert · 0c7df5db

erwan authored 1 year ago

This forced  me to put  everything into contracts,  without expanding
nodes, which required more fixes. Sigh.

0c7df5db

Feb 21, 2024
- Compute the distance using the Floyd-Marshall algorithm · 8d94d6d8
  erwan authored 1 year ago
  
  (which was actualy already there for the diameter)
  8d94d6d8
Feb 15, 2024
- test: add fault injection functions · 0973b02b
  erwan authored 1 year ago
  
  0973b02b
Feb 09, 2024
- test: add missing static args to oracles (now lv6 report such errors) · 5a2eef37
  erwan authored 1 year ago
  
  5a2eef37
Dec 05, 2023
- test: add the ring-orientation in the test suite · 3b40afa0
  erwan authored 1 year ago
  
  nb : it currently fails as the legitimate predicate is wrong.
  3b40afa0
Oct 11, 2023
- fix: for silent algo, the round output of test/lustre/round.lus was wrong · c89f8d64
  erwan authored 1 year ago
  
  c89f8d64
Jul 10, 2023
- test: (re-) add the wolfram-cellular-automaton (was sierpinski) · 4c94d4dd
  erwan authored 1 year ago
  
  4c94d4dd
- test: add the Hoepman ring orientation algo · 17151687
  erwan authored 1 year ago
  
  (not yet finished: the legitimate predicate is not rigth)
  17151687
- refactor: rename the sierpinski dir into wolfram-cellular automaton · d7e6529c
  erwan authored 1 year ago
  
  d7e6529c
- refactor: add a ref for the Sierpinski algo · 6679bb76
  erwan authored 1 year ago
  
  6679bb76
- ci: track a file used in the non-reg tests · 2fdb71c3
  erwan authored 1 year ago
  
  2fdb71c3
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 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
- refactor: clean, rename, reindent · 0bb6e138
  erwan authored 1 year ago
  
  0bb6e138
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
- refactor: renaming, cleaning, documenting · 0e839a56
  erwan authored 1 year ago
  
  0e839a56
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
- 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
- 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 07, 2023
- test: make sure rdbg tests exit with a code > 0 when failing · 5d1ddd5f
  erwan authored 2 years ago
  
  5d1ddd5f
Jan 25, 2023
- test: clean old generated ml files · a51d5e7f
  erwan authored 2 years ago
  
  a51d5e7f
- doc: some enhancements · ff1410f8
  erwan authored 2 years ago
  
  ff1410f8
Jan 23, 2023
- build: make sure that no topo.ml files lies around · 01e4df83
  erwan authored 2 years ago
  
  01e4df83
Jan 19, 2023
- feat: add a fault injection button in the GUI · 52b31d78
  erwan authored 2 years ago
  
  v4.10.0
  
  52b31d78
Jan 18, 2023
- test: fix the ugm_test rule · c15e78a2
  erwan authored 2 years ago
  
  c15e78a2
- ci: track missing files · fc220a44
  erwan authored 2 years ago
  
  fc220a44
- ci: track a missing file · 1afc4d92
  erwan authored 2 years ago
  
  1afc4d92