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.05Apr229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514131110987Optionally clock generated codeTest multiple actionsConvert whitespace and adjust .gitignoreGeneralize example makefilesProduce LustreV6 from dot topologyFix: the seed init should be done *before* the process init (otherwise there is no randomness in the initial configuration!)4.3.244.3.24Chore: adapt the doc generation to the new docker image (emacs 25->26)Fix a bug in the RIF data output: enable and trigger actions order was not the same in value and in the declaration4.3.234.3.23choredaemon synchrone semi-autoAdd dummy action to test disambiguationRefactor bitset libConstruct action from index in the coloring caseClock ring3 algorithmAjout de scrollbarsAjout des boutons de priorités pour les modes (semi-)automatiquesAmélioration de la cohérence de l'affichage des infosMise en place de differents modes de simulations (en cours)Les nodes dans l'ordre + on les cache si pas enabLes boutons dans une grille faite à la mainAdd a daemongui.ml similar to gui.ml except thatLes scripts bashFix the dune building process+ de commentairesCleanup, mais toujours le bugInterface graphique pour jouer un démon manuellementChoreFix ring3 Dijkstra oracle and add MakefilesInitialize an actual repouse 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 graph
Loading