Commits · e5541fa3e40069b3567649c030244ac99189e87e · verimag / synchrone / sasa

Feb 09, 2024
- 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
- ci: track a file used in the non-reg tests · 2fdb71c3
  erwan authored 1 year ago
  
  2fdb71c3
- 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
- test: remove the adcency matrix from -lcd as it is useless · 99003394
  erwan authored 1 year ago
  
  and so that all daemons have the same interface, which makes the use of run-kind2.sh easier.
  99003394
- 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