Commits · 59377480eb10dceb93fa2c0cba535cd0e38cec5c · verimag / synchrone / sasa

Apr 16, 2024
- 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
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
Sep 04, 2023
- build: well, optionnal deps are actually not installed. put them back · 0a2790fc
  erwan authored 1 year ago
  
  0a2790fc
- build: some opam deps are actually not completely necessary · d45dacd1
  erwan authored 1 year ago
  
  d45dacd1
Jul 10, 2023
- ci: fix the opem test rule (wrt opam depext) · 8611eb1b
  erwan authored 1 year ago
  
  8611eb1b
- 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