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.011Mar1029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514131110987use reactive-toolbox image4.3.224.3.22Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/sasa4.3.214.3.21Use the verimag-reactive-toolbox image instead of verimag-sync-toolsMinor fixesTake advantage in rdbg that now silent is part of event.data infoMerge branch '16-portable-echo-into-rdbg' into 'master'4.3.204.3.20Drive rdbg tests in a more portable waysasa -rif: stop at silence and quit the RIF way in case of errorsrdbg fix: the potential was not provided at silent rdbg event for internal daemonsChore: renaming functionsgg: add a --connected option that tries (100 times) to generate a connected graphDoc: fix a link (to the sasaVM.ova)4.3.194.3.19Check that action labels used in Algo are declared.4.3.184.3.18rdbg: fix a bug that was preventing the use of luciole with rdbgDoc: add a link to the SSS'20 sasa tutorialDoc: add the sasaVM password4.3.174.3.17test: Add some comments in ml filesimca: fix the script that were broken since 2bf88c0d7344d91507e51014eb15df930eccd8ddrdbg: amend4.3.164.3.16rdbg: amend4.3.154.3.15rdbg: fix the round nb (which is wrong since I've added new events in sasa)4.3.144.3.14rdbg: redefine the behaviour of step and back-step to a more useful behavior for sasa4.3.134.3.13Doc: add a screencasts section4.3.124.3.12rdbgui4sasa: don't run anything if not arg is provided, an print a welcome msgrdbg: should now work in any directory (and not only from sasa/test/*). Ditto for rdbgui4sasa.4.3.114.3.11merlin: some trials to get a merlin env that works for everyoneDoc: explicit the 'make topology.cmxs' magic.sasa -reg: generate an action in state.ml (as required by the API)Doc: minors enhancementsrdbgui4sasa: tooltips enhancementsgg: allow -dir for rings only (in other cases, it's not clear what gg does)gg: fix the computation of degrees for ringsgg: fix a bug when computing if the generated graph is a treeDoc: fix typo4.3.104.3.10Make sure all sasa output are preceed by a rif comment so that sim2chro workstest: add alea-coloring-alt and alea-coloring-unif in the list of non-reg testsimca: fix a typo and make sure gitlab CI catch the in the future!test: add makefile rules to launch rdbgui4sasardbg: add the legitimate value in the rdbg eventtest: add yet another example in the test directory