Commits · cfe488b298bfd5ed3d91e32ca9bb14a1f4bd92a1 · verimag / synchrone / sasa

Jan 14, 2025
- ci: run-kind2.sh failed if not under git · cfe488b2
  erwan authored 2 months ago
  
  cfe488b2
- refactor: typo · 9d2bec8c
  erwan authored 2 months ago
  
  9d2bec8c
Apr 22, 2024
- test: use Bitwuzla · 4a2b3210
  erwan authored 11 months ago
  
  4a2b3210
Apr 16, 2024
- test: remove a typo · cc2bfdbb
  erwan authored 11 months ago
  
  cc2bfdbb
- build: make sure 'dune build' works in every dir (with a dune file) · 55baf88d
  erwan authored 11 months ago
  
  55baf88d
Apr 08, 2024
- ci: remove salut test for now · e7044db0
  erwan authored 11 months ago
  
  v4.13.1
  
  e7044db0
- ci: use Z3 instead of Bitwuzla (as it is not installed) · cfb6827f
  erwan authored 11 months ago
  
  cfb6827f
- test: use Z3 instead of bitwuzla by default · 9c81f190
  erwan authored 11 months ago
  
  9c81f190
- build: don't fail to include an untracked file · 30c3567f
  erwan authored 11 months ago
  
  30c3567f
- test: add a debug version of the oracle · cfd42140
  erwan authored 11 months ago
  
  cfd42140
- refactor · 4bec3190
  erwan authored 11 months ago
  
  4bec3190
Apr 04, 2024
- test: refactor scripts · d66f6e9f
  erwan authored 11 months ago
  
  d66f6e9f
Mar 22, 2024
- test: finish to implemement ring-orientation (legitimate) · f1167742
  erwan authored 1 year ago
  
  f1167742
Mar 15, 2024
- test: check for cycle-convergence in salut/test · 68785070
  erwan authored 1 year ago
  
  68785070
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
- fix: lv6 now checks if static args are present (even if unused) · d54ddc90
  erwan authored 1 year ago
  
  d54ddc90
- test: add fault injection functions · 0973b02b
  erwan authored 1 year ago
  
  0973b02b
Feb 13, 2024
- test: rename salut/test/kclustering (to be like test/k-clustering) · ab4e6980
  erwan authored 1 year ago
  
  ab4e6980
Oct 17, 2023
- test: exit 2 in run-kind2.sh when kind2 fails to prove a property · a38d4757
  erwan authored 1 year ago
  
  a38d4757
Oct 11, 2023
- fix: for silent algo, the round output of test/lustre/round.lus was wrong · c89f8d64
  erwan authored 1 year ago
  
  c89f8d64
- test: exit in error if kind2 is not installed · 1624f606
  erwan authored 1 year ago
  
  1624f606
Jul 10, 2023
- test: add the Hoepman ring orientation algo · 17151687
  erwan authored 1 year ago
  
  (not yet finished: the legitimate predicate is not rigth)
  17151687
- test: the order of variables in to_state (<dir>_oracle.lus) should be · ea1f7e81
  erwan authored 1 year ago
  
  the same as the one used in State.to_string (in state.ml)
  ea1f7e81
Jul 03, 2023
- test: fix testing script · 5d414694
  erwan authored 1 year ago
  
  5d414694
Jun 29, 2023
- 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
- refactor: renaming, cleaning, documenting · 0e839a56
  erwan authored 1 year ago
  
  0e839a56
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
- 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