Skip to content
Snippets Groups Projects
Select Git revision
  • 11-add-lustre-oracles-to-all-examples-of-the-test-directory
  • 12-add-a-get_graph_attributes-function-to-the-sasa-api
  • 3-compute-the-graph-degree-diameter-etc
  • 3-compute-the-graph-degree-diameter-etc-2
  • 4-generate-random-graphs
  • 7-process-should-have-acess-to-their-identity
  • 8-add-weights-to-graphs
  • 9-take-into-account-the-initialisation-of-local-variables-done-the-dot-again
  • addVariables
  • daemon-gui
  • delmedir.entrainement
  • emile
  • find-worst-path
  • fp_hugo
  • fwp-tests
  • gwennan
  • hugo
  • hugo_rdbg_daemon
  • init-search
  • labri protected
  • 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
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.018Jan1716151424Jul22Apr1698422Mar1527Feb211513919Jan5Dec17Oct114Sep21Jul1110329Jun2131May262415Mar28Feb271387326Jan2523191813119845Dec129Nov75Sep2130Aug27Jul2522212018121183129Jun2322212014131098131May30252420191129Apr1914631Mar9216Feb29Dec28171621Nov181422Oct212016141211876520Sep1292131Aug27235231Jul30292827232219132130Jun28252322181716151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug2726252421ci: fix version generation issuemastermasterci: fix a job (test opam_test)amend the previous commitv4.14.0v4.14.0make sure salut/src/version.ml is generatedfeat: add a -version option to salutci: add salut and the official repo in the test_opam_test jobci: build via make everywheretest: more fixtest: some fixestest: use the same k in all nodestest: use the same k for sasa and salut in dijkstraci: use a more recent imageci: add the offical repo to the build jobci: run-kind2.sh failed if not under gitrefactor: typoci: put back the salut non-reg testsbuild: kind2 2.2.0 requires contant types to be definedv4.13.2v4.13.2simca: fix and enhancementfix: custom synchronous mode doen't priority buttons (rdbgui4sasa)refactortest: use Bitwuzlaci: make sure lib/sasacore/ existstest: remove a typobuild: include Makefile.versionci: add an apt updateci: add the opam install of rdbgui4sasa in the testbuild: make sure sasaVersion.ml is generated from dunetest: remove redundant (and not working) examplesbuild: make sure 'dune build' works in every dir (with a dune file)build: put kind2 in depoptsbuild: make sure 'dune build' works in every dir (with a dune file)build: put salut in its own packagetest: for some algo, the default topology (ring) is not validci: lutin is necessary for ci nonreg testsbuild: lutin is actually not mandatory to use sasaci: remove salut test for nowv4.13.1v4.13.1ci: use Z3 instead of Bitwuzla (as it is not installed)ci: run-kind2.sh requires bctest: use Z3 instead of bitwuzla by defaultbuild: don't fail to include an untracked file
Loading