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.017Jun16151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514131110New: add dependencies graphs in guides/contributorsFinished "explore" module and implemented some explorers. Implemented a step by step exploration.Fix rdbgui4sasa when used with salutWIB : Changed organization and tried to make step-to-step implementation, but impossible without imposed tail recursionChanged name of explore heuristic into exhaust heuristicChanged module organization and implemented v1 and Devismes this wayFix rdbgui4sasa when used with internal daemonsUpdate: use the new RdbgStdLib.rev_cond_gen to round backwards (rdbg > 1.195.0)Recovered grid4.dot to resolve error on make testStarted module organizationImproved explore and debugged further Stephane's optiDebugged Stephane's optimization (explore versions v1_devismes and v3)Small changes to WIBOptimised tools/wib/explore and implemented tools/wib/gloutonChanged organization of wibUpdate: make it possible to use rbgui with rdbg daemons4.5.1 v4.5.14.5.1 v4.5.1Update: some progress to get time-travel working with rdbgui4sasaRenamed heuristics to WIB, and made a small READMEImplemented explore heuristic and set up a MakefileFix: actions with parenthesis broke the rdbg pluginUpdate: make sure the round number is always correct.Do not raise an error when an algorithm becomes silent.Fix: make the rdbgui4sasa undo button workUpdate: show the legitimate button when sasa is used with internal daemonsUpdate: force the use of -replay and -custd when sasa is used from rdbgui4sasaFix: in rdbg4sasa, round buttons and legitimate button now workUpdate: more work (again) on rdbgui4sasaUpdate: more work on rdbgui4sasaChore: change the docker image (the previous one is broken)4.5.04.5.0Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/sasaMerge branch 'toy-example-guillaume' into 'master'Toy example (Guillaume)Update: some rdbgui4sasa enhancementsNew: add a "restart with new seed" button to rdbgui4sasaUpdate: Add a Seed.reset functionAdd grid microbenchmarkChore: put all the seed handling in a dedicated module (so that I can use it in rdbgui)Fix: the forward and backward rounds with salutMove test clique back to 3 nAdd Makefile rules to run the heuristic daemons.toy-example-gui…toy-example-guillaume