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.023Jul2219132130Jun28252322181716151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar27262220build: fix opam packageci: use the main verimag repov4.5.2v4.5.2perf: remove useless copy of process states (/10 memory on some examples!)test: strengthen test in dfs (golden master copy)build: enhance opam fileImplemented a module based BnBRenamed parse to readImplemented Greedy and worst case initialization for dijkstraFinished a first version if wib step by step systemRenamed wib2 to wibChanged the results of dijkstra ring's test and reverted the order of the ring back to normalbuild: use another semantic-release toolImplemented 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 wib