Commits · eae1495c373ef725600022903d5c9897b7986fb6 · verimag / synchrone / sasa

Jul 24, 2024
- refactor · eae1495c
  erwan authored 7 months ago
  
  eae1495c
Apr 22, 2024
- test: use Bitwuzla · 4a2b3210
  erwan authored 10 months ago
  
  4a2b3210
Apr 16, 2024
- ci: make sure lib/sasacore/ exists · 2f48d127
  erwan authored 11 months ago
  
  2f48d127
- test: remove a typo · cc2bfdbb
  erwan authored 11 months ago
  
  cc2bfdbb
- build: include Makefile.version · 71c0089f
  erwan authored 11 months ago
  
  71c0089f
- ci: add an apt update · 67019d6d
  erwan authored 11 months ago
  
  67019d6d
- ci: add the opam install of rdbgui4sasa in the test · a0bf41e9
  erwan authored 11 months ago
  
  a0bf41e9
- build: make sure sasaVersion.ml is generated from dune · 4746142e
  erwan authored 11 months ago
  
  4746142e
- test: remove redundant (and not working) examples · 260aacdf
  erwan authored 11 months ago
  
  260aacdf
- build: make sure 'dune build' works in every dir (with a dune file) · b0018088
  erwan authored 11 months ago
  
  b0018088
- build: put kind2 in depopts · 59377480
  erwan authored 11 months ago
  
  59377480
- build: make sure 'dune build' works in every dir (with a dune file) · 55baf88d
  erwan authored 11 months ago
  
  55baf88d
- build: put salut in its own package · e9aa2708
  erwan authored 11 months ago
  
  e9aa2708
- test: for some algo, the default topology (ring) is not valid · 1060d86a
  erwan authored 11 months ago
  
  1060d86a
Apr 09, 2024
- ci: lutin is necessary for ci nonreg tests · f5b229b3
  erwan authored 11 months ago
  
  f5b229b3
- build: lutin is actually not mandatory to use sasa · 45a90e87
  erwan authored 11 months ago
  
  45a90e87
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
- ci: run-kind2.sh requires bc · bf187033
  erwan authored 11 months ago
  
  bf187033
- 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
- fix: round number was wrong + a pb when the init conf is legitimate · 0b79a464
  erwan authored 11 months ago
  
  the number of outputs was wrong, as the trig were not printed in this case (when the init conf is legitimate)
  0b79a464
- test: add a debug version of the oracle · cfd42140
  erwan authored 11 months ago
  
  cfd42140
- test: in dijkstra, use the same K as in the lustre version · 2e07089f
  erwan authored 11 months ago
  
  2e07089f
- refactor · 4bec3190
  erwan authored 11 months ago
  
  4bec3190
- build: remove ledit from the depopts (fails to install on mac/arm) · 42517fbc
  erwan authored 11 months ago
  
  42517fbc
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 11 months 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
Feb 09, 2024
- test: add missing static args to oracles (now lv6 report such errors) · 5a2eef37
  erwan authored 1 year ago
  
  5a2eef37
- new: add a -restart option to the cli, to use the fault function · e5541fa3
  erwan authored 1 year ago
  
  e5541fa3
- fix: static args were missing in the generated oracles · 5d519f7c
  erwan authored 1 year ago
  
  5d519f7c
- refactor: add some gospel comments · a6a4d237
  erwan authored 1 year ago
  
  a6a4d237
Jan 19, 2024
- ci: update de node-js version for semantic-release · 91800ee9
  erwan authored 1 year ago
  
  91800ee9
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