Commits · 6d9c37966c46395b609a7ebf69e1e9fddd282d59 · verimag / synchrone / sasa

Jan 18, 2025
- ci: fix a job (test opam_test) · 6d9c3796
  erwan authored 1 month ago
  
  6d9c3796
- amend the previous commit · d59d47bd
  erwan authored 1 month ago
  
  v4.14.0
  
  d59d47bd
- make sure salut/src/version.ml is generated · 0794f392
  erwan authored 1 month ago
  
  0794f392
- feat: add a -version option to salut · d1dda959
  erwan authored 1 month ago
  
  d1dda959
Jan 17, 2025
- ci: add salut and the official repo in the test_opam_test job · 6b16d176
  erwan authored 1 month ago
  
  6b16d176
- ci: build via make everywhere · 6a1ce329
  erwan authored 1 month ago
  
  6a1ce329
Jan 16, 2025
- test: more fix · b4dbdf30
  erwan authored 2 months ago
  
  b4dbdf30
- test: some fixes · 89e11dff
  erwan authored 2 months ago
  
  89e11dff
- test: use the same k in all nodes · f62bc549
  erwan authored 2 months ago
  
  f62bc549
- test: use the same k for sasa and salut in dijkstra · be1d0db9
  erwan authored 2 months ago
  
  be1d0db9
Jan 15, 2025
- ci: use a more recent image · f96161c5
  erwan authored 2 months ago
  
  f96161c5
- ci: add the offical repo to the build job · b508575d
  erwan authored 2 months ago
  
  b508575d
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
- ci: put back the salut non-reg tests · c9c4348b
  erwan authored 2 months ago
  
  c9c4348b
- build: kind2 2.2.0 requires contant types to be defined · b0ebde6a
  erwan authored 2 months ago
  
  v4.13.2
  
  b0ebde6a
- simca: fix and enhancement · fc0a1672
  erwan authored 2 months ago
  
  fc0a1672
- fix: custom synchronous mode doen't priority buttons (rdbgui4sasa) · 78e02f16
  erwan authored 2 months ago
  
  78e02f16
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