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.02Jul130Jun28252322181716151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514Implemented dijkstra's potential (and reverted the order of the dijkstra-ring/ring.dot nodes)Made from rejoin an explorer that recognizes and factorize duplicate statesAdded a exhaustive explorer where each state know their best sub-executionImplemented a depth first search kind of Branch and Bound without initial execution and without smart choice of next stateChanged SasaExplore.Build so it remembers the progress during the execution (had an issue with the 'v type)Chore: rename some type aliasesFix: make the behavior of rdbgui4sasa more sensibleCreated wib2 which has the same api than SasaExplore, and that uses SasaExplore's ExplorersFinished implementing exploration inside SASA.Finished implementing explore inside sasa, but have a dependency issueMerge remote-tracking branch 'origin/master' into find-worst-pathImplemented a functional explorer versionChore: refactor the code to be able to provide the whole SimuState.t to Daemons4.6.04.6.0New: 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 rdbgui4sasa