Commits · v4.14.4 · verimag / synchrone / sasa

Apr 25, 2025
- fix: failures raised in user programs (eg, incompat topo) were hided · 08ed492e
  erwan authored 1 month ago
  
  View commits for tag v4.14.4 v4.14.4
  
  08ed492e
Apr 18, 2025
- test: explicitely use sh when calling run-kind2.sh (for guix) · 7ddf03fa
  erwan authored 1 month ago
  
  7ddf03fa
Apr 09, 2025
- fix: the generated version number was wrong for salut/opam (and guix) · 7c62d21d
  erwan authored 1 month ago
  
  View commits for tag v4.14.3 v4.14.3
  
  7c62d21d
- fix: do not print the sha with -version if not a git install · 21be6352
  erwan authored 1 month ago
  
  View commits for tag v4.14.2 v4.14.2
  
  21be6352
Apr 08, 2025
- fix: the generated version number was wrong for guix · 327c5865
  erwan authored 1 month ago
  
  View commits for tag v4.14.1 v4.14.1
  
  327c5865
Feb 07, 2025
- refactor: rewrite rif and lutin emacs modes · 5377fa43
  erwan authored 3 months ago
  
  5377fa43
Jan 18, 2025
- ci: fix version generation issue · 684c0f4c
  erwan authored 4 months ago
  
  684c0f4c
- ci: fix a job (test opam_test) · 6d9c3796
  erwan authored 4 months ago
  
  6d9c3796
- amend the previous commit · d59d47bd
  erwan authored 4 months ago
  
  View commits for tag v4.14.0 v4.14.0
  
  d59d47bd
- make sure salut/src/version.ml is generated · 0794f392
  erwan authored 4 months ago
  
  0794f392
- feat: add a -version option to salut · d1dda959
  erwan authored 4 months ago
  
  d1dda959
Jan 17, 2025
- ci: add salut and the official repo in the test_opam_test job · 6b16d176
  erwan authored 4 months ago
  
  6b16d176
- ci: build via make everywhere · 6a1ce329
  erwan authored 4 months ago
  
  6a1ce329
Jan 16, 2025
- test: more fix · b4dbdf30
  erwan authored 4 months ago
  
  b4dbdf30
- test: some fixes · 89e11dff
  erwan authored 4 months ago
  
  89e11dff
- test: use the same k in all nodes · f62bc549
  erwan authored 4 months ago
  
  f62bc549
- test: use the same k for sasa and salut in dijkstra · be1d0db9
  erwan authored 4 months ago
  
  be1d0db9
Jan 15, 2025
- ci: use a more recent image · f96161c5
  erwan authored 4 months ago
  
  f96161c5
- ci: add the offical repo to the build job · b508575d
  erwan authored 4 months ago
  
  b508575d
Jan 14, 2025
- ci: run-kind2.sh failed if not under git · cfe488b2
  erwan authored 4 months ago
  
  cfe488b2
- refactor: typo · 9d2bec8c
  erwan authored 4 months ago
  
  9d2bec8c
- ci: put back the salut non-reg tests · c9c4348b
  erwan authored 4 months ago
  
  c9c4348b
- build: kind2 2.2.0 requires contant types to be defined · b0ebde6a
  erwan authored 4 months ago
  
  View commits for tag v4.13.2 v4.13.2
  
  b0ebde6a
- simca: fix and enhancement · fc0a1672
  erwan authored 4 months ago
  
  fc0a1672
- fix: custom synchronous mode doen't priority buttons (rdbgui4sasa) · 78e02f16
  erwan authored 4 months ago
  
  78e02f16
Jul 24, 2024
- refactor · eae1495c
  erwan authored 10 months ago
  
  eae1495c
Apr 22, 2024
- test: use Bitwuzla · 4a2b3210
  erwan authored 1 year ago
  
  4a2b3210
Apr 16, 2024
- ci: make sure lib/sasacore/ exists · 2f48d127
  erwan authored 1 year ago
  
  2f48d127
- test: remove a typo · cc2bfdbb
  erwan authored 1 year ago
  
  cc2bfdbb
- build: include Makefile.version · 71c0089f
  erwan authored 1 year ago
  
  71c0089f
- ci: add an apt update · 67019d6d
  erwan authored 1 year ago
  
  67019d6d
- ci: add the opam install of rdbgui4sasa in the test · a0bf41e9
  erwan authored 1 year ago
  
  a0bf41e9
- build: make sure sasaVersion.ml is generated from dune · 4746142e
  erwan authored 1 year ago
  
  4746142e
- test: remove redundant (and not working) examples · 260aacdf
  erwan authored 1 year ago
  
  260aacdf
- build: make sure 'dune build' works in every dir (with a dune file) · b0018088
  erwan authored 1 year ago
  
  b0018088
- build: put kind2 in depopts · 59377480
  erwan authored 1 year ago
  
  59377480
- build: make sure 'dune build' works in every dir (with a dune file) · 55baf88d
  erwan authored 1 year ago
  
  55baf88d
- build: put salut in its own package · e9aa2708
  erwan authored 1 year ago
  
  e9aa2708
- test: for some algo, the default topology (ring) is not valid · 1060d86a
  erwan authored 1 year ago
  
  1060d86a
Apr 09, 2024
- ci: lutin is necessary for ci nonreg tests · f5b229b3
  erwan authored 1 year ago
  
  f5b229b3