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.025Aug242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514131110987Fix: the potential computed in SasaRun was still wrong (neigbours were not updated wrt next field)potentielpotentieldemon rdbg generalise: fonctionnel pour DTRdddFix: the potential computed in SasaRun was wrong (and not done at the first step with -custd)Update: Remove the dependancy on Register in Topology.Merge branch 'potentiel' of https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa into hugo_rdbg_daemonUpdate: add the potential value of the current state as an output of sasa programs in the rdbg plugincommit pre-mergeChore: minor enhancementsdijkstra demon rdbg fonctionnel !Fix: the round number was wrong when going back to the first event4.2.84.2.8Fix: the dot command was failing at the first event with custom demoncommitting changes not yet staged forfirst oneMake the lustre and lutin dependencies optional (as they actually are)4.2.74.2.7Add an example in unison of the use the rdbg_mv_hook to program daemon from rdbgMerge the fix done in master w.r.t. move numbersFix: rdbgui4sasa is part of the rdbgui4sasa opam package (which broke its opam install)4.2.64.2.6Build: the sasa opam package does not depend on lablgtk3 anymore4.2.54.2.5Build: split the sasa opma package to separate it fron rdbgui4sasa (and remove a dependancy on gtk3)4.2.44.2.4Fix: the move number was wrong! (I was counting the enabled instead of the activated!)Chore: add comments in generated filesDoc: mention the Evil module in the contributors guideFix: the step number during fault injection was wrong + wrong nodes were enabledFix: Do not use fault injection with oracles in unisonFix: change the potential function inferface.Update: Call the fault function if provided when a legitimate configuration is reachedUpdate: Use the user-defined legitimate function if providedNew: add a ligitimate function in the Algo apiFix: the list of neighbors provided to the potential function was wrong.New: add a fault functions to the Algo (to inject fault when a legitimate configuratiuon is reached).Chore: generate doc for the master branch onlyFix: track the Step module, defined in the previous commit (result of the Main split)New: add support for daemons that use potential fonction to find worst case scenario.Chore: use less points in the coloring campaignDoc: a few enhancementsDoc: a few enhancements4.2.34.2.3chore: refactor dijkstra implementationCI:4.2.24.2.2CI: ocaml/opam2:ubuntu-18.04 (ocaml/opam2:ubuntu does not work anymore)