Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
S
sasa
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
verimag
synchrone
sasa
Commits
684c0f4cdc778813c2e4d0bb79b1a1668b717782
Select Git revision
Branches
20
master
default
protected
delmedir.entrainement
labri
protected
theo_w_optim
emile
optim-neigbors-update
search
init-search
find-worst-path
fwp-tests
toy-example-guillaume
daemon-gui
fp_hugo
hugo
hugo_rdbg_daemon
potentiel
update-to-4-generate-random-graphs
4-generate-random-graphs
11-add-lustre-oracles-to-all-examples-of-the-test-directory
3-compute-the-graph-degree-diameter-etc
Tags
20
v4.14.0
v4.13.2
v4.13.1
v4.13.0
v4.12.0
v4.11.0
v4.10.0
v4.9.0
v4.8.0
v4.7.1
v4.7.0
v4.6.1
v4.6.0
v4.5.9
v4.5.8
v4.5.7
v4.5.6
v4.5.5
v4.5.4
v4.5.3
40 results
sasa
Author
Search by author
Any Author
authors
Catherine Vigouroux
vigouroc
EXT Stéphane Devismes
stephanedevismes
Guillaume Raffin
raffingu
Karine Altisen
altisenk
Remi Del Medico
delmedir
erwan
jahier
6 authors
Jan 18, 2025
ci: fix version generation issue
· 684c0f4c
erwan
authored
1 month ago
684c0f4c
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
1 month ago
b4dbdf30
test: some fixes
· 89e11dff
erwan
authored
1 month ago
89e11dff
test: use the same k in all nodes
· f62bc549
erwan
authored
1 month ago
f62bc549
test: use the same k for sasa and salut in dijkstra
· be1d0db9
erwan
authored
1 month ago
be1d0db9
Jan 15, 2025
ci: use a more recent image
· f96161c5
erwan
authored
1 month ago
f96161c5
ci: add the offical repo to the build job
· b508575d
erwan
authored
1 month 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
10 months ago
2f48d127
test: remove a typo
· cc2bfdbb
erwan
authored
10 months ago
cc2bfdbb
build: include Makefile.version
· 71c0089f
erwan
authored
10 months ago
71c0089f
ci: add an apt update
· 67019d6d
erwan
authored
10 months ago
67019d6d
ci: add the opam install of rdbgui4sasa in the test
· a0bf41e9
erwan
authored
10 months ago
a0bf41e9
build: make sure sasaVersion.ml is generated from dune
· 4746142e
erwan
authored
10 months ago
4746142e
test: remove redundant (and not working) examples
· 260aacdf
erwan
authored
10 months ago
260aacdf
build: make sure 'dune build' works in every dir (with a dune file)
· b0018088
erwan
authored
10 months ago
b0018088
build: put kind2 in depopts
· 59377480
erwan
authored
10 months ago
59377480
build: make sure 'dune build' works in every dir (with a dune file)
· 55baf88d
erwan
authored
10 months ago
55baf88d
build: put salut in its own package
· e9aa2708
erwan
authored
10 months ago
e9aa2708
test: for some algo, the default topology (ring) is not valid
· 1060d86a
erwan
authored
10 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
Loading